Scientific Publications

© Copyright Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Biliographic Entries in BibTex format

2015

  • J. park and P. Diniz, "Evaluating High-Level Program Invariants Using Reconfigurable Hardware", ACM Trans. on Reconfigurable Technlogy and Systems (TRETS), ACM Press, Vol. 9(1), Nov. 2015

  • J. Cardoso, J. Gabriel Coutinho, T. Carvalho, P. Diniz, Z. Petrov, W. Luk, F. Goncalves, "Instrumentation and Mapping Strategies with the LARA Aspect-Oriented Programming Approach", to appear in Software: Practice and Experience, 2015.

  • B. Silva, L. Cuminato, A. B. Delbem, P. Diniz, V. Bonato, "An Application-oriented Cache Memory Configuration for Energy Efficiency in Multi-Cores", IET Design & Test of Computers, Elsevier, vol. 9, no. 1, pp 73-81, Jan. 2015

    2014

  • Saurabh Hukerikar, Keita Teranishi, Pedro C. Diniz and Robert F. Lucas, "Opportunistic Application-level Fault Detection through Adaptive Redundant Multithreading", in Proc. of the 2014 Intl. Conf. on High Performance Computing and Simulation (HPCS 2014), July 2014

  • Saurabh Hukerikar, Keita Teranishi, Pedro C. Diniz and Robert F. Lucas, "An Evaluation of Lazy Fault Detection based on Adaptive Redundant Multithreading", in Proc. of the Eighteenth Annual IEEE High Performance Extreme Computing Conference 2014 (HPEC'2014), September 2014 Waltham, MA USA.

  • A. Santos, J. Cardoso, P. Diniz, D. Ferreira, Z. Petrov, "Specifying Dynamic Adaptations for Embedded Applications Using a DSL", Embedded Systems Letters 6(3), pp. 49-52 (2014)

  • J. Park, P. Diniz, "Evaluating High-Level Program Invariants Using Reconfigurable Hardware", in Proc. of the Intl. Applied Reconfigurable Computing Symp. (ARC), pp. 121-132, 2014.

    2013

  • João M. P. Cardoso, Tiago Carvalho, José Coutinho, Ricardo Nobre, Razvan Nane, Pedro C. Diniz, Zlatko Petrov, Wayne Luk and Koen Bertels, "Controlling a complete hardware synthesis toolchain with LARA aspects", in Microprocessors and Microsystems - Embedded Hardware Design, 37(8-C): 1073-1089, 2013

  • José Coutinho, João M. P. Cardoso, Tiago Carvalho, Ricardo Nobre, Sujit Bhattacharya, Pedro C. Diniz, Liam Fitzpatrick and Razvan Nane, "Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach - (Extended Abstract).", in Proc. of the Intl. Symp. on Applied Reconfigurable Computing (ARC), pp. 226-228, 2013

  • Saurabh Hukerikar, Pedro C. Diniz, Robert F. Lucas "Robust graph traversal: Resiliency techniques for data intensive supercomputing" in Proc. of the 2013 IEEE Symp. High-Performance Extreme Computing (HPEC), pp. 1-6, 2013

  • João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz, "The MATISSE MATLAB compiler", in Proc. of the IEEE Intl Conf. on Industrial Informatics (INDIN), pp. 602-608, 2013

    2012

  • João M. P. Cardoso, João Teixeira, José Alves, Ricardo Nobre, Pedro C. Diniz, José Coutinho and Wayne Luk "Specifying Compilation Strategies for FPGA-based Systems", in Proc. of the The 20th Annual IEEE International Symp. on Field-Programmable Custom Computing Machines (FCCM'2012), Toronto, Canada, April 2012.

  • João M. P. Cardoso, and Tiago Carvalho, José Coutinho, Wayne Luk, Ricardo Nobre, Pedro C. Diniz and Zlatko Petrov, "LARA: An Aspect-Oriented Programming Language for Embedded Systems", in Proc. of the Intl. Conf. on Aspect-Oriented Software Development (AOSD'2012), Potsdam, Germany, March 2012.

    2011

  • Zlatko Petrov and Kamil Kraty and João M. P. Cardoso and Pedro C. Diniz, "Programming Safety Requirements in the REFLECT Design Flow", in Proc. of the Ninth IEEE Intl. Conf. on Industrial Informatics (INDIN'2011), Lisbon, Portugal, July 2011.

  • André C. Santos and Pedro C. Diniz and João M. P. Cardoso and Diogo R. Ferreira, "A Domain-Specific Language for the Specification of Adaptable Context Inference", in Proc. of the Ninth IEEE/IFIP Intl. Conf. on Embedded and Ubiquitous Computing (EUC'2011), Melbourne, Australia, Oct. 2011.

  • Jooseok Park and Pedro C. Diniz, "Using FPGAs for Data Reorganization and Pre-Fetching of Pointer-based Data Structures for Scientific Computations" In IEEE Trans. on Design and Test in Computers (IEEE-D\&T) Special Issue on Design Methods and Tools for FPGA-Based Acceleration of Scientific Computing, July/August 2011.

  • José C. Alves and Pedro C. Diniz "Custom FPGA-based Micro-Architecture for Streaming Computing" In Proc. of the Southern Conf. on Programmable Logic (SPL'11), April 2011.

  • Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert and Yi Wang "Domain-Specific Optimization of Signal Recognition Targeting FPGAs" In ACM Trans. on Reconfigurable Technology and Systems (TRETS) Vol. 4 Issue. 2, June 2011.

    2010

  • João M. P. Cardoso, Pedro C. Diniz and Markus Weinhardt "Compiling for Reconfigurable Computing: A Survey" in ACM Computing Surveys, Vol. 42, No. 4, June 2010.

  • Davide Figo, Pedro C. Diniz, Diogo R. Ferreira and João M. P. Cardoso "Preprocessing Techniques for Context Recognition from Accelerometer Data" in Elsevier Journal on Personal and Ubiquitous Computing, Vol. 14, issue 7, March 2010.

    2007

  • Melina Demertzi, Pedro C. Diniz, Mary W. Hall, Anna C. Gilbert and Yi Wang "A Combined Hardware/Software Optimization Framework for Signal Representation and Recognition" In Proc. of the 2007 Data-Driven Dynamic Application Systems (DDDAS) Workshop held in conjunction with the Intl. Conference on Computatinal Science (ICCS'07), Beijing, China, May 2007.

  • Rui Rodrigues, João M. P. Cardoso and Pedro C. Diniz, "A Data-Driven Approach for Pipelining Sequences of Data-Dependent Loops" In Proc. of the IEEE Symp. on FPGAs for Custom Computing Machines (FCCM), IEEE Computer Society Press, pp. 219 -228, 2007

  • Joonseok Park and Pedro C. Diniz "Partial Data Reuse for Windowing Computations: Performance Modeling for FPGA Implementations" In Proc. of the 2007 IEEE Intl. Workshop on Applied Reconfigurable Computing (ARC'07), Published in Lecture Notes in Computer Science (LNCS), Vol. 4419, pp. 97-109, March 2007.

    2006

  • Nastaran Baradaran and Pedro C. Diniz "Memory Parallelism using Custom Array Mapping to Heterogeneous Storage Structures" In Proc. of the 2006 IEEE Intl. Conference on Field Programmable Logic (FPL'06), pp. 383-388, August 2006.

  • Pedro C. Diniz and Gokul Govindu "Design of a Field-Programmable Dual-Precision Floating-Point Arithmetic Vector Unit" In Proc. of the 2006 IEEE Intl. Conference on Field Programmable Logic (FPL'06), pp. 733-736, August 2006.

    2005

  • Heidi Ziegler, Priyadarshini Malusare and Pedro C. Diniz "Array Replication to Increase Parallelism in Applications Mapped to Configurable Architectures" In Proc. of the 18th Workshop on Languages and Compilers for Parallel Computing (LCPC'05) Oct. 2005. To be published as Notes in Computer Science (LNCS), Vol. 3602, pp. 455-469, Springer, Berlin, 2005.

  • Nastaran Baradaran and Pedro C. Diniz "Compiler-Directed Design Space Exploration for Caching and Prefetching Data in High-level Synthesis" In Proc. of the 2005 IEEE Intl. Conference on Field Programmable Technology (FPT'05), Dec. 2005

  • Pedro C. Diniz "Evaluation of Code Generation Strategies for Scalar Replaced Codes in Fine-grain Configurable Architectures" In Proc. of the 2005 IEEE Symposium on FPGAs for Custom Computing Machines (FCCM'05), Apr. 2005.

  • Nastaran Baradaran and Pedro C. Diniz "A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architecture" In Proc. of the 2005 Conference on Design Automation and Testing in Europe (DATE'05), Mar. 2005, Vol. I, pp. 6-15.

  • Pedro C. Diniz, Mary Hall, Joonseok Park, Byoungro So and Heidi Ziegler "Automatic mapping of C to FPGAs with the DEFACTO compilation and synthesis systems" In Elsevier Journal on Microprocessors and Microsystems, Volume 29, Issues 2-3, 1 April 2005, Pages 51-62
    2004

  • Nastaran Baradaran, Pedro Diniz and Joonseok Park "Compiler Reuse Analysis for the Mapping of Data in FPGAs with RAM Blocks" In Proc. of the 2004 IEEE Intl. Conference on Field-Programmable Technology (FPT'04), Dec. 2004.

  • Nastaran Baradaran, Pedro Diniz and Joonseok Park "Extending the Applicability of Scalar Replacement to Multiple Induction Variables" In Proc. of the 17th Workshop on Languages and Compilers for Parallel Computing (LCPC'04) Sep. 2004. Published as Lecture Notes in Computer Science (LNCS), Vol. 3602, pp. 455-469, Springer, Berlin, 2004.

  • Joonseok Park, Pedro Diniz and K. R. Shesha Ragunhatan "Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations" IEEE Transactions on Computers (Special Issue on Field-Programmable Logic), Vol. 53, no. 11, pp. 1420-1435, Nov. 2004.

  • Jo√£o M. P. Cardoso and Pedro C. Diniz "Modeling Loop Unrolling: Approaches and Open Issues" To appear in the Proceedings of the International Workshop on Systems, Architectures, MOdeling, and Simulation (SAMOS'04) July. 2004. Published as Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, 2004.

  • Pedro C. Diniz " Design Space Exploration for Reconfigurable Architectures and the Role of Modeling, High-level Program Analysis and Learning Techniques" To appear in the Proceedings of the International Workshop on Systems, Architectures, MOdeling, and Simulation (SAMOS'04) July. 2004. Published as Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, 2004.

    2003

  • Pedro Diniz "Increasing the Accuracy of Shape and Safety Analysis" To appear in the Proceedings of the 16th Workshop on Languages and Compilers for Parallel Computing (LCPC'03) Oct. 2003. To be published as Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, 2003. (PDF)

  • K.R. Shayee and Joonseok Park and Pedro Diniz "Performance and Area Modeling of Complete FPGA Designs in the presence of Loop Transformations" , In Proc. of the 13th International Conference on Field Programmable Logic and Applications (FPL 2003), published as Lecture Notes in Computer Science (LNCS 2778), 2003 (PDF)

  • Pedro Diniz and Joonseok Park "Data Search and Reorganization using FPGAs: Application to Spatial Pointer-based Data Structures" In Proc. of the 2003 Symp. on FPGAs for Custom Computing Machines (FCCM'03) IEEE Computer Society Press, Los Alamitos, California, April 2003, pages 207-217. (PDF)

  • Joonseok Park and Pedro Diniz "Synthesis and Estimation of Memory Interfaces for FPGA-based Reconfigurable Computing Engines" In the Proc. of the 2003 IEEE Symposium on FPGAs for Custom Computing Machines (FCCM'03) IEEE Computer Society Press, Los Alamitos, California, April 2003, pages 297-299. (short paper) (PDF)

  • Pedro Diniz "A Compiler Approach to Performance Prediction using Emprical-based Modeling" In the Proc. of the 2003 Workshop on Performance Modeling and Analysis (PMA'03) published as Lecture Notes in Computer Science (LNCS 2659), Volume III, pages 916-925, (PDF)

  • Byoungro So, Pedro Diniz and Mary Hall "Using Estimates from Behavioral Synthesis Tools in Compiler-Directed Design Space Exploration" In Proc. of the 40th Design Automation Conference (DAC) (PDF)

  • Heidi Ziegler, Mary Hall and Pedro Diniz "Compiler-Generated Communication for Pipelined FPGA Applications", In Proc. of the 40th Design Automation Conference (DAC) (PDF)

    2002

  • Pedro Diniz and Bing Liu "Selector: A Language Construct for Developing Dynamic Applications" In Proc. of the 15th Workshop on Languages and Compilers for Parallel Computing (LCPC'02) Aug. 2002. Published as Lecture Notes in Computer Science (LNCS), Vol. 2481, pp. 218-231, Springer-Verlag, Berlin, 2005.

  • Heidi Ziegler, Byoungro So, Mary Hall, and Pedro Diniz "Coarse-Grain Pipelining for Multiple FPGA Architectures" In the Proceedings of the IEEE Symp. on FPGAs for Custom Computing Machines (FCCM'02), IEEE Computer Society Press, Los Alamitos, Calif., Oct. 2001, pp. 77-86.

  • Byoungro So, Mary Hall and Pedro Diniz, "A Compiler Approach to Fast Design Space Exploration in FPGA-based Systems" In Proc. of the ACM Conference on Programming Language Design and Implementation (PLDI'2002), ACM Press, New York, June. 2002, pp. 00-00.

  • Pedro Diniz and Joonseok Park, "Data Reorganization Engines for the Next Generation of System-On-A-Chip FPGAs" In Proceedings of the Tenth ACM International Symposium on FPGAs (FPGA'2002), ACM Press, New York, Feb. 2002, pp. 237-244.

    2001

  • Joonseok Park and Pedro Diniz, "Synthesis of Memory Access Controller for Streamed Data Applications for FPGA-based Computing Engines", In Proceedings of the 14th Int. Symp. on System Synthesis (ISSS'2001), Oct. 2001, pp. 221-226.

  • Pedro Diniz, Mary Hall, Joonseok Park, Byoungro So and Heidi Ziegler "Bridging the Gap between Compilation and Synthesis in the DEFACTO System" In Proceedings of the 14th Workshop on Languages and Compilers for Parallel Computing (LCPC'2001), Published as Lecture Notes in Computer Science (LNCS), Springer-Verlag, Berlin, 2001, pp.570-578.

  • Pedro Diniz and Ashok Venkatachar, "A Behavioral Synthesis Estimation Interface for Configurable Computing", In Proceedings of the IEEE Symp. on FPGAs for Custom Computing Machines (FCCM'01), IEEE Computer Society Press, CA, Oct. 2001.
  • Joonseok Park and Pedro Diniz, "An External Memory Interface for FPGA-based Computing Engines", To appear in the Proceedings of the IEEE Symp. on FPGAs for Custom Computing Machines (FCCM'01), IEEE Computer Society Press, Los Alamitos, Calif., Oct. 2001.

  • Pablo Moisset, Pedro Diniz and Joonseok Park, "Matching and Searching Analysis for Parallel Hardware Implementation on FPGAs" In the Proceedings of the Nineth ACM Symposium on FPGAs (FPGA'2001), ACM Press, New York, Feb. 2001, pp. 125-133.

    2000

  • Pedro Diniz and Joonseok Park, "Automatic Synthesis of Data Storage and Contol Structures for FPGA-based Computing Machines" In the Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines (FCCM'2000), IEEE Computer Society Press, Los Alamitos, Oct. 2000, pp. 91-100.

    1999

  • Mary Hall, Peter Kogge, Jeff Koller, Pedro Diniz, Jacqueline Chame, Jeff Draper, Jeff LaCoss, John Granacki, Apoorv Srivastava, William Athas, Jay Brockman, Vincent Freeh, Joonseok Park, Jaewook Shin, "Mapping Irregular Applications to DIVA, A PIM-based Data-Intensive Architecture" In Proceedings of the Supercomputing Conference (SC'99), November 1999.

  • Martin Rinard and Pedro Diniz "Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication" In Proceedings of the ACM International Conference on Supercomputing (ICS'99), ACM Press, New York, June 1999, pp. 83-92.

    1998

    1997

  • Pedro Diniz and Martin Rinard, "Dynamic Feedback: An Effective Technique for Adaptive Computing" In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'97), pp. 71-84, Las Vegas, NV, June 1997.

  • Pedro Diniz and Martin Rinard, "Synchronization Transformations for Parallel Computing" In the Proceedings of the ACM SIGPLAN Conference on Principles of Programming Languages (POPL'97), pp. 187-200, Paris, France, January 1997.

    1996

  • Martin Rinard and Pedro Diniz, "Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers" In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'96), pp. 54-67, Philadelphia, PA, May 1996.

  • Pedro Diniz and Martin Rinard, "Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-based Programs" In Proceedings of the Ninth Workshop on Languages and Compilers for Parallel Computing (LCPC'96), San Jose, CA, August 1996. (Published as Lecture Notes in Computer Science, Vol. 1239, pp. 285-299, Springer-Verlag Publishers).

  • Martin Rinard and Pedro Diniz, "Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations" In Proceedings of the Tenth IEEE International Parallel Processing Symposium (IPPS'96), pp. 14-22, Honolulu, HI, April 1996.

  • Martin Rinard and Pedro Diniz, "Semantic Foundations of Commutativity Analysis" In Proceedings of the Second European Conference on Parallel Processing (EuroPar'96), pp 414-423, Lyon, France, August 1996. (Published as Lecture Notes in Computer Science, Vol 1123, Springer-Verlag Publishers)

  • Oscar Ibarra, Pedro Diniz and Martin Rinard, "On the Complexity of Commutativity Analysis" In Proceedings of the second Annual International Computing and Combinatorics Conference (COCOON'96), pp. 323-332, Hong-Kong, June 1996. (Published as Lecture Notes in Computer Science, Vol 1090, Springer-Verlag Publishers. An extended version of this paper will appear in the International Journal of Foundations of Computer Science)

    1995

  • Pedro Diniz, Steve Plimpton, Bruce Hendrickson and Robert Leland, "Parallel Algorithms for Dynamically Partitioning Unstructured Grids", In Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, pp. 615-620, San Francisco, CA, February, 1995.

  • Tao Yang, Pedro Diniz, Apostolos Gerasoulis and Vivek Sarkar, "Scheduling Iterative Task Computation of Message-Passing Architectures", In Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, pp. 581-586, San Francisco, CA, February, 1995.

  • Pedro Diniz and Tao Yang, "Efficient Parallelization of Relaxation Iterative Methods for Solving Banded Linear Systems on Multiprocessors", In Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, pp. 490-491, San Francisco, CA, February, 1995.