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
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.
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.
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
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.
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)
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.
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.
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.
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.
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.
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)
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.