Parallel Algorithms for Dynamically Partitioning Unstructured Grids. - Pedro C. Diniz; Steve Plimpton; Bruce Hendrickson; Robert W. Leland (PP, 1995)

Efficient Parallelization of Relaxation Iterative Methods for Solving Banded Linear Systems on Multiprocessors. - Pedro C. Diniz; Tao Yang 009 (PP, 1995)

Scheduling Iterative Task Computation on Message-Passing Architectures. - Tao Yang 009; Pedro C. Diniz; Apostolos Gerasoulis; Vivek Sarkar (PP, 1995)

Semantic Foundations of Commutativity Analysis. - Martin C. Rinard; Pedro C. Diniz (Euro-Par, Vol. I, 1996)

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

Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. - Martin C. Rinard; Pedro C. Diniz (PLDI, 1996)

Dynamic Feedback: An Effective Technique for Adaptive Computing. - Pedro C. Diniz; Martin C. Rinard (PLDI, 1997)

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

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

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. - Pedro C. Diniz; Martin C. Rinard (J. Parallel Distributed Comput., 1998)

Eliminating synchronization bottlenecks in object-based programs using adaptive replication. - Martin C. Rinard; Pedro C. Diniz (International Conference on Supercomputing, 1999)

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

Mapping Irregular Applications to DIVA, a PIM-based Data-Intensive Architecture. - 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; et al. (SC, 1999)

Synchronization transformations for parallel computing. - Pedro C. Diniz; Martin C. Rinard (Concurr. Pract. Exp., 1999)

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

Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines. - Pedro C. Diniz; Joonseok Park (FCCM, 2000)

A Behavioral Synthesis Estimation Interface for Configurable Computing. - Pedro C. Diniz; Ashok Venkatachar (FCCM, 2001)

An External Memory Interface for FPGA-Based Computing Engines. - Joonseok Park; Pedro C. Diniz (FCCM, 2001)

Matching and searching analysis for parallel hardware implementation on FPGAs. - Pablo Moisset; Pedro C. Diniz; Joonseok Park (FPGA, 2001)

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

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

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

Data reorganization engines for the next generation of system-on-a-chip FPGAs. - Pedro C. Diniz; Joonseok Park (FPGA, 2002)

Selector: A Language Construct for Developing Dynamic Applications. - Pedro C. Diniz; Bing Liu 015 (LCPC, 2002)

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

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

Compiler-generated communication for pipelined FPGA applications. - Heidi E. Ziegler; Mary W. Hall; Pedro C. Diniz (DAC, 2003)

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

Synthesis and Estimation of Memory Interfaces for FPGA-based Reconfigurable Computing Engines. - Joonseok Park; Pedro C. Diniz (FCCM, 2003)

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

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

A Compiler Approach to Performance Prediction Using Empirical-Based Modeling. - Pedro C. Diniz (International Conference on Computational Science, 2003)

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

Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes. - Pedro C. Diniz (LCPC, 2003)

Eliminating synchronization bottlenecks using adaptive replication. - Martin C. Rinard; Pedro C. Diniz (ACM Trans. Program. Lang. Syst., 2003)

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

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

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

Extending the Applicability of Scalar Replacement to Multiple Induction Variables. - Nastaran Baradaran; Pedro C. Diniz; Joonseok Park (LCPC, 2004)

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

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

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

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

Evaluation of Code Generation Strategies for Scalar Replaced Codes in Fine-Grain Configurable Architectures. - Pedro C. Diniz (FCCM, 2005)

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

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

Empirical Optimization for a Sparse Linear Solver: A Case Study. - Yoon-Ju Lee; Pedro C. Diniz; Mary W. Hall; Robert F. Lucas (Int. J. Parallel Program., 2005)

Automatic mapping of C to FPGAs with the DEFACTO compilation and synthesis system. - Pedro C. Diniz; Mary W. Hall; Joonseok Park; Byoungro So; Heidi E. Ziegler (Microprocess. Microsystems, 2005)

Memory Parallelism Using Custom Array Mapping to Heterogeneous Storage Structures. - Nastaran Baradaran; Pedro C. Diniz (FPL, 2006)

Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit. - Pedro C. Diniz; Gokul Govindu (FPL, 2006)

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

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

A Data-Driven Approach for Pipelining Sequences of Data-Dependent Loops. - Rui Rodrigues 004; João M. P. Cardoso; Pedro C. Diniz (FCCM, 2007)

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

Exploiting parallelism in configurable architectures through custom array mapping. - Nastaran Baradaran; Pedro C. Diniz (IET Comput. Digit. Tech., 2007)

Automatic Extraction of Process Control Flow from I/O Operations. - Pedro C. Diniz; Diogo R. Ferreira (BPM, 2008)

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

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

Introduction. - Pedro C. Diniz; Ben H. H. Juurlink; Alain Darte; Wolfgang Karl (Euro-Par, 2009)

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

Code Transformations for Embedded Reconfigurable Computing Architectures. - Pedro C. Diniz; João M. P. Cardoso (GTTSE, 2009)

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

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

Guest Editorial. - Pedro C. Diniz (Concurr. Comput. Pract. Exp., 2009)

Introduction to the Special Issue ARC'08. - Katherine Compton; Roger F. Woods; Christos-Savvas Bouganis; Pedro C. Diniz (ACM Trans. Reconfigurable Technol. Syst., 2009)

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

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

Providing user context for mobile and social networking applications. - André C. Santos; João M. P. Cardoso; Diogo R. Ferreira; Pedro C. Diniz; Paulo Chainho (Pervasive Mob. Comput., 2010)

Preprocessing techniques for context recognition from accelerometer data. - Davide Figo; Pedro C. Diniz; Diogo R. Ferreira; João M. P. Cardoso (Pers. Ubiquitous Comput., 2010)

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

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

Data Reorganization and Prefetching of Pointer-Based Data Structures. - Joonseok Park; Pedro C. Diniz (IEEE Des. Test Comput., 2011)

Domain-Specific Optimization of Signal Recognition Targeting FPGAs. - Melina Demertzi; Pedro C. Diniz; Mary W. Hall; Anna C. Gilbert; Yi Wang (ACM Trans. Reconfigurable Technol. Syst., 2011)

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

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

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

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

A programming model for resilience in extreme scale computing. - Saurabh Hukerikar; Pedro C. Diniz; Robert F. Lucas (DSN Workshops, 2012)

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

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

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

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

Resiliency-aware Scheduling for reconfigurable VLIW processors. - Jeremy Abramson; Pedro C. Diniz (ReConFig, 2012)

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

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

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

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

A Case for Adaptive Redundancy for HPC Resilience. - Saurabh Hukerikar; Pedro C. Diniz; Robert F. Lucas (Euro-Par Workshops, 2013)

Robust graph traversal: Resiliency techniques for data intensive supercomputing. - Saurabh Hukerikar; Pedro C. Diniz; Robert F. Lucas (HPEC, 2013)

The MATISSE MATLAB compiler. - João Bispo; Pedro Pinto 002; Ricardo Nobre; Tiago Carvalho 001; João M. P. Cardoso; Pedro C. Diniz (INDIN, 2013)

Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation. - André C. Santos; João M. P. Cardoso; Pedro C. Diniz; Diogo R. Ferreira (SLATE, 2013)

Controlling a complete hardware synthesis toolchain with LARA aspects. - João M. P. Cardoso; Tiago Carvalho 001; José Gabriel F. Coutinho; Ricardo Nobre; Razvan Nane; Pedro C. Diniz; Zlatko Petrov; Wayne Luk; Koen Bertels (Microprocess. Microsystems, 2013)

Evaluating High-Level Program Invariants Using Reconfigurable Hardware. - Joonseok Park; Pedro C. Diniz (ARC, 2014)

On Expressing Strategies for Directive-Driven Multicore Programing Models. - Ricardo Nobre; Pedro Pinto 002; Tiago Carvalho 001; João M. P. Cardoso; Pedro C. Diniz (PARMA-DITAM@HiPEAC, 2014)

Opportunistic application-level fault detection through adaptive redundant multithreading. - Saurabh Hukerikar; Pedro C. Diniz; Robert F. Lucas; Keita Teranishi (HPCS, 2014)

An evaluation of lazy fault detection based on Adaptive Redundant Multithreading. - Saurabh Hukerikar; Keita Teranishi; Pedro C. Diniz; Robert F. Lucas (HPEC, 2014)

Specifying Dynamic Adaptations for Embedded Applications Using a DSL. - André C. Santos; João M. P. Cardoso; Pedro C. Diniz; Diogo R. Ferreira; Zlatko Petrov (IEEE Embed. Syst. Lett., 2014)

Addressing failures in exascale computing. - Marc Snir; Robert W. Wisniewski; Jacob A. Abraham; Sarita V. Adve; Saurabh Bagchi; Pavan Balaji; James F. Belak; Pradip Bose; Franck Cappello; Bill Carlson; Andrew A. Chien; Paul Coteus; et al. (Int. J. High Perform. Comput. Appl., 2014)

A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation. - André C. Santos; João M. P. Cardoso; Pedro C. Diniz; Diogo R. Ferreira; Zlatko Petrov (J. Supercomput., 2014)

Atomic-delayed execution: A concurrent programming model for incomplete graph-based computations. - Pedro C. Diniz (HPEC, 2015)

Enabling application resilience through programming model based fault amelioration. - Saurabh Hukerikar; Pedro C. Diniz; Robert F. Lucas (HPEC, 2015)

Runtime mapping and scheduling for energy efficiency in heterogeneous multi-core systems. - Bruno A. Silva; Alexandre C. B. Delbem; Vanderlei Bonato; Pedro C. Diniz (ReConFig, 2015)

Run-time Cache Configuration for the LEON-3 Embedded Processor. - Bruno A. Silva; Lucas Albers Cuminato; Vanderlei Bonato; Pedro C. Diniz (SBCCI, 2015)

Application-oriented cache memory configuration for energy efficiency in multi-cores. - Bruno de Abreu Silva; Lucas Albers Cuminato; Alexandre C. B. Delbem; Pedro C. Diniz; Vanderlei Bonato (IET Comput. Digit. Tech., 2015)

Guest Editorial FPL 2013. - João M. P. Cardoso; Pedro C. Diniz; Katherine (Compton) Morrow (ACM Trans. Reconfigurable Technol. Syst., 2015)

Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware. - Joonseok Park; Pedro C. Diniz (ACM Trans. Reconfigurable Technol. Syst., 2015)

Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution. - Pedro C. Diniz; Chunhua Liao; Daniel J. Quinlan; Robert F. Lucas (Euro-Par Workshops, 2016)

Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach. - João M. P. Cardoso; José Gabriel F. Coutinho; Tiago Carvalho 001; Pedro C. Diniz; Zlatko Petrov; Wayne Luk; Fernando M. Gonçalves (Softw. Pract. Exp., 2016)

RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading. - Saurabh Hukerikar; Keita Teranishi; Pedro C. Diniz; Robert F. Lucas (Int. J. Parallel Program., 2018)

A Faddeev Systolic Array for EKF-SLAM and its Arithmetic Data Representation Impact on FPGA. - Leandro de Souza Rosa; Aravind Dasu; Pedro C. Diniz; Vanderlei Bonato (J. Signal Process. Syst., 2018)

Hardware Compilation Using SSA. - Pedro C. Diniz; Philip Brisk (SSA-based Compiler Design, 2022)

GSink - A Runtime for Gamma Programs and its CGRA Mapping Proposal. - Rui Rodrigues de Mello Junior; Gabriel Antoine Louis Paillard; Leandro Santiago de Araújo; Pedro C. Diniz; Felipe M. G. França (IPDPS Workshops, 2023)

Enhancing Adaptive Mixed-Criticality Scheduling with Deep Reinforcement Learning. - Bruno Mendes; Pedro F. Souto; Pedro C. Diniz (CoRR, 2024)