Pedro C. Diniz

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 6

Top Venues

HPEC

ACM Trans. Reconfigurable Technol. Syst.

Euro-Par Workshops

ARC

Publications

Rui Rodrigues de Mello Junior, Gabriel Antoine Louis Paillard, Leandro Santiago de Araújo, Pedro C. Diniz, Felipe M. G. França
GSink - A Runtime for Gamma Programs and its CGRA Mapping Proposal. IPDPS Workshops (2023)
Saurabh Hukerikar, Keita Teranishi, Pedro C. Diniz, Robert F. Lucas
RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading. Int. J. Parallel Program. 46 (2) (2018)
Leandro de Souza Rosa, Aravind Dasu, Pedro C. Diniz, Vanderlei Bonato
A Faddeev Systolic Array for EKF-SLAM and its Arithmetic Data Representation Impact on FPGA. J. Signal Process. Syst. 90 (3) (2018)
João M. P. Cardoso, José Gabriel F. Coutinho, Tiago Carvalho, Pedro C. Diniz, Zlatko Petrov, Wayne Luk, Fernando M. Gonçalves
Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach. Softw. Pract. Exp. 46 (2) (2016)
Pedro C. Diniz, Chunhua Liao, Daniel J. Quinlan, Robert F. Lucas
Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution. Euro-Par Workshops (2016)
Saurabh Hukerikar, Keita Teranishi, Pedro C. Diniz, Robert F. Lucas
RedThreads: An Interface for Application-level Fault Detection/Correction through Adaptive Redundant Multithreading. CoRR (2016)
Bruno A. Silva, Alexandre C. B. Delbem, Vanderlei Bonato, Pedro C. Diniz
Runtime mapping and scheduling for energy efficiency in heterogeneous multi-core systems. ReConFig (2015)
Joonseok Park, Pedro C. Diniz
Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware. ACM Trans. Reconfigurable Technol. Syst. 9 (1) (2015)
João M. P. Cardoso, Pedro C. Diniz, Katherine (Compton) Morrow
Guest Editorial FPL 2013. ACM Trans. Reconfigurable Technol. Syst. 8 (2) (2015)
Pedro C. Diniz
Atomic-delayed execution: A concurrent programming model for incomplete graph-based computations. HPEC (2015)
Bruno de Abreu Silva, Lucas Albers Cuminato, Alexandre C. B. Delbem, Pedro C. Diniz, Vanderlei Bonato
Application-oriented cache memory configuration for energy efficiency in multi-cores. IET Comput. Digit. Tech. 9 (1) (2015)
Bruno A. Silva, Lucas Albers Cuminato, Vanderlei Bonato, Pedro C. Diniz
Run-time Cache Configuration for the LEON-3 Embedded Processor. SBCCI (2015)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas
Enabling application resilience through programming model based fault amelioration. HPEC (2015)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas, Keita Teranishi
Opportunistic application-level fault detection through adaptive redundant multithreading. HPCS (2014)
Marc Snir, Robert W. Wisniewski, Jacob A. Abraham, Sarita V. Adve, Saurabh Bagchi, Pavan Balaji, Jim Belak, Pradip Bose, Franck Cappello, Bill Carlson, Andrew A. Chien, Paul Coteus, Nathan DeBardeleben, Pedro C. Diniz, Christian Engelmann, Mattan Erez, Saverio Fazzari, Al Geist, Rinku Gupta, Fred Johnson, Sriram Krishnamoorthy, Sven Leyffer, Dean Liberty, Subhasish Mitra, Todd S. Munson, Rob Schreiber, Jon Stearley, Eric Van Hensbergen
Addressing failures in exascale computing. Int. J. High Perform. Comput. Appl. 28 (2) (2014)
André C. Santos, João M. P. Cardoso, Pedro C. Diniz, Diogo R. Ferreira, Zlatko Petrov
Specifying Dynamic Adaptations for Embedded Applications Using a DSL. IEEE Embed. Syst. Lett. 6 (3) (2014)
Joonseok Park, Pedro C. Diniz
Evaluating High-Level Program Invariants Using Reconfigurable Hardware. ARC (2014)
Saurabh Hukerikar, Keita Teranishi, Pedro C. Diniz, Robert F. Lucas
An evaluation of lazy fault detection based on Adaptive Redundant Multithreading. HPEC (2014)
Ricardo Nobre, Pedro Pinto, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz
On Expressing Strategies for Directive-Driven Multicore Programing Models. PARMA-DITAM@HiPEAC (2014)
André C. Santos, João M. P. Cardoso, Pedro C. Diniz, Diogo R. Ferreira, Zlatko Petrov
A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation. J. Supercomput. 70 (3) (2014)
João M. P. Cardoso, Tiago Carvalho, José Gabriel F. Coutinho, Ricardo Nobre, Razvan Nane, Pedro C. Diniz, Zlatko Petrov, Wayne Luk, Koen Bertels
Controlling a complete hardware synthesis toolchain with LARA aspects. Microprocess. Microsystems 37 (8-C) (2013)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas
A Case for Adaptive Redundancy for HPC Resilience. Euro-Par Workshops (2013)
André C. Santos, João M. P. Cardoso, Pedro C. Diniz, Diogo R. Ferreira
Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation. SLATE (2013)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas
Robust graph traversal: Resiliency techniques for data intensive supercomputing. HPEC (2013)
João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz
The MATISSE MATLAB compiler. INDIN (2013)
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)
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)
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)
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)
Jeremy Abramson, Pedro C. Diniz
A resiliency-aware scheduling approach for FPGA configuration: Preliminary results. FPL (2012)
Diana Göhringer, Pedro C. Diniz
Special session on "programming paradigms for reconfigurable multi-core embedded systems". ICSAMOS (2012)
Jeremy Abramson, Pedro C. Diniz
Resiliency-aware scheduling: Resource allocation for hardened computation on configurable devices. FPT (2012)
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)
Jeremy Abramson, Pedro C. Diniz
Resiliency-aware Scheduling for reconfigurable VLIW processors. ReConFig (2012)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas
Poster: Programming Model Extensions for Resilience in Extreme Scale Computing. SC Companion (2012)
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)
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)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas
A programming model for resilience in extreme scale computing. DSN Workshops (2012)
Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas
Programming Model Extensions for Resilience in Extreme Scale Computing. Euro-Par Workshops (2012)
Mitsuhisa Sato, Denis Barthou, Pedro C. Diniz, P. Saddayapan
Introduction. Euro-Par (1) (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)
Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang
Domain-Specific Optimization of Signal Recognition Targeting FPGAs. ACM Trans. Reconfigurable Technol. Syst. 4 (2) (2011)
Joonseok Park, Pedro C. Diniz
Data Reorganization and Prefetching of Pointer-Based Data Structures. IEEE Des. Test Comput. 28 (4) (2011)
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 Mob. Comput. 6 (3) (2010)
Pedro C. Diniz, Marco Danelutto, Denis Barthou, Marc Gonzales, Michael Hübner
High Performance Architectures and Compilers. Euro-Par (1) (2010)
Davide Figo, Pedro C. Diniz, Diogo R. Ferreira, João M. P. Cardoso
Preprocessing techniques for context recognition from accelerometer data. Pers. Ubiquitous Comput. 14 (7) (2010)
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, 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)
Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl
Introduction. Euro-Par (2009)
Pedro C. Diniz
Guest Editorial. Concurr. Comput. Pract. Exp. 21 (1) (2009)
Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert, Yi Wang
Computation reuse in domain-specific optimization of signal recognition. FPGA (2009)
Katherine Compton, Roger F. Woods, Christos-Savvas Bouganis, Pedro C. Diniz
Introduction to the Special Issue ARC'08. ACM Trans. Reconfigurable Technol. Syst. 2 (4) (2009)
Pedro C. Diniz, João M. P. Cardoso
Code Transformations for Embedded Reconfigurable Computing Architectures. GTTSE (2009)
André C. Santos, João M. P. Cardoso, Diogo R. Ferreira, Pedro C. Diniz
Mobile Context Provider for Social Networking. OTM Workshops (2009)
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)
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)
Nastaran Baradaran, Pedro C. Diniz
A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures CoRR (2007)
Joonseok Park, Pedro C. Diniz
Partial Data Reuse for Windowing Computations: Performance Modeling for FPGA Implementations. ARC (2007)
Nastaran Baradaran, Pedro C. Diniz
Exploiting parallelism in configurable architectures through custom array mapping. IET Comput. Digit. Tech. 1 (4) (2007)
Rui Rodrigues, João M. P. Cardoso, Pedro C. Diniz
A Data-Driven Approach for Pipelining Sequences of Data-Dependent Loops. FCCM (2007)
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)
Nastaran Baradaran, Pedro C. Diniz
Memory Parallelism Using Custom Array Mapping to Heterogeneous Storage Structures. FPL (2006)
Jacqueline Chame, Chun Chen, Pedro C. Diniz, Mary W. Hall, Yoon-Ju Lee, Robert F. Lucas
An overview of the ECO project. IPDPS (2006)
Pedro C. Diniz, Gokul Govindu
Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit. FPL (2006)
Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert F. Lucas
Empirical Optimization for a Sparse Linear Solver: A Case Study. Int. J. Parallel Program. 33 (2-3) (2005)
Nastaran Baradaran, Pedro C. Diniz
Compiler-Directed Design Space Exploration for Caching and Prefetching Data in High-Level Synthesis. FPT (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. Microprocess. Microsystems 29 (2-3) (2005)
Nastaran Baradaran, Pedro C. Diniz
A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures. DATE (2005)
Pedro C. Diniz
Evaluation of Code Generation Strategies for Scalar Replaced Codes in Fine-Grain Configurable Architectures. FCCM (2005)
Heidi E. Ziegler, Priyadarshini L. Malusare, Pedro C. Diniz
Array Replication to Increase Parallelism in Applications Mapped to Configurable Architectures. LCPC (2005)
Pedro C. Diniz
Design Space Exploration for Configurable Architectures and the Role of Modeling, High-Level Program Analysis and Learning Techniques. SAMOS (2004)
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) (2004)
Nastaran Baradaran, Joonseok Park, Pedro C. Diniz
Compiler reuse analysis for the mapping of data in FPGAs with RAM blocks. FPT (2004)
João M. P. Cardoso, Pedro C. Diniz
Modeling Loop Unrolling: Approaches and Open Issues. SAMOS (2004)
Nastaran Baradaran, Joonseok Park, Pedro C. Diniz
Data Reuse in Configurable Architectures with RAM Blocks: Extended Abstract. FPL (2004)
Nastaran Baradaran, Pedro C. Diniz, Joonseok Park
Extending the Applicability of Scalar Replacement to Multiple Induction Variables. LCPC (2004)
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)
Pedro C. Diniz, Joonseok Park
Using FPGAs for data and reorganization engines: preliminary results for spatial pointer-based data structures. FPGA (2003)
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)
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)
Byoungro So, Pedro C. Diniz, Mary W. Hall
Using estimates from behavioral synthesis tools in compiler-directed design space exploration. DAC (2003)
Pedro C. Diniz, Joonseok Park
Data Search and Reorganization Using FPGAs: Application to Spatial Pointer-based Data Structures. FCCM (2003)
Pedro C. Diniz
A Compiler Approach to Performance Prediction Using Empirical-Based Modeling. International Conference on Computational Science (2003)
Martin C. Rinard, Pedro C. Diniz
Eliminating synchronization bottlenecks using adaptive replication. ACM Trans. Program. Lang. Syst. 25 (3) (2003)
Heidi E. Ziegler, Mary W. Hall, Pedro C. Diniz
Compiler-generated communication for pipelined FPGA applications. DAC (2003)
Pedro C. Diniz
Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes. LCPC (2003)
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)
Joonseok Park, Pedro C. Diniz
Synthesis and Estimation of Memory Interfaces for FPGA-based Reconfigurable Computing Engines. FCCM (2003)
Pedro C. Diniz, Joonseok Park
Data reorganization engines for the next generation of system-on-a-chip FPGAs. FPGA (2002)
Pedro C. Diniz, Bing Liu
Selector: A Language Construct for Developing Dynamic Applications. LCPC (2002)
Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro C. Diniz
Coarse-Grain Pipelining on Multiple FPGA Architectures. FCCM (2002)
Byoungro So, Mary W. Hall, Pedro C. Diniz
A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems. PLDI (2002)
Pedro C. Diniz, Ashok Venkatachar
A Behavioral Synthesis Estimation Interface for Configurable Computing. FCCM (2001)
Joonseok Park, Pedro C. Diniz
Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines. ISSS (2001)
Pablo Moisset, Pedro C. Diniz, Joonseok Park
Matching and searching analysis for parallel hardware implementation on FPGAs. FPGA (2001)
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)
Joonseok Park, Pedro C. Diniz
An External Memory Interface for FPGA-Based Computing Engines. FCCM (2001)
Pedro C. Diniz, Joonseok Park
Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines. FCCM (2000)
Pedro C. Diniz, Martin C. Rinard
Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback. ACM Trans. Comput. Syst. 17 (2) (1999)

Pedro C. Diniz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pedro C. Diniz