Pedro C. Diniz

José Gabriel F. Coutinho, João M. P. Cardoso, Tiago Carvalho, Ricardo Nobre, Sujit Bhattacharya, Pedro C. Diniz, Liam Fitzpatrick, Razvan Nane: Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach - (Extended Abstract). ARC 2013: 226-228

Philip Brisk, José Gabriel F. Coutinho, Pedro C. Diniz (Eds.): Reconfigurable Computing: Architectures, Tools and Applications - 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings. Lecture Notes in Computer Science 7806, Springer 2013, isbn 978-3-642-36811-0

José Gabriel F. Coutinho, Tiago Carvalho, Sérgio Durand, João M. P. Cardoso, Ricardo Nobre, Pedro C. Diniz, Wayne Luk: Experiments with the LARA aspect-oriented approach. AOSD (Companion) 2012: 27-30

João M. P. Cardoso, Tiago Carvalho, José Gabriel F. Coutinho, Wayne Luk, Ricardo Nobre, Pedro C. Diniz, Zlatko Petrov: LARA: an aspect-oriented programming language for embedded systems. AOSD 2012: 179-190

José Gabriel F. Coutinho, Sujit Bhattacharya, Wayne Luk, George A. Constantinides, João M. P. Cardoso, Tiago Carvalho, Pedro C. Diniz, Zlatko Petrov: Resource-Efficient Designs Using an Aspect-Oriented Approach. CSE 2012: 399-406

João M. P. Cardoso, Tiago Carvalho, José Gabriel F. Coutinho, Pedro C. Diniz, Zlatko Petrov, Wayne Luk: Controlling Hardware Synthesis with Aspects. DSD 2012: 226-233

Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas: A programming model for resilience in extreme scale computing. DSN Workshops 2012: 1-6

Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas: Programming Model Extensions for Resilience in Extreme Scale Computing. Euro-Par Workshops 2012: 496-498

João M. P. Cardoso, João Teixeira, José C. Alves, Ricardo Nobre, Pedro C. Diniz, José Gabriel F. Coutinho, Wayne Luk: Specifying Compiler Strategies for FPGA-based Systems. FCCM 2012: 192-199

Jeremy Abramson, Pedro C. Diniz: A resiliency-aware scheduling approach for FPGA configuration: Preliminary results. FPL 2012: 471-472

Jeremy Abramson, Pedro C. Diniz: Resiliency-aware scheduling: Resource allocation for hardened computation on configurable devices. FPT 2012: 129-134

Jeremy Abramson, Pedro C. Diniz: Resiliency-aware Scheduling for reconfigurable VLIW processors. ReConFig 2012: 1-7

Diana Göhringer, Pedro C. Diniz: Special session on "programming paradigms for reconfigurable multi-core embedded systems". ICSAMOS 2012: 227

João M. P. Cardoso, Tiago Carvalho, João Teixeira, Pedro C. Diniz, Fernando M. Gonçalves, Zlatko Petrov: Hardware/software specialization through aspects: The LARA approach. ICSAMOS 2012: 260-267

Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas: Poster: Programming Model Extensions for Resilience in Extreme Scale Computing. SC Companion 2012: 1434

Joonseok Park, Pedro C. Diniz: Data Reorganization and Prefetching of Pointer-Based Data Structures. IEEE Design & Test of Computers 28(4): 38-47 (2011)

Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang: Domain-Specific Optimization of Signal Recognition Targeting FPGAs. TRETS 4(2): 17 (2011)

André C. Santos, Pedro C. Diniz, João M. P. Cardoso, Diogo R. Ferreira: A Domain-Specific Language for the Specification of Adaptable Context Inference. EUC 2011: 268-273

Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, P. Saddayapan: Introduction. Euro-Par (1) 2011: 267-268

João M. P. Cardoso, Pedro C. Diniz, Markus Weinhardt: Compiling for reconfigurable computing: A survey. ACM Comput. Surv. 42(4) (2010)

André C. Santos, João M. P. Cardoso, Diogo R. Ferreira, Pedro C. Diniz, Paulo Chainho: Providing user context for mobile and social networking applications. Pervasive and Mobile Computing 6(3): 324-341 (2010)

Davide Figo, Pedro C. Diniz, Diogo R. Ferreira, João M. P. Cardoso: Preprocessing techniques for context recognition from accelerometer data. Personal and Ubiquitous Computing 14(7): 645-662 (2010)

Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, Michael Hübner: High Performance Architectures and Compilers. Euro-Par (1) 2010: 254-255

Pedro C. Diniz: Guest Editorial. Concurrency and Computation: Practice and Experience 21(1): 1-3 (2009)

Katherine Compton, Roger Woods, Christos-Savvas Bouganis, Pedro C. Diniz: Introduction to the Special Issue ARC'08. TRETS 2(4) (2009)

Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl: Introduction. Euro-Par 2009: 295-296

Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang: Computation reuse in domain-specific optimization of signal recognition. FPGA 2009: 281

Pedro C. Diniz, João M. P. Cardoso: Code Transformations for Embedded Reconfigurable Computing Architectures. GTTSE 2009: 322-344

André C. Santos, Luís Tarrataca, João M. P. Cardoso, Diogo R. Ferreira, Pedro C. Diniz, Paulo Chainho: Context Inference for Mobile Applications in the UPCASE Project. MOBILWARE 2009: 352-365

André C. Santos, João M. P. Cardoso, Diogo R. Ferreira, Pedro C. Diniz: Mobile Context Provider for Social Networking. OTM Workshops 2009: 464-473

Nastaran Baradaran, Pedro C. Diniz: A compiler approach to managing storage and memory bandwidth in configurable architectures. ACM Trans. Design Autom. Electr. Syst. 13(4) (2008)

Pedro C. Diniz, Diogo R. Ferreira: Automatic Extraction of Process Control Flow from I/O Operations. BPM 2008: 342-357

Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang: The potential of computation reuse in high-level optimization of a signal recognition system. IPDPS 2008: 1-5

Roger F. Woods, Katherine Compton, Christos-Savvas Bouganis, Pedro C. Diniz (Eds.): Reconfigurable Computing: Architectures, Tools and Applications, 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings. Lecture Notes in Computer Science 4943, Springer 2008, isbn 978-3-540-78609-2

Nastaran Baradaran, Pedro C. Diniz: Exploiting parallelism in configurable architectures through custom array mapping. IET Computers & Digital Techniques 1(4): 303-311 (2007)

Joonseok Park, Pedro C. Diniz: Partial Data Reuse for Windowing Computations: Performance Modeling for FPGA Implementations. ARC 2007: 97-109

Rui Rodrigues, João M. P. Cardoso, Pedro C. Diniz: A Data-Driven Approach for Pipelining Sequences of Data-Dependent Loops. FCCM 2007: 219-228

Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang: A Combined Hardware/Software Optimization Framework for Signal Representation and Recognition. International Conference on Computational Science (1) 2007: 1230-1237

Pedro C. Diniz, Eduardo Marques, Koen Bertels, Marcio Merino Fernandes, João M. P. Cardoso (Eds.): Reconfigurable Computing: Architectures, Tools and Applications, Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Lecture Notes in Computer Science 4419, Springer 2007, isbn 978-3-540-71430-9

Nastaran Baradaran, Pedro C. Diniz: A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures. CoRR abs/0710.4702 (2007)

Nastaran Baradaran, Pedro C. Diniz: Memory Parallelism Using Custom Array Mapping to Heterogeneous Storage Structures. FPL 2006: 1-6

Pedro C. Diniz, Gokul Govindu: Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit. FPL 2006: 1-4

Jacqueline Chame, Chun Chen, Pedro C. Diniz, Mary W. Hall, Yoon-Ju Lee, Robert F. Lucas: An overview of the ECO project. IPDPS 2006

Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert F. Lucas: Empirical Optimization for a Sparse Linear Solver: A Case Study. International Journal of Parallel Programming 33(2-3): 165-181 (2005)

Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoungro So, Heidi E. Ziegler: Automatic mapping of C to FPGAs with the DEFACTO compilation and synthesis system. Microprocessors and Microsystems 29(2-3): 51-62 (2005)

Nastaran Baradaran, Pedro C. Diniz: A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures. DATE 2005: 6-11

Pedro C. Diniz: Evaluation of Code Generation Strategies for Scalar Replaced Codes in Fine-Grain Configurable Architectures. FCCM 2005: 73-82

Nastaran Baradaran, Pedro C. Diniz: Compiler-Directed Design Space Exploration for Caching and Prefetching Data in High-Level Synthesis. FPT 2005: 233-240

Heidi E. Ziegler, Priyadarshini L. Malusare, Pedro C. Diniz: Array Replication to Increase Parallelism in Applications Mapped to Configurable Architectures. LCPC 2005: 62-75

Joonseok Park, Pedro C. Diniz, K. R. Shesha Shayee: Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations. IEEE Trans. Computers 53(11): 1420-1435 (2004)

Nastaran Baradaran, Joonseok Park, Pedro C. Diniz: Data Reuse in Configurable Architectures with RAM Blocks: Extended Abstract. FPL 2004: 1113-1115

Nastaran Baradaran, Joonseok Park, Pedro C. Diniz: Compiler reuse analysis for the mapping of data in FPGAs with RAM blocks. FPT 2004: 145-152

Pedro C. Diniz, Yoon-Ju Lee, Mary W. Hall, Robert F. Lucas: A Case Study Using Empirical Optimization for a Large, Engineering Application. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004

Nastaran Baradaran, Pedro C. Diniz, Joonseok Park: Extending the Applicability of Scalar Replacement to Multiple Induction Variables. LCPC 2004: 455-469

Pedro C. Diniz: Design Space Exploration for Configurable Architectures and the Role of Modeling, High-Level Program Analysis and Learning Techniques. SAMOS 2004: 213-223

João M. P. Cardoso, Pedro C. Diniz: Modeling Loop Unrolling: Approaches and Open Issues. SAMOS 2004: 224-233

Martin C. Rinard, Pedro C. Diniz: Eliminating synchronization bottlenecks using adaptive replication. ACM Trans. Program. Lang. Syst. 25(3): 316-359 (2003)

Byoungro So, Pedro C. Diniz, Mary W. Hall: Using estimates from behavioral synthesis tools in compiler-directed design space exploration. DAC 2003: 514-519

Heidi E. Ziegler, Mary W. Hall, Pedro C. Diniz: Compiler-generated communication for pipelined FPGA applications. DAC 2003: 610-615

Pedro C. Diniz, Joonseok Park: Data Search and Reorganization Using FPGAs: Application to Spatial Pointer-based Data Structures. FCCM 2003: 207-217

K. R. Shesha Shayee, Joonseok Park, Pedro C. Diniz: Performance and Area Modeling of Complete FPGA Designs in the presence of Loop Transformations. FCCM 2003: 296

Joonseok Park, Pedro C. Diniz: Synthesis and Estimation of Memory Interfaces for FPGA-based Reconfigurable Computing Engines. FCCM 2003: 297-299

Pedro C. Diniz, Joonseok Park: Using FPGAs for data and reorganization engines: preliminary results for spatial pointer-based data structures. FPGA 2003: 242

K. R. Shesha Shayee, Joonseok Park, Pedro C. Diniz: Performance and Area Modeling of Cmplete FPGA Designs in the Presence of Loop Transformations. FPL 2003: 313-323

Pedro C. Diniz: A Compiler Approach to Performance Prediction Using Empirical-Based Modeling. International Conference on Computational Science 2003: 916-925

Nastaran Baradaran, Jacqueline Chame, Chun Chen, Pedro C. Diniz, Mary W. Hall, Yoon-Ju Lee, Bing Liu, Robert F. Lucas: ECO: An Empirical-Based Compilation and Optimization System. IPDPS 2003: 206

Pedro C. Diniz: Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes. LCPC 2003: 481-494

Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro C. Diniz: Coarse-Grain Pipelining on Multiple FPGA Architectures. FCCM 2002: 77-

Pedro C. Diniz, Joonseok Park: Data reorganization engines for the next generation of system-on-a-chip FPGAs. FPGA 2002: 237-244

Pedro C. Diniz, Bing Liu: Selector: A Language Construct for Developing Dynamic Applications. LCPC 2002: 218-232

Byoungro So, Mary W. Hall, Pedro C. Diniz: A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems. PLDI 2002: 165-176

Pedro C. Diniz, Ashok Venkatachar: A Behavioral Synthesis Estimation Interface for Configurable Computing. FCCM 2001: 253-254

Joonseok Park, Pedro C. Diniz: An External Memory Interface for FPGA-Based Computing Engines. FCCM 2001: 267-268

Pablo Moisset, Pedro C. Diniz, Joonseok Park: Matching and searching analysis for parallel hardware implementation on FPGAs. FPGA 2001: 125-133

Joonseok Park, Pedro C. Diniz: Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines. ISSS 2001: 221-226

Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoungro So, Heidi E. Ziegler: Bridging the Gap between Compilation and Synthesis in the DEFACTO System. LCPC 2001: 52-70

Pedro C. Diniz, Joonseok Park: Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines. FCCM 2000: 91-100

Pedro C. Diniz, Martin C. Rinard: Synchronization transformations for parallel computing. Concurrency - Practice and Experience 11(13): 773-802 (1999)

Pedro C. Diniz, Martin C. Rinard: Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback. ACM Trans. Comput. Syst. 17(2): 89-132 (1999)

Martin C. Rinard, Pedro C. Diniz: Eliminating synchronization bottlenecks in object-based programs using adaptive replication. International Conference on Supercomputing 1999: 83-92

Kiran Bondalapati, Pedro C. Diniz, Phillip Duncan, John J. Granacki, Mary W. Hall, Rajeev Jain, Heidi E. Ziegler: DEFACTO: A Design Environment for Adaptive Computing Technology. IPPS/SPDP Workshops 1999: 570-578

Mary W. Hall, Peter M. Kogge, Jefferey G. Koller, Pedro C. Diniz, Jacqueline Chame, Jeff Draper, Jeff LaCoss, John J. Granacki, Jay B. Brockman, Apoorv Srivastava, William C. Athas, Vincent W. Freeh, Jaewook Shin, Joonseok Park: Mapping Irregular Applications to DIVA, a PIM-based Data-Intensive Architecture. SC 1999: 57

Pedro C. Diniz, Martin C. Rinard: Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. J. Parallel Distrib. Comput. 49(2): 218-244 (1998)

Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. Int. J. Found. Comput. Sci. 8(1): 81-94 (1997)

Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ACM Trans. Program. Lang. Syst. 19(6): 942-991 (1997)

Pedro C. Diniz, Martin C. Rinard: Dynamic Feedback: An Effective Technique for Adaptive Computing. PLDI 1997: 71-84

Pedro C. Diniz, Martin C. Rinard: Synchronization Transformations for Parallel Computing. POPL 1997: 187-200

Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard: On the Complexity of Commutativity Analysis. COCOON 1996: 323-332

Martin C. Rinard, Pedro C. Diniz: Semantic Foundations of Commutativity Analysis. Euro-Par, Vol. I 1996: 414-423

Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. IPPS 1996: 14-22

Pedro C. Diniz, Martin C. Rinard: Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. LCPC 1996: 285-299

Martin C. Rinard, Pedro C. Diniz: Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. PLDI 1996: 54-67

Pedro C. Diniz, Tao Yang: Efficient Parallelization of Relaxation Iterative Methods for Solving Banded Linear Systems on Multiprocessors. PPSC 1995: 490-491

Tao Yang, Pedro C. Diniz, Apostolos Gerasoulis, Vivek Sarkar: Scheduling Iterative Task Computation on Message-Passing Architectures. PPSC 1995: 581-586

Pedro C. Diniz, Steve Plimpton, Bruce Hendrickson, Robert W. Leland: Parallel Algorithms for Dynamically Partitioning Unstructured Grids. PPSC 1995: 615-620