Pedro C. Diniz

发表

Commutativity analysis: a new analysis technique for parallelizing compilers

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1997, TOPL.

Pedro C. Diniz, 2011 .

Compiler-generated communication for pipelined FPGA applications

Pedro C. Diniz, Mary W. Hall, Heidi E. Ziegler, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Reconfigurable Computing: Architectures, Tools and Applications, Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007

Pedro C. Diniz, 2007, ARC.

Com pi ler-Generated Communication for Pi pel i ned FPGA Applications*

Pedro C. Diniz, Heidi E. Ziegler, Mary Hall, 2003 .

Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes

Pedro C. Diniz, P. Diniz, 2003, LCPC.

A programming model for resilience in extreme scale computing

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).

Enabling application resilience through programming model based fault amelioration

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2015, 2015 IEEE High Performance Extreme Computing Conference (HPEC).

Introduction to the Special Issue ARC’08

Christos-Savvas Bouganis, Roger F. Woods, Pedro C. Diniz, 2009, TRETS.

Runtime mapping and scheduling for energy efficiency in heterogeneous multi-core systems

Alexandre C. B. Delbem, Pedro C. Diniz, Vanderlei Bonato, 2015, 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig).

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

Martin C. Rinard, Pedro C. Diniz, 1998, J. Parallel Distributed Comput..

Robust graph traversal: Resiliency techniques for data intensive supercomputing

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2013, 2013 IEEE High Performance Extreme Computing Conference (HPEC).

Experiments with the LARA aspect-oriented approach

Wayne Luk, Pedro C. Diniz, João M. P. Cardoso, 2012, AOSD Companion '12.

The Institute for Sustained Performance, Energy, and Resilience Final Project Report

Robert F. Lucas, Pedro C. Diniz, Jacqueline Chame, 2017 .

Selector: A Language Construct for Developing Dynamic Applications

Pedro C. Diniz, Bing Liu, 2002, LCPC.

Controlling a complete hardware synthesis toolchain with LARA aspects

Wayne Luk, Koen Bertels, Pedro C. Diniz, 2013, Microprocess. Microsystems.

Resiliency-aware Scheduling for reconfigurable VLIW processors

Pedro C. Diniz, Jeremy Abramson, 2012, 2012 International Conference on Reconfigurable Computing and FPGAs.

Evaluation of code generation strategies for scalar replaced codes in fine-grain configurable architectures

Pedro C. Diniz, P. Diniz, 2005, 13th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'05).

Context Inference for Mobile Applications in the UPCASE Project

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2009, MOBILWARE.

A Faddeev Systolic Array for EKF-SLAM and its Arithmetic Data Representation Impact on FPGA

Aravind Dasu, Pedro C. Diniz, Vanderlei Bonato, 2018, J. Signal Process. Syst..

Compilation Techniques for Reconfigurable Architectures

Pedro C. Diniz, Joo Manuel Paiva Cardoso, 2008 .

Applied Reconfigurable Computing. Architectures, Tools, and Applications

Nikolaos Voros, Pedro C. Diniz, Christos Antonopoulos, 2018, Lecture Notes in Computer Science.

Exploiting parallelism in configurable architectures through custom array mapping

Pedro C. Diniz, Nastaran Baradaran, 2007, IET Comput. Digit. Tech..

A compiler approach to fast hardware design space exploration in FPGA-based systems

Pedro C. Diniz, Mary W. Hall, Byoungro So, 2002, PLDI '02.

Synchronization transformations for parallel computing

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1999, POPL '97.

Evaluating High-Level Program Invariants Using Reconfigurable Hardware

Pedro C. Diniz, Joonseok Park, 2014, ARC.

Compiler-directed design space exploration for caching and prefetching data in high-level synthesis

Pedro C. Diniz, Nastaran Baradaran, 2005, Proceedings. 2005 IEEE International Conference on Field-Programmable Technology, 2005..

Very High-Level Synthesis of Datapath and Control Structures for Reconfigurable Logic Devices

Pedro C. Diniz, Pablo Moisset, Joon-seok Park, 1999 .

Perspectives on Programming Reconfigurable Computing Platforms

Pedro C. Diniz, João M. P. Cardoso, 2008 .

A Case for Adaptive Redundancy for HPC Resilience

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2013, Euro-Par Workshops.

Application-specific external memory interfacing for fpga-based reconfigurable architecture

Pedro C. Diniz, Joon-seok Park, 2004 .

Data Reuse in Configurable Architectures with RAM Blocks: Extended Abstract

Pedro C. Diniz, Joonseok Park, Nastaran Baradaran, 2004, FPL.

Source code analysis and instrumentation

Pedro C. Diniz, João M. P. Cardoso, José Gabriel F. Coutinho, 2017 .

Addressing failures in exascale computing

Franck Cappello, Andrew A. Chien, Jacob A. Abraham, 2014, Int. J. High Perform. Comput. Appl..

LARA: an aspect-oriented programming language for embedded systems

Wayne Luk, Pedro C. Diniz, João M. P. Cardoso, 2012, AOSD '12.

A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2014, The Journal of Supercomputing.

Run-time cache configuration for the LEON-3 embedded processor

Pedro C. Diniz, Vanderlei Bonato, Bruno A. Silva, 2015, 2015 28th Symposium on Integrated Circuits and Systems Design (SBCCI).

Eliminating synchronization bottlenecks using adaptive replication

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 2003, TOPL.

Compilers for Reconfigurable Architectures

Pedro C. Diniz, João M. P. Cardoso, 2008 .

Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Unit

Gokul Govindu, Pedro C. Diniz, 2006, 2006 International Conference on Field Programmable Logic and Applications.

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

Martin C. Rinard, Pedro C. Diniz, 1996, LCPC.

Compiler-assisted performance tuning

Robert F. Lucas, Pedro C. Diniz, Jacqueline Chame, 2007 .

DEFACTO: A Design Environment for Adaptive Computing Technology

John J. Granacki, Phillip Duncan, Rajeev Jain, 1999, IPPS/SPDP Workshops.

Exploiting Commuting Operations in Parallelizing Serial Programs

Martin Rinard, Pedro C. Diniz, 1995 .

Opportunistic application-level fault detection through adaptive redundant multithreading

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2014, 2014 International Conference on High Performance Computing & Simulation (HPCS).

Data reorganization engines for the next generation of system-on-a-chip FPGAs

Pedro C. Diniz, Joonseok Park, 2002, FPGA '02.

Controlling Hardware Synthesis with Aspects

Wayne Luk, Pedro C. Diniz, João M. P. Cardoso, 2012, 2012 15th Euromicro Conference on Digital System Design.

The potential of computation reuse in high-level optimization of a signal recognition system

Yi Wang, Anna C. Gilbert, Pedro C. Diniz, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

Efficient Parallelization of Relaxation Iterative Methods for Solving Banded Linear Systems on Multiprocessors

Tao Yang, Pedro C. Diniz, P. Diniz, 1995, SIAM Conference on Parallel Processing for Scientific Computing.

Coarse-grain pipelining on multiple FPGA architectures

Pedro C. Diniz, Mary W. Hall, Heidi E. Ziegler, 2002, Proceedings. 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines.

Data search and reorganization using FPGAs: application to spatial pointer-based data structures

Pedro C. Diniz, Joonseok Park, P. Diniz, 2003, 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003..

Synchronization transformations for parallel computing

Martin Rinard, Pedro C. Diniz, M. Rinard, 1999, ACM-SIGACT Symposium on Principles of Programming Languages.

A Data-Driven Approach for Pipelining Sequences of Data-Dependent Loops

Pedro C. Diniz, João M. P. Cardoso, Rui Rodrigues, 2007, 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2007).

Hardware/Software Compilation

Koen Bertels, Pedro C. Diniz, João M. P. Cardoso, 2013 .

Modeling Loop Unrolling: Approaches and Open Issues

Pedro C. Diniz, João M. P. Cardoso, P. Diniz, 2004, SAMOS.

Guest Editorial FPL 2013

Pedro C. Diniz, João M. P. Cardoso, Katherine Morrow, 2015, TRETS.

PGAS 2015 Conference Committee

Tarek El-Ghazawi, Allen D. Malony, Abdel-Hameed A. Badawy, 2015 .

Guest Editorial

Pedro C. Diniz, 2009, Concurr. Comput. Pract. Exp..

High Performance Architectures and Compilers

Michael Hübner, Marco Danelutto, Denis Barthou, 2010, Euro-Par.

Resource-Efficient Designs Using an Aspect-Oriented Approach

Wayne Luk, George A. Constantinides, Pedro C. Diniz, 2012, 2012 IEEE 15th International Conference on Computational Science and Engineering.

Mapping and Execution Optimizations

Pedro C. Diniz, João M. P. Cardoso, 2008 .

On Expressing Strategies for Directive-Driven Multicore Programing Models

Pedro Pinto, Pedro C. Diniz, João M. P. Cardoso, 2014, PARMA-DITAM '14.

Preprocessing techniques for context recognition from accelerometer data

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2010, Personal and Ubiquitous Computing.

Design Space Exploration for Configurable Architectures and the Role of Modeling, High-Level Program Analysis and Learning Techniques

Pedro C. Diniz, 2004, SAMOS.

Application-oriented cache memory configuration for energy efficiency in multi-cores

Alexandre C. B. Delbem, Pedro C. Diniz, Vanderlei Bonato, 2015, IET Comput. Digit. Tech..

Performance‐driven instrumentation and mapping strategies using the LARA aspect‐oriented programming approach

Wayne Luk, Pedro C. Diniz, João M. P. Cardoso, 2016, Softw. Pract. Exp..

Applied Reconfigurable Computing

Pedro C. Diniz, Dimitrios Soudris, Kentaro Sano, 2015, Lecture Notes in Computer Science.

Performance and area modeling of complete FPGA designs in the presence of loop transformations

Pedro C. Diniz, Joonseok Park, K. R. Shesha Shayee, 2003, 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003..

Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach - (Extended Abstract)

Pedro C. Diniz, João M. P. Cardoso, Tiago Carvalho, 2013, ARC.

An External Memory Interface for FPGA-Based Computing Engines

Pedro C. Diniz, Joonseok Park, 2001, The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01).

Scheduling Iterative Task Computation on Message-Passing Architectures

Vivek Sarkar, Tao Yang, Pedro C. Diniz, 1995, PPSC.

Specifying Dynamic Adaptations for Embedded Applications Using a DSL

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2014, IEEE Embedded Systems Letters.

Source code transformations and optimizations

Pedro C. Diniz, José Gabriel F. Coutinho, João M. P. Cardoso, 2017 .

Performance and area modeling of complete FPGA designs in the presence of loop transformations

Pedro C. Diniz, Joonseok Park, K. R. Shesha Shayee, 2004, IEEE Transactions on Computers.

On the Complexity of Commutativity Analysis

Oscar H. Ibarra, Martin C. Rinard, Pedro C. Diniz, 1996, COCOON.

Performance and Area Modeling of Cmplete FPGA Designs in the Presence of Loop Transformations

Pedro C. Diniz, Joonseok Park, K. R. Shesha Shayee, 2003, FPL.

A Combined Hardware/Software Optimization Framework for Signal Representation and Recognition

Yi Wang, Anna C. Gilbert, Pedro C. Diniz, 2007, International Conference on Computational Science.

Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware

Pedro C. Diniz, Joonseok Park, 2015, ACM Trans. Reconfigurable Technol. Syst..

Eliminating synchronization bottlenecks in object-based programs using adaptive replication

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1999, ICS '99.

IJE special issue on reconfigurable hardware systems

Pedro C. Diniz, João M. P. Cardoso, 2008 .

Applied Reconfigurable Computing: 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

Pedro C. Diniz, Dimitrios Soudris, Kentaro Sano, 2015 .

Commutativity analysis: a new analysis framework for parallelizing compilers

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1996, PLDI '96.

A Domain-Specific Language for the Specification of Adaptable Context Inference

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2011, 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing.

A register allocation algorithm in the presence of scalar replacement for fine-grain configurable architectures

Pedro C. Diniz, Nastaran Baradaran, P. Diniz, 2005, Design, Automation and Test in Europe.

Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution

Robert F. Lucas, Daniel J. Quinlan, Pedro C. Diniz, 2016, Euro-Par Workshops.

Dynamic feedback: an effective technique for adaptive computing

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1997, PLDI '97.

Compilation and Synthesis for Embedded Reconfigurable Systems

Pedro C. Diniz, Zlatko Petrov, Jose G.F. Coutinho, 2013 .

Atomic-delayed execution: A concurrent programming model for incomplete graph-based computations

Pedro C. Diniz, 2015, 2015 IEEE High Performance Extreme Computing Conference (HPEC).

Resiliency-aware scheduling: Resource allocation for hardened computation on configurable devices

Pedro C. Diniz, Jeremy Abramson, 2012, 2012 International Conference on Field-Programmable Technology.

Hardware/software specialization through aspects: The LARA approach

Pedro C. Diniz, João M. P. Cardoso, João Teixeira, 2012, 2012 International Conference on Embedded Computer Systems (SAMOS).

Using estimates from behavioral synthesis tools in compiler-directed design space exploration

Pedro C. Diniz, Mary W. Hall, Byoungro So, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Specifying Compiler Strategies for FPGA-based Systems

Wayne Luk, Pedro C. Diniz, João M. P. Cardoso, 2012, 2012 IEEE 20th International Symposium on Field-Programmable Custom Computing Machines.

Automatic synthesis of data storage and control structures for FPGA-based computing engines

Pedro C. Diniz, Joonseok Park, 2000, Proceedings 2000 IEEE Symposium on Field-Programmable Custom Computing Machines (Cat. No.PR00871).

Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2013, SLATE.

Computation reuse in domain-specific optimization of signal recognition

Yi Wang, Anna C. Gilbert, Pedro C. Diniz, 2009, FPGA '09.

An overview of the ECO project

Chun Chen, Yoon-Ju Lee, Robert F. Lucas, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

A compiler approach to managing storage and memory bandwidth in configurable architectures

Pedro C. Diniz, Nastaran Baradaran, P. Diniz, 2008, TODE.

A Data-Driven Approach for Pipelining Sequences of Data-Dependent Loops

Pedro C. Diniz, João M. P. Cardoso, Rui Rodrigues, 2007 .

Eliminating synchronization overhead in automatically parallelized programs using dynamic feedback

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1999, TOCS.

A Behavioral Synthesis Estimation Interface for Configurable Computing

Pedro C. Diniz, Ashok Venkatachar, 2001, The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM'01).

Semantic Foundations of Commutativity Analysis

Martin C. Rinard, Pedro C. Diniz, M. Rinard, 1996, Euro-Par, Vol. I.

Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach

Pedro C. Diniz, Zlatko Petrov, Joo Manuel Paiva Cardoso, 2015 .

A new CMOS SiGeC avalanche photo-diode pixel for IR sensing

Pedro C. Diniz, Carlos Augusto, Lynn Forester, 2009, Defense + Commercial Sensing.

Targeting heterogeneous computing platforms

Pedro C. Diniz, José Gabriel F. Coutinho, João M. P. Cardoso, 2017 .

Memory Parallelism Using Custom Array Mapping to Heterogeneous Storage Structures

Pedro C. Diniz, Nastaran Baradaran, 2006, 2006 International Conference on Field Programmable Logic and Applications.

Providing user context for mobile and social networking applications

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2010, Pervasive Mob. Comput..

A resiliency-aware scheduling approach for FPGA configuration: Preliminary results

Pedro C. Diniz, Jeremy Abramson, 2012, 22nd International Conference on Field Programmable Logic and Applications (FPL).

The REFLECT Design-Flow

Wayne Luk, Jürgen Becker, Koen Bertels, 2013 .

Special session on "programming paradigms for reconfigurable multi-core embedded systems"

Diana Göhringer, Pedro C. Diniz, 2012, ICSAMOS.

ECO: an empirical-based compilation and optimization system

Chun Chen, Yoon-Ju Lee, Robert F. Lucas, 2003, Proceedings International Parallel and Distributed Processing Symposium.

Reconfigurable computing : architectures, tools and applications : 9th international symposium, ARC 2013, LosAngeles, CA, USA , March 25-27, 2013 : proceedings

Pedro C. Diniz, Philip Brisk, Jose G.F. Coutinho, 2013 .

Code retargeting for CPU-based platforms

Pedro C. Diniz, José Gabriel F. Coutinho, João M. P. Cardoso, 2017 .

Compiling for reconfigurable computing: A survey

Pedro C. Diniz, Markus Weinhardt, João M. P. Cardoso, 2010, CSUR.

The LARA Language

Pedro C. Diniz, Tiago Carvalho, Jose G.F. Coutinho, 2013 .

Compiler reuse analysis for the mapping of data in FPGAs with RAM blocks

Pedro C. Diniz, Joonseok Park, Nastaran Baradaran, 2004, Proceedings. 2004 IEEE International Conference on Field- Programmable Technology (IEEE Cat. No.04EX921).

Extending the Applicability of Scalar Replacement to Multiple Induction Variables

Pedro C. Diniz, Joonseok Park, Nastaran Baradaran, 2004, LCPC.

Code Transformations for Embedded Reconfigurable Computing Architectures

Pedro C. Diniz, João M. P. Cardoso, P. Diniz, 2009, GTTSE.

A domain-specific aspect language for transforming MATLAB programs

João Saraiva, Miguel P. Monteiro, João M. Fernandes, 2010 .

Mobile Context Provider for Social Networking

Diogo R. Ferreira, Pedro C. Diniz, João M. P. Cardoso, 2009, OTM Workshops.

The MATISSE MATLAB compiler

Pedro Pinto, Pedro C. Diniz, João M. P. Cardoso, 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

Synthesis of pipelined memory access controllers for streamed data applications on FPGA-based computing engines

Pedro C. Diniz, Joonseok Park, 2001, International Symposium on System Synthesis (IEEE Cat. No.01EX526).

A Compiler Approach to Performance Prediction Using Empirical-Based Modeling

Pedro C. Diniz, 2003, International Conference on Computational Science.

Controlling the design and development cycle

Pedro C. Diniz, José Gabriel F. Coutinho, João M. P. Cardoso, 2017 .

Commutativity analysis: a technique for automatically parallelizing pointer-based computations

Martin C. Rinard, Pedro C. Diniz, 1996, Proceedings of International Conference on Parallel Processing.

High-performance embedded computing

Pedro C. Diniz, Jose G.F. Coutinho, João M. P. Cardoso, 2017 .

Partial data reuse for nested loop computations: design space exploration for FPGA implementations

Pedro C. Diniz, Joon-seok Park, 2008 .

Compilation and Synthesis Flows

Pedro C. Diniz, João M. P. Cardoso, 2008 .

Empirical Optimization for a Sparse Linear Solver: A Case Study

Yoon-Ju Lee, Robert F. Lucas, Pedro C. Diniz, 2005, International Journal of Parallel Programming.

Matching and searching analysis for parallel hardware implementation on FPGAs

Pedro C. Diniz, Joonseok Park, Pablo Moisset, 2001, FPGA '01.

Array Replication to Increase Parallelism in Applications Mapped to Configurable Architectures

Pedro C. Diniz, Heidi E. Ziegler, Priyadarshini L. Malusare, 2005, LCPC.

Mapping Irregular Applications to DIVA, a PIM-based Data-Intensive Architecture

Jeff LaCoss, John J. Granacki, William C. Athas, 1999, ACM/IEEE SC 1999 Conference (SC'99).

REFLECT: Rendering FPGAs to Multi-core Embedded Computing

Wayne Luk, Lars Braun, Georgi Kuzmanov, 2011 .

Aspect-Based Source to Source Transformations

Wayne Luk, George A. Constantinides, Pedro C. Diniz, 2013 .

Partial Data Reuse for Windowing Computations: Performance Modeling for FPGA Implementations

Pedro C. Diniz, Joonseok Park, 2007, ARC.

Overview of Reconfigurable Architectures

Pedro C. Diniz, João M. P. Cardoso, 2008 .

Synchronization transformations for parallel computing

Martin C. Rinard, Pedro C. Diniz, 1999, Concurr. Pract. Exp..

RedThreads: An Interface for Application-Level Fault Detection/Correction Through Adaptive Redundant Multithreading

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2016, International Journal of Parallel Programming.

Automatic mapping of C to FPGAs with the DEFACTO compilation and synthesis system

Pedro C. Diniz, Mary W. Hall, Heidi E. Ziegler, 2005, Microprocess. Microsystems.

Reconfigurable Computing: Architectures, Tools and Applications

Koen Bertels, Pedro C. Diniz, João M. P. Cardoso, 2011, Lecture Notes in Computer Science.

Data Reorganization and Prefetching of Pointer-Based Data Structures

Pedro C. Diniz, Joonseok Park, 2011, IEEE Design & Test of Computers.

Automatic Extraction of Process Control Flow from I/O Operations

Diogo R. Ferreira, Pedro C. Diniz, 2008, BPM.

A case study using empirical optimization for a large, engineering application

Yoon-Ju Lee, Robert F. Lucas, Pedro C. Diniz, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Synthesis and estimation of memory interfaces for FPGA-based reconfigurable computing engines

Pedro C. Diniz, Joonseok Park, 2003, 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003..

Programming safety requirements in the REFLECT design flow

Pedro C. Diniz, Zlatko Petrov, Joao M. P. Cardoso, 2011, 2011 9th IEEE International Conference on Industrial Informatics.

Erratum to: Applied Reconfigurable Computing

Nikolaos S. Voros, Pedro C. Diniz, Christos Antonopoulos, 2018 .

Domain-Specific Optimization of Signal Recognition Targeting FPGAs

Yi Wang, Anna C. Gilbert, Pedro C. Diniz, 2011, TRETS.

Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture

Pedro C. Diniz, João M. P. Cardoso, Eduardo Marques, 2020, Electronics.

Automatically Parallelizing Serial Programs Using Commutativity Analysis

Martin Rinard, Pedro C. Diniz, 1995 .

Bridging the Gap between Compilation and Synthesis in the DEFACTO System

Pedro C. Diniz, Mary W. Hall, Heidi E. Ziegler, 2001, LCPC.

Parallel Algorithms for Dynamically Partitioning Unstructured Grids

Steven J. Plimpton, Bruce Hendrickson, Pedro C. Diniz, 1995, PPSC.

Custom FPGA-based micro-architecture for streaming computing

Pedro C. Diniz, Jose Carlos Alves, 2011, 2011 VII Southern Conference on Programmable Logic (SPL).

Poster: Programming Model Extensions for Resilience in Extreme Scale Computing

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2012, 2012 SC Companion: High Performance Computing, Networking Storage and Analysis.

Compiler directed data management for configurable architectures with heterogeneous memory structures

Pedro C. Diniz, Nastaran Baradaran, 2007 .

Programming Model Extensions for Resilience in Extreme Scale Computing

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2012, Euro-Par Workshops.

On the Complexity of Commutativity Analysis

Oscar H. Ibarra, Martin C. Rinard, Pedro C. Diniz, 1996, Int. J. Found. Comput. Sci..

An evaluation of lazy fault detection based on Adaptive Redundant Multithreading

Robert F. Lucas, Pedro C. Diniz, Saurabh Hukerikar, 2014, 2014 IEEE High Performance Extreme Computing Conference (HPEC).

A New Approach to Control and Guide the Mapping of Computations to FPGAs

Wayne Luk, Michael Hübner, George Constantinides, 2011 .