David A. Padua Department of Computer Science

University of Illinois at Urbana-Champaign 4227 Siebel Center for Computer Science

201 North Goodwin Avenue Urbana, IL 61801 (217) 333-4223 padua@uiuc.edu

Education 1973 Licentiate, Computer Science, Universidad Central de Venezuela.

1980 Ph.D., Computer Science, University of Illinois at Urbana-Champaign.

Employment 2005- Donald Biggar Willett Professor of Engineering. University of Illinois at Urbana-

Champaign. 1995- Professor. Department of Computer Science, University of Illinois at Urbana-

Champaign.

1990-1995 Associate Professor. Department of Computer Science, University of Illinois at Urbana-Champaign.

1989-1993 Associate Director. Center for Supercomputing Research and Development, Uni-versity of Illinois at Urbana-Champaign.

1985-1990 Assistant Professor. Department of Computer Science, University of Illinois at Urbana-Champaign.

1981-1985 Profesor Agregado. Universidad Simon Bolivar. Venezuela.

1979-1981 Visiting Assistant Professor. University of Illinois at Urbana-Champaign.

Awards and Honors 2000 Fellow. Institute of Electrical and Electronic Engineers.

1999 Incomplete List of Teachers Ranked as Excellent by Their Students.

1998 Golden Core Member. IEEE Computer Society.

1995 Best Paper Award. 9th ACM International Conference on Supercomputing.

1992 Xerox Award of Faculty Research. College of Engineering University of Illinois at Urbana-Champaign

1990-1993 Distinguish Visitor. IEEE Computer Society.

Editorial Boards 1992-1996 Editorial Board Member. IEEE Transactions on Parallel and Distributed Systems.

1992-1998 Editorial Board Member. Journal of Programming Languages. Chapman & Hall.

1993-1997 Editor in Chief. International Journal of Parallel Programming. Plenum Press.

1993- Editorial Board Member. Journal of Parallel and Distributed Computing. Aca-demic Press.

1997- Editorial Board Member. International Journal of Parallel Programming. Kluwer Academic/Plenum Publishers.

1998 Guest Editor. IEEE Computational Science & Engineering. Special issue on Lan-guages for Computational Science and Engineering. Volume 5, No. 2.

1998 Guest Editor. Parallel Computing. Volume 24, Numbers 3-4. May 1998.

1998 Editorial Board Member. Wiley Encyclopedia of Electrical and Electronics Engi-neering.

1998- Editorial Board Member. Electronic Journal of the Latin-American Center for Information Studies. http://www.dcc.uchile.cl/~rbaeza/clei/

2005 Guest Editor. Special Issues of the Proceedings of the IEEE on Library generators. February 2005.

Program Committees 1988 Program Committee Member. ACM SIGPLAN Symposium on Parallel Program-

ming. New Haven, Connecticut. July 1988.

1988-2005` Co-organizer. Workshops on Languages and Compilers for Parallel Computing (LCPC) . Cornell University (1988), University of Illinois (1989), University of California, Irvine (1990), Intel Corporation (1991), Yale University (1992), Ore-gon Graduate Institute (1993), Cornell University (1994), Ohio State University (1995), Intel Corporation (1996), University of Minnesota (1997), University of North Carolina (1998), University of California, San Diego (1999), IBM T.J. Watson Research Center (2000), University of Kentucky (2001), University of Maryland (2002), Texas A&M University (2003), Purdue University (2004), IBM T.J.Watson Research Center (2005), New Orleans (2006).

1990 Program Committee Chairman. Second ACM Symposium on Principles and Prac-tice of Parallel Programming. Seattle, Washington, March 1990.

1990 Program Committee Member. CONPAR 90 -VAPP IV. Zurich, Switzerland. Sep-tember 1990.

1990 Program Co-chair. International Conference on Parallel Processing. August 1990.

1991 Program Committee Member. Third ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Williamsburg, Virginia. April 21-24, 1991.

1991 Program Committee Member. ACM/ONR Workshop on Parallel and Distributed Debugging. Santa Cruz, California. May 20-21, 1991.

1992 Program Committee Member. CONPAR 92 - VAPP V. Lyon, France. September 1992.

1992 Program Committee Member. Pacta 92. Barcelona, Spain. September 1992.

1994 Conference Co-Chair. International Conference on Industrial Applications in Par-allel and Distributed Computing. Sponsored by IFIP WG 10.3. Caracas, Venezuela April, 1994

1994 Member of the Advisory Committee Software Technology Track of HICSS-27, Hawaii, 1994.

1994 Program Committee Member, Eight International Parallel Processing Symposium, Cancun, Mexico, April 1994.

1994 Program Committee Member. CC’94. International Conference on Compiler Con-struction. Edinburgh, United Kingdom.

1994 Conference Chair.IEEE Symposium on Parallel and Distributed Processing. December 1994.

1994 Program Committee Member, CONPAR94/VAPP VI. Linz, Austria. September 6- 8, 1994.

1995 Member of the Advisory Committee Software Technology Track of HICSS-28, Hawaii, 1995.

1995 Program Committee Member. Aizu International Symposium on Parallel Algo-rithm/Architecture Synthesis. Aizu-Wakamatsu, Japan, March 16-17, 1995

1995 Program Committee Member. International Conference on high Performance Computing. Goa, India. December 1995.

1995 Program Committee Member. Seventh IEEE Symposium on Parallel and Distributed Processing. San Antonio, Texas. October 1995.

1995 Program Committee Member. Euromicro 95 Workshop on Parallel and Distributed Processing.

1995 Program Committee Chairman. Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Santa Barbara, California, 1995.

1996 Program Committee Member. 10th International Parallel Processing Symposium. April 15-19, 1996. Honolulu, Hawaii.

1996 Program Committee Member. International Conference on Parallel Processing. August 12-16, 1996. Bloomingdale, Illinois.

1996 Program Committee Member. 8th IEEE Symposium on Parallel & Distributed Computing. New Orleans, Oct 23-25, 1996.

1996 Program Committee Member. 10th Annual International Conference on High Per-formance Computers. June 5-7 1996. Ottawa, Canada.

1996 Program Committee Member. Third International Conference on High Performance Computing. Trivandrum, India. December 19-22., 1996.

1997 Program Committee Member. Second Aizu International Symposium on Parallel Algorithms/Architectures Synthesis. Aizu-Wakamatsu, Japan, May 17-21, 1997.

1997 Program Committee Member. Euromicro 97 Workshop on Parallel and Distributed Processing.

1997 Program Committee Member. Fourth International Conference on High Perfor-mance Computing. India. December 1996.

1997 Minisymposium Organizer: Trends in Languages and Compilers for Parallel Computing. Eighth SIAM Conference on Parallel Processing for Scientific Computing. March 14, 1997.

1998 Vice-Chairman for Software. International Parallel Processing Symposium. Orlando, FL. 1998

1999 Vice-Chairman for Compilers. International Conference on Parallel Processing. 1999.

1999 Program Committee Member. ACM 1999 Java Grande Conference. Palo Alto, California. June 1999.

2000 Program Committee Member. International Conference on Parallel Processing. Toronto. 2000.

2000 Program Committee Member. 13th International Conference on Parallel and Dis-tributed Computing Systems. Las Vegas 2000.

2000 Program Committee Member. Fifth Workshop on languages, Compilers, and Run- Time Systems for Scalable Computers. Rochester, NY, March 25-27, 2000.

2000 Program Committee Member. Simposio Brasileiro de Arquitetura de Computado-res e Processamento de Alto Desempenho. Sao Paulo. Brazil. Oct. 24-27. 2000.

2000 Vice Chairman for Software. International Conference on High Performance Computing. India. December 2000.

2001 Program Committee Member. International Conference on Parallel Architectures and Compilation Techniques. September 8-12, 2001 Barcelona, Spain.

2002 Program Committee Member. International Parallel and Distributed Processing Symposium. Ft.Lauderdale April 15-19, 2002.

2002 Program Committee Member. Simposio Brasileiro de Arquitetura de Computado-res e Processamento de Alto Desempenho. Vitoria. Brazil. Oct. 28-30. 2002.

2002 Program Committee Member. 16th annual International Conference on Supercomputing (ICS). New York City. June 2002.

2003 Member. 17th Annual International Conference on Supercomputing (ICS). San Francisco, CA. June 2003.

2003 Member. 2003 International Conference on Parallel Processing. Kaohsiung, Taiwan. October 6-9 2003.

2004 Member. 2004 International Conference on Parallel Processing. Montreal, Canada. August 2004.

2004 Member. Conference on Parallel Architectures and Compilation Techniques. France. 2004.

2005 Member. 17th International Conference on Parallel and Distributed Computing Systems PDCS-2004. September 15-17, 2004, San Francisco, CA USA.

2006 Member. 13th Euromicro Conference on Parallel, Distributed and Network-based Processing. Lugano, Switzerland, February 9-11. 2005

2007 Member. First Workshop on Statistical and Machine learning approaches applied to architectures and compilation (SMART '07). Ghent, Belgium. January 2007.

2007 Member. ACM International Conference on Computing Frontiers. Ischia, Italay. May 2007.

2007 Member. Supercomputing 07. Reno, Nevada. Novemeber 2007.

University Committees

1997-2001 Science Steering Committee. Center for the Simulation of Advance Rockets.

1997-2000 Advisory Committee. Department of Computer Science (Elected).

1999-2002. College of Engineering Executive Committee (Elected). Secretary (Elected) 2000- 01. Chair (Elected) 2001-02

2000 Search Committee, Dean of the College of Engineering.

2000 Search Committee for Associate Dean for Administrative Affairs. College of Engineering.

2001-2002 College of Engineering Promotions and Tenure Committee. Chair 2001-02

2001 Search Committee for Head of the Department of Computer Science.

2004-2007 Member of the Campus Research Board.

Other Committees 1999 Member of the Panel to Evaluate Electrical Engineering and Informatics

Research Centers. Minister of Science and Technology, Portugal. December 1999.

2000 External Reviewer of the Computer Science and Computer Engineering Program. American University of Beirut. January 2000.

2000 External Ph.D. Thesis Committee Member. University of Malaga, Spain. April 2000.

2001 External Ph.D. Thesis Committee Member. Leiden University, The Netherlands. December 2001.

2001-2003 Chair, Advanced Parallelizing Compiler Project - International Cooperation Committee. METI, Japan. 2001-2003.

2001- Chair. Steering Committee of ACM SIGPLAN’s Symposium on Principles and Practice of Parallel Programming. 2001-

2002- Member. Steering Committee of the Workshop on Compilers for Parallel Computing (CPC) 2002-

2002 Member of the Ramon y Cajal Panel. Spanish Foundation for Science and Tech-nology. Madrid June 2002.

2003 External Ph.D. Thesis Committee Member. University of A Coruna. Spain.

2004 Member of review committee of the Computer Science research programs of the University of Leiden and Delft University of Technology.

2004 External PhD Thesis Committee member. ETH Zurich.

2005 External PhD Thesis Committee Member. University of Alberta. Canada

2006 External PhD Thesis Committee Member. Linköping University. Sweden.

Invited Lectures/Panels Panel on Parallelization. International Conference on Parallel Processing St. Charles, Illinois. August 1989.

Panel on Programming Environments. COMSAC 89. Orlando, Florida. September, 1989.

Analysis of Parallel Programs. Rice University Workshop. April 1990.

Problem Solving Environments. IBM Europe Institute. July 1990.

Panel on Supercomputing Applications. International Conference on Parallel Processing. August 1990.

Problem Solving Environments. Fifth International Symposium on Biological and Artificial Intelligence Systems. Rome. September 2-6, 1990.

Problem Solving Environments. Istituto di Cibernetica, Consiglio Nazionale delle Riserche. Arco Felice, Italy. September 10-11, 1990.

Program Parallelization. Universitat Polytecnica de Barcelona. Spain. September, 1990.

The Cedar Parallel Processor. Purdue University. Department of Electrical Engineering. Septem-ber 27, 1990.

Problem Solving Environments. InfoJapan ‘90. Tokyo, Japan. October 4, 1990.

Panel on Trends in Parallel Computers. InfoJapan‘90. Tokyo, Japan. October 3, 1990.

The Cedar Parallel Processor. Waseda University. Tokyo. October 5, 1990.

Program Parallelization. Electrotechnical Laboratory. Tsukuba, Japan. October 8-9, 1990.

Experiments in Parallelization. Cornell University. April 16, 1991.

Experiments in Parallelization. Second Annual OSU Workshop on Parallel Computing. March 28-29, 1991.

Experiments in Parallelization. NSF-NCRD Workshop on Advanced Compilation Techniques for Novel Architectures. Kiryat-Anavim, Israel. May 27-29, 1991.

Experiments in Parallelization. Universitat Polytecnica de Barcelona. Spain. June 3, 1991.

Parallelization Techniques. University of Western Ontario. London, canada. September 1991.

Using the dataflow model of computation to evaluate compilers. Workshop on Data Flow Com-puting. Australia. May 1992.

Tutorial on Parallelizing Compilers. The Leonardo Fibonacci Institute. Trento, Italy. June29-July 3, 1992.

Evaluation of Parallelizing Compilers. Keynote address. Third Workshop on Compilers for Parallel Computers. Vienna. July 1992.

Evaluation of Parallelizing Compilers. Carnegie Mellon University. September 1992.

Evaluation of Parallelizing Compilers. Keynote address. PACTA ‘92. Barcelona, Spain. Septem-ber 1992.

Languages and Compilers for Parallel Computing. Tutorial presented at the IV Brazilian Sympo-sium on Computer Architecture. Sao Paulo. Brazil. October 1992

Evaluation of Parallelizing Compilers. University of Iowa, February 1993.

Evaluation of Parallelization Techniques. Keynote Address. Euromicro Workshop on Parallel and Distributed Processing. January 1994.

Tutorial on Compilers for Parallel Computers. IEEE/USP Workshop on High Performance Com-puting. Sao Paulo Brazil. March 1994.

Tutorial on Compilers for Parallel Computers. IFIP WG10.3 Working Conference on Applica-tions in Parallel and Distributed Computing. Caracas, Venezuela. April 1994.

Automatic Detection of Parallelism. University of Santiago, Spain. May 1994.

The Polaris Project. University of Vienna. April 1994.

Automatic Detection of Parallelism. University of Malaga. Spain. May 1994.

The Polaris Project. SGI Compiler Summit. July 1994.

Experience with the Polaris Restructurer. Purdue University. November 1994.

Trends in Compiler Technology for Parallel Computers. International Conference on Parallel Architectures and Compilation Techniques (PACT’95). Cyprus, June 1995.

Languages and Compilers for Parallel Programming. Summer Course of the Universidad Com-plutense. Almeria. Spain. July 1995.

Multiprocessor Compilers. University of Toronto. December 1995.

Parallel Programming: The Next Generation. International Conference on Supercomputing. May 1996.

Experience with the Polaris Restructurer. IBM T.J. Watson Research Center. July 1996.

Experience with the Polaris Restructurer. ICPP Workshop. August 1996.

Compiler Techniques for Multiprocessors and the Polaris Restructurer. Dagstuhl Seminar on Loop Parallelization. April 1996.

Experience with the Polaris Restructurer. Wayne State University. January 1997.

Panel on Future Trends in Software Support for Parallel Computation. Eighth SIAM Conference on Parallel Processing for Scientific Computing. March 14, 1997.

Panel Moderator. Of libraries and languages. International Conference on Parallel Processing. August 1997.

Advances in Automatic Parallelization. Academia Sinica, National Sun Yat-Sen University, National Dong Hwa University, and National Chiao Tung University, Taiwan. March 1998.

Parallel Programming Today. Keynote Speech. Fourth Workshop on Compiler Techniques for High-Performance Computing. Feng Chia University. Taiwan.

Advances in Automatic Parallelization. Waseda University. Japan. May 1998.

Lectures on Parallel Programming. Universidad de La Coruna. Spain. June 1988.

Compiling for Scalable Shared Memory Machines. Seventh International Workshop on Compil-ers for Parallel Computers. Linkoping, Sweden, June 1998.

Tutorial on Parallel Programming. Curso de Verano. Universidad Complutense. Madrid. Spain June, 1999.

Compiler Technology and Scientific Computing. Lawrence Livermore Laboratory. February 2000.

Keynote Talk. Sixth Workshop on Compiler Techniques for High Performance Computing. Kaohsiung, Taiwan. March 2000.

Compiler Technology and Scientific Computing. University of Delaware, April 2000, Purdue University, October 2000. Michigan State University, October 2000. University of Cincinnati, October 2000. Texas A & M University, February 2001.

Compiler Technology for Linear Algebra Languages. Northwestern University. May 2000.

In Search of Parallelism. Waseda University. September 2001. University of Illinois. October 2001. KAI/Intel. October 2001.

Panel Moderator. Whatever happened to automatic parallelization ? International Parallel and Distributed Processing Symposium (IPDPS 2002). April 2002 Compilers for High-Level Specification Systems. Invited Talk at Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL-02) held in conjunction with the 16th Annual ACM International Conference on Supercomputing (ICS'02) June 2002.

Empirical Search and Architectural Models in Program Generation and Optimization. University of Rochester. Nov 2002.

Empirical Search and Architectural Models in Program Generation and Optimization. University of A Coruna. Spain. March 2003.

Automatic Detection of Parallelism and the APC Project. Keynote Presentation. International Symposium on Advanced Parallelizing Compiler. Tokyo, Japan, March 2003

Panel on Parallel Programming. Workshop on Languages and Compilers for Parallel Computing. Texas A&M October 2003. Automatic Detection of Parallelism. University of A Coruna. Spain. June 2005. Library generators. Workshop on automatic tuning of whole applications. LACSI October 2005. Library generators. INRIA Futurs. France. June 2005. Chair. Panel on Program Optimization. HPC-Asia2005/NPC 2005/GCC 2005. December 2005. Beijing. Automatic Detection of Parallelism. Waseda University. Japan, December 2005. Parallel programming with hierarchically tiled arrays. Linköping University. June 2006. Program Analysis and Synthesis for Parallel Computing. EDGE Workshop. University of North Carolina. May 2006. Program Optimization. Week-long course. Second International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems. Italy. July 2006. Automatic Library Generation. Universidad Central de Venezuela. July 2006. Panel on multicore systems. IPDPS 2007.

Ph.D. Students Luddy Harrison. The Interprocedural Analysis and Automatic Parallelization of Scheme Pro-grams. May 1989. (Associate Professor. University of Illinois at Urbana-Champaign).

Samuel Midkiff. The Dependence Analysis and Synchronization of Parallel Programs. January 1992. (Associate Professor. Purdue University)

Sanjoy Ghosh. Automatic Detection of Nondeterminacy and Scalar Optimizations in Parallel Programs.October 1992. (Sun Microsystems, CA)

David Sehr. Automatic Parallelization of Prolog Programs. August 1992. (Intel Corporation, Santa Clara CA)

Paul Petersen. Evaluation of Programs and Parallelizing Compilers Using Dynamic Analysis Techniques. January 1993. (Intel)

Peng Tu. Automatic Array Privatization and Demand Driven Symbolic Analysis. May 1995. (Intel)

Lawrence Rauchwerger. Run Time Parallelization: A Framework for Parallel Computation. May 1995. (Professor. Texas A&M University).

Luiz De Rose. Compiler Techniques for MATLAB Programs. May 1996. (Cray Inc., MN).

William Pottenger. Theory, Techniques, and Experiments in Solving Recurrences in Computer Programs. May 1997. (Assistant Professor. Lehigh University)

Yunheung Paek Compiling for Distributed Memory Multiprocessors Based on Access Region Analysis. May 1997. (Seoul National University).

Jay Hoeflinger. Interprocedural Parallelization Using Memory Classification Analysis. August, 1998. (Intel).

Jaejin Lee. Compilation Techniques for Explicitly Parallel Programs. August 1999. (Seoul National University).

Yuan Lin. Compiler Analysis of Sparse and Irregular Computations. March 2000. (Sun Microsystems, CA)

George Calin Cascaval. Compile Time Performance Prediction of Scientific Programs. June 2000. (IBM T.J. Watson Research Center)

Peng Wu. Analyses of Pointers, Induction Variables, and Container Objects for Dependence Testing. May 2001. (IBM T.J. Watson Research Center)

George Almasi. MaJIC: a MATLAB just-in-time compiler. June 2001. (IBM T.J. Watson Research Center)

Jianxin Xiong. Automatic Optimization of DSP Algorithms. September 2001. (Intel).

Jiajing Zhu. Programming and Compiling for Distributed Architectures. September 2002. (Microsoft Incubation Group)

Zehra Sura. Analyzing Threads for Shared memory Consistency. October 2004. (IBM T. J. Watson Research Center).

Chi Leung David Wong. Thread Escape Analysis for a Memory Consistency Model Aware Compiler. January 2005. (Intel)

Shengang Cong. A Sampling-Based Framework for Parallel Mining Frequent Patterns. February 2006. (Intel)

Xiaoming Li. Machine Learning Techniques for Code Generation and Optimization. July 2006. (Assistant Professor. University of Delaware)

Research Grants Software Studies for Multiprocessors and Memory Hierarchies. NSF. 1986-1987. $150,000. (Co-PI) Other Principal Investigators: D. Kuck, D. Lawrie, and P. Yew.

Parafrase Research. 1986-1987. IBM. $49,930. (Co-PI) Other Principal Investigators: D. Kuck and D. Lawrie

Supercomputer Environments. 1986-1989. $2,509,569. (Co-PI) AFOSR. Other Principal Investigators: D. Kuck, D. Lawrie, and A. Sameh

Parallel Processing Research and Development. 1990-1993. (Co-PI) $6,048,707. DOE. Other Principal Investigators: D. Kuck, D. Lawrie, A. Sameh, and G. Cybenko.

New Generation Parallelizing Compilers. 1992-1995. $1,656,961. ARPA. (PI) Other PIs: R. Eigenmann.

Compiler Research Supplement. 1993-1996. $90,000. ARPA. (PI) Other PIs: R. Eigenmann.

Run-Time Techniques for Parallelizing Compilers. 1994-1997. $66,000. (PI) NASA.

The Polaris Restructuring Compiler. 1995-1998. $1,192,512. ARPA. (PI) Other PIs: R. Eigenmann and J. Torrellas.

An Integrated, Language-Directed Performance Prediction, Measurement and Analysis Environ-ment 1997-2000, $1,880,439. DARPA. (Co-PI) Other Principal Investigators: D. Reed, D. Gannon, B. Miller, I. Foster.

Getting to the Bottomline in COMA Research: The Illinois Aggressive COMA Multiprocessor. 05/1/97 - 04/30/99. $455,000. NSF. (Co-PI) Other PIs: Josep Torrellas.

MATLAB Extensions and Compiler Techniques for High-Performance Computing. 01/01/99 - 12/31/01. $395,607. NSF. (PI) Other PIs: K. Pingali (Cornell).

Automatic Implementation of Signal Processing Algorithms. 06/30/98 - 06/09/02. $3,500,000. DARPA. (Co-PI) Other PIs: J. Moura (CMU), M. Veloso (CMU), V. Prasanna (USC), R. Johnson (MathStar) J. Johnson (Drexel).

Simulation and Optimization of Casting and Extrusion Processes. 10/1/98 - 9/30/01. $2,210,851. NSF. (Co-PI) Other PIs. R. Haber, and J. Sullivan.

IBM Partnership Award. 8/1/96 - 7/31/99. $110,000. IBM Research.

An Optimizing Compiler for Languages with Programmable Memory Models. 9/1/00-8/31/03. $490,000. NSF. (PI) Other PIs: Sam Midkiff (IBM Research), Jaejin Lee (Michigan State).

FlexRAM: An Advanced Intelligent Memory System. 8/1/00-7/31/05.$1,895,683. NSF. (Co-PI) Other PIs: J. Torrellas and D. Reed.

A New Framework for Program Optimization. 9/1/01-8/31/04. $1,800,000. NSF. (PI) Other PIs: J. DeJong and K. Pingali (Cornell).

An OpenMP Environment for Wide-Area Networked Computing. 9/1/01-8/31/04. $700,000. NSF. (PI) Other PIs: J. Torrellas and R. Eigenmann (Purdue).

Intelligent SW/HW for DSP Applications. 9/1/03-/8/81/07. $1,400,000. NSF. (Co-PI) Other PIs Jose M. Moura, James Hoe, Jeremy R. Johnson, Markus Pueschel (Carnegie Mellon)

Compiler Analysis for Portability Across Memory and Consistency Models. $300,000. (Co-PI) NSF. 9/1/03-8/31/06. Other PIs: Sam Midkiff (Purdue).

High Productivity Computing Systems. Phase II. 9/1/03-8/31/06. $3,500,000. DARPA (Subcontract from IBM). (Co-PI) Other PIs: Josep Torrellas and Marc Snir.

Intelligent SW/HW Compilers for signal processing applications. 2005-2007. $2,000,000. DARPA (Co-PI) Other PIs: Jose Moura, Markus Pueschel, James Hoe (CMU).

Library Generators for Advanced Execution Systems. 7/11/05-7/10/08. $400,000, NSF (PI).

Publications

Articles in Journals

[PaKL80] D. A. Padua, D. J. Kuck and D. H. Lawrie. High-Speed Multiprocessors and Compilation Techniques. Special Issue on Parallel Processing, IEEE Trans. on Computers, Vol. C-29, No. 9, pp. 763-776, Sept., 1980.

[CLYP81] P-Y. Chen, D. H. Lawrie, P-C. Yew and D. A. Padua. Interconnection Networks Using Shuffles. Special Issue on Interconnection Networks, Computer, Vol. 14, No. 12, pp. 55-64, Dec., 1981.

[AbPa82] W. Abu-Sufah and D. A. Padua. Some Results on the Working Set Anomalies in Numerical Programs. IEEE Trans. on Software Eng., Vol. SE-8, No. 2, pp. 97- 106, Mar., 1982.

[GPKK82] D. D. Gajski, D. A. Padua, D. J. Kuck and R. H. Kuhn. A Second Opinion on Dataflow Machines and Languages. Special Dataflow Issue, Computer, Vol. 15, No. 2, pp. 58-69, Feb., 1982.

[YePL82] P-C. Yew, D. A. Padua and D. H. Lawrie. Stochastic Properties of a Multiple- Layer Single-Stage Shuffle-Exchange Network in a Message Switching Environ-ment. Journal of Digital Systems, Vol. VI, No. 4, pp. 387-410, Winter, 1982.

[PaWo86] D. Padua and M. Wolfe. Advanced Compiler Optimization for Supercomputers. CACM, Vol. 29, No. 12, pp. 1184-1201, December, 1986.

[MiPa87] S. Midkiff and D. A. Padua. Compiler Algorithms for Synchronization. IEEE Trans. on Computers, Vol. C-36, No. 12, pp. 1485-1495, December 1987.

[KaPS88] L. Kale, D. Padua and D. Sehr. OR-Parallel Execution of Prolog Programs with Side Effects. Journal of Supercomputing, Vol. 2, pp. 209-223, 1988.

[Padu88] D. A. Padua. The Cedar Parallel Processor: Machine Organization and Soft-ware. Speedup, Vol. 2, No. 1, January 1988.

[PoKP89] C. D. Polychronopoulos, D. J. Kuck and D. A. Padua. Utilizing Multidimen-sional Loop Parallelism on Large-Scale Parallel Processor Systems. IEEE Trans. on Comp., Vol. 38, No. 9, pp. 1285-1296, September 1989.

[GPHL90] M. D. Guzzi, D. A. Padua, J. P. Hoeflinger and D. H. Lawrie. Cedar Fortran and Other Vector and Parallel Fortran Dialects. Jour. of Supercomputing, Vol. 4, No. 1, pp. 37-62, March 1990.

[EmGP92] P. Emrath, S. Ghosh and D. Padua. Detecting Nondeterminacy in Parallel Pro-grams. IEEE Software,Vol. 9, No. 1, pp. 69-77, January 1992.

[Padu92] D. Padua. Problem-Solving Environments for Parallel Computers. Future Gen-eration Computer Systems, Vol. 7, pp. 12-29, North Holland Elsevier Science Publishers,1991/92. Same as[Padu90].

[BENP93] U. Banerjee, R. Eigenmann, A. Nicolau, and D. Padua. Automatic Program Parallelization. Proceedings of IEEE, Vol. 81, No. 2, February 1993.

[EHJL93] R. Eigenmann, J. Hoeflinger, G. Jaxon, Z. Li, and D. Padua. Restructuring For-tran Program for Cedar. Concurrency: Practice and Experience. Vol. 5, No. 7, pp. 553-573. October 1993. Revised version of[EHJL91].

[BHEP94] W.Blume, J. Hoeflinger, R. Eigenmann, D. Padua, P. Petersen, and P. Tu. Auto-matic Detection of Parallelism: A Grand Challenge for High-Performance Computing, IEEE Parallel and Distributed Processing Technology. Vol. 2, No. 3, Fall 1994.

[FWHP94] K. Faigin, S. Weatherford, J. Hoeflinger, D. Padua, and P. Petersen. The Polaris Internal Representation, International Journal of Parallel Programming. Vol. 22, No. 5, October 1994.

[Padu96] D. Padua. Outline of a Roadmap for Compiler Technology. Computational Sci-ence and Engineering. Vol. 3, No. 3, pp. 65-66, Fall 1996.

[PePa96] P. Petersen and D. Padua. Static and Dynamic Evaluation of Data Dependence Analysis Techniques. IEEE Transactions on Parallel and Distributed Systems. Vol. 7, No. 11, pp. 1121-1132, Nov. 1996.

[BDEG96] W. Blume, R. Doallo, R. Eigenmann, J. Grout, J. Hoeflinger, T. Lawrence, J. Lee, D. Padua, Y. Paek, W. Pottenger, L. Rauchwerger, and P. Tu. Parallel Pro-gramming with Polaris. IEEE Computer, Vol. 29, No. 12, pp 78-82, Dec. 1996.

[PaPa97] Y. Paek and D. Padua. Compiling for Scalable Multiprocessors with Polaris. Parallel Processing Letters. Vol. 7, No. 4, 1997.

[EiHP98] R. Eigenmann, J. Hoeflinger, and D. Padua. On the Automatic Parallelization of the Perfect Benchmarks. IEEE Transactions on Parallel and Distributed Systems. Vol. 9, No. 1, pp. 5-23, Jan. 1998.

[LeMP98] J. Lee, S. Midkiff, and D. Padua. A Constant Propagation Algorithm for Explic-itly Parallel Programs. International Journal of Parallel Programming. Vol 26, No. 5, pp. 563-589, 1998.

[RaPa99] L. Rauchwerger and D. Padua. Run-Time Parallelization Techniques. IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 2, pp. 160-180, February 1999.

[DePa99] L.DeRose and D. Padua. Techniques for the Translation of MATLAB Programs into Fortran 90. ACM Transactions on programming Languages and Systems (TOPLAS)., Vol. 21, Issue 2, pp. 286-323, March 1999.

[LiPa99a] Y. Lin and D. Padua. Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis. Concurrency: Practice and Experience (special issue for Irregular'99), Vol. 12, No. 2-3. pp. 125-135. ISSN:1040-3108, Wiley.

[LiPa99b] Y. Lin and D. Padua. On the Automatic Parallelization of Sparse and Irregular Fortran Programs. Scientific Programming, 7(1999), pp. 231-246. ISSN 1058- 9244, IOS Press.

[Padu00] D.A. Padua. The Fortran I Compiler. Computing In Science and Engineering. Vol. 2, No. 1, pp 70-75, January 2000.

[WuPa00] P.Wu and D. Padua. Containers and the Parallelization of General-Purpose Java Programs. International Journal of Parallel Programming. Vol. 28, No. 6, pp. 589-605, December 2000.

[LePa01] J. Lee and D. Padua. Hiding Relaxed Memory Consistency with a Compiler. IEEE Transactions on Computers. Vol. 50, No. 8, pp. 824-833, August 2001.

[PaHP02] Y. Paek, J. Hoeflinger, and D. Padua. Efficient and Precise Array Access Analy-sis. ACM Transactions on Programming Languages and Systems (TOPLAS). Vol. 24, Issue 1, pp. 65-109, January 2002.

[PNZH02] Y. Paek, A. Navarro, A. Zapata, J. Hoeflinger, and D. Padua. An Advanced Compiler Framework for Non-Cache-Coherent Multiprocessors. IEEE Transactions on Parallel and Distributed Systems, Vol. 13, No. 3, pp. 241-259, March 2002.

[NaZP03] A. Navarro, E. Zapata, and D. Padua. Compiler techniques for the Distribution of Data and Computation. IEEE Transactions on Parallel and Distributed Systems, Vol. 14, No. 6 pp. 545-562, June 2003.

[PSXM04] M. Püschel, B. Singer, J. Xiong, J. Moura, J. Johnson, D. Padua, M. Veloso, and R. W. Johnson. SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms. To appear: Journal of High Performance Computing and Applications. 2004.

[MiLP04] S.P. Midkiff, J. Lee, and D. Padua. Automatic Implementation of Programming Language Consistency Models. Concurrency and Computation: Practice and Experience. Volume 16, Issue 2-3, February - March 2004, pp. 109-318.

[PSXM04] M. Püschel, B. Singer, J. Xiong, J. Moura, J. Johnson, D. Padua, M. Veloso, and R. W. Johnson. SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms. International Journal of High Performance Computing and Applications, pp. 21-45, February 2004.

[PMJP05] M. Püschel, J. Moura, J. Johnson, D. Padua, M. Veloso, B. Singer, J. Xiong, F. Franchetti, A. Gacic, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. SPIRAL: Code Generation for DSP Transforms. Proceedings of the IEEE special issue on "Program Generation, Optimization, and Platform Adaptation”. Vol. 93, No. 2, pp. 232-275. February 2005.

[YLRG05] K. Yotov, X. Li, G. Ren, M. Garzaran, D. Padua, K. Pingali, P. Stodghill. Is Search Really Necessary to Generate High-Performance BLAS? Proceedings of the IEEE special issue on "Program Generation, Optimization, and Platform Adaptation”. Vol. 93, No. 2, pp. 358-386. February 2005.

[CDGH06] Albert Cohen, Sebastien Donadio, María Jesús Garzarán, Cristoph Herrmann, Oleg Kiselyov, and David Padua. In search of a program generator to implement generic transformations for high-performance computing. Science of Computer Programming, 2006. Accepted for publication.

Articles in Conferences

[KuPa79] D. J. Kuck and D. A. Padua. High-Speed Multiprocessors and Their Compilers. Proc. of the 1979 Int’l. Conf. on Parallel Processing, pp. 5-16, Aug., 1979.

[LaPa80] D. H. Lawrie and D. A. Padua. Analysis of Message Switching with Shuffle- Exchanges in Multiprocessors. Proc. of the Workshop on Interconnection Net-works for Parallel and Distributed Processing, pp. 116-123, April, 1980.

[GaKP81] D. D. Gajski, D. J. Kuck and D. A. Padua. Dependence Driven Computation. Proc. of the COMPCON 81 Spring Computer Conf., pp. 168-172, Feb., 1981.

[KKPL81] D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure and M. Wolfe. Dependence Graphs and Compiler Optimizations. Proc. of the 8th ACM Symp. on Principles of Programming Languages (POPL), pp. 207-218, Jan., 1981.

[KPSW82] D. J. Kuck, D. A. Padua, A. Sameh, and M. J. Wolfe. Languages and High-Per-formance Computations. Proceedings of the IFIP Working Conference on the Relationship Between Numerical Computation and Programming Languages. Boulder, Colorado. 1982.

[HaPa86] W. L. Harrison III and D. A. Padua. Representing S-Expressions for the Efficient Evaluation of Lisp on Parallel Processors. Proc. of the 1986 Int’l. Conf. on Parallel Processing, St. Charles, IL, pp. 703-710, Aug. 19-22, 1986.

[MiPa86] S. P. Midkiff and D. A. Padua. Compiler Generated Synchronization for DO Loops. Proc. of the 1986 Int’l. Conf. on Parallel Processing, St. Charles, IL, pp. 544-551, Aug. 19-22, 1986.

[PoKP86] C. D. Polychronopoulos, D. J. Kuck and D. A. Padua. Execution of Parallel Loops on Parallel Processor Systems. Proc. of the 1986 Int’l. Conf. on Parallel Processing, St. Charles, IL, pp. 519-527, Aug. 19-22, 1986.

[AlPa87] T. R. Allen and D. A. Padua. Debugging Parallel Fortran on a Shared Memory Machine. Proc. of 1987 Int’l. Conf. on Parallel Processing, St. Charles, IL, pp. 721-727, August 19-22, 1987.

[PaGL87] D. A. Padua, V. A. Guarna Jr. and D. H. Lawrie. Supercomputer Programming Environments. Proc. of Symp. on Parallel Computations and Their Impact on Mechanics, Boston, MA, pp. 55-79, December 1987.

[EmPa88] P. Emrath and D. Padua. Automatic Detection of Nondeterminacy in Parallel Programs. Proc. of ACM SIGPLAN/SIGOPS Workshop on Parallel & Distrib-uted Debugging, Madison, WI, pp. 89-99, May 1988.

[GKPR88] M. M. Gooley, L. V. Kale, D. A. Padua, B. Ramkumar, U. S. Reddy, D. C. Sehr, W. W. Shu and B. W. Wah. Prolog at the University of Illinois. Proc. of COMP-CON ‘88, pp. 68-73, 1988.

[GPHL88] M. D. Guzzi, D. A. Padua, J. P. Hoeflinger and D. H. Lawrie. Cedar Fortran and Other Vector and Parallel Fortran Dialects. Proc. of Supercomputing ‘88, pp. 114-121, March 1988.

[HaPa88] W. L. Harrison III and D. A. Padua. PARCEL: Project for the Automatic Restructuring and Concurrent Evaluation of Lisp. Proc. of 1988 Int’l. Conf. on Supercomputing, St. Malo, France, pp. 527-538, July 1988.

[HuKP88] H. Husmann, D. Kuck and D. Padua. Automatic Compound Function Definition for Multiprocessors. Proc. of 1988 Int’l. Conf. on Parallel Processing, St. Charles, IL, pp. 34-41, August 1988.

[EmGP89] P. Emrath, S. Ghosh and D. Padua. Event Synchronization Analysis for Debug-ging Parallel Programs. Proc. of Supercomputing ‘89, Reno, Nevada, Novem-ber 1989.

[EmPY89] P. Emrath, D. Padua and P-C. Yew. Cedar Architecture and Its Software. Proc. of Hawaii Int’l. Conf. on System Sciences (January 1989), 1989.

[Padu89] D. Padua. Problem Solving Environments. Proc. 13th Annual Int’l. Computer Software & Applications Conference, Orlando, FL, pp. 116-117, September 1989.

[EHJP90] R. Eigenmann, J. Hoeflinger, G. Jaxon and D. Padua. Cedar Fortran and Its Compiler. Proc. of the Joint Conf. on Vector and Parallel Processing, Zurich, Switzerland, Lecture Notes in Computer Science. No. 457, pp. 288-300, January 1990.

[MiPa90] S. Midkiff and D. Padua. Issues in the Compile- Time Optimization of Parallel Programs. Proc. of Int’l Conf. on Parallel Processing 1990, Vol. II, pp. 105-113, August 1990.

[Padu90] D. Padua. Problem-Solving Environments for Parallel Computers. Invited Paper, Proc. of the InfoJapan’90 Computer Conference, Part 1, pp. 323-330, October 1990.

[SeKP91] D. Sehr, L. Kale and D. Padua. Fortran-Style Transformations for Functional Programs. Proceedings of ICPP`91, St. Charles, IL (Aug. 12-16, 1991), vol. II, pp. 282-283, August 1991.

[EHJL91] R. Eigenmann, J. Hoeflinger, G. Jaxon, Z. Li, and D. Padua. Restructuring For-tran Program for Cedar. Proceedings of ICPP`91, St. Charles, IL (Aug. 12-16, 1991), vol. 1, pp. 57-66, August 1991.

[MiPa91] S. Midkiff and D. Padua. A Comparison of Four Synchronization Optimization Techniques. Proceedings of ICPP`91, St. Charles, IL (Aug. 12-16, 1991), vol. II, pp. 9-16, August 1991.

[TuPa92] P. Tu and D. Padua. Array Privatization for Shared and Distributed Memory Machines. Proceedings of the 2nd Workshop on Languages, Compilers, and

Run-Time Environments for Distributed Memory Machines, Boulder, CO, Sept. 30 - Oct. 2, 1992. SIGPLAN NOTICES, January 1993.

[KDLP93] D. Kuck, E. Davidson, D. Lawrie, D. Padua, et.al. The Cedar System and an Ini-tial Performance Study. Proceedings of the Int’l. Symposium on Computer Architecture, San Diego, CA, May 17-19, 1993.

[PePa93] P. Petersen and D. Padua. Static and Dynamic Evaluation of Data Dependence. Proceedings of the 7th ACM International Conference on Supercomputing, Tokyo, Japan, July 19-23, 1993.

[RaPa94] L. Rauchwerger and D. Padua. The Privatizing Doall Test: A Run Time Tech-nique for Doall Loop Identification and Array Privatization, Proceedings of the 8th International Conference on Supercomputing. pp. 33-43. July 1994.

[ToKP94] J. Torrellas, D. Koufaty, and D. Padua. Comparing the Performance of DASH and CEDAR Multiprocessors for Scientific Applications. Proceedings of the 1994 International Conference on Parallel Processing. Vol II. pp. 204-208. August 1994.

[DGGM94] L. DeRose, K. Gallivan, E. Gallopoulos, B. Marsolf, and D. Padua. An Environment for the Rapid Prototyping and Development of Numerical Programs and Libraries for Scientific Computation. Proceedings of the DAGS'94 Symposium: Parallel Computation and Problem Solving Environments, Dartmouth College, July 1994.

[DePa94] L. DeRose and D. Padua. An Inference Mechanism for the Compilation of Interactive Array Languages. Proceedings of the IEEE/USP International Workshop on High Performance Computing--Compilers and Tools for Parallel Processing, Sao Paulo, Brazil, 1994.

[EVPJ95] R. Espasa, M. Valero, D. Padua, M. Jiménez and E. Ayguade Quantitative Analysis of Vector Code. In Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press, San Remo, Italy, January 25-27, 1995.

[PaEH95] D. Padua, R. Eigenmann, and J. Hoeflinger. Automatic Program Restructuring for Parallel Computing and the Polaris Fortran Translator. Proceedings of the seventh SIAM Conference on Parallel Processing for Scientific Computing. February 1995.[

RaPa95a] L. Rauchwerger and D. Padua. Parallelizing WHILE Loops for Multiprocessor Systems. Proceedings of the 1995 International Parallel Processing Symposium, pp. 347-356, April 1995.

[RaPa95b] L. Rauchwerger and D. Padua. The LRPD Test: Run- Time Parallelization of Loops with Privatization and Reduction Parallelization. Proceedings of the 1995 ACM Conference on Programming Language Design and Implementation (PLDI 1995), pp. 218-232.

[RaAP95] L. Rauchwerger, N.M. Amato and D. Padua. Run-Time Methods for Paralleliz-ing Partially Parallel Loops. Proceedings of the 9th International Conference on Supercomputing, pp. 137-146, Barcelona, Spain, July 1995.

[TuPa95a] P. Tu and D. Padua. Efficient Building and Placing of Gating Functions. Pro-ceedings of the 1995 ACM Conference on Programming Language Design and Implementation (PLDI 1995), pp. 47-55.

[TuPa95b] P. Tu and D. Padua. Gated-SSA Based Demand-Driven Symbolic Analysis for Parallelizing Compilers. Proceedings of the 9th International Conference on Supercomputing. pp. 414-423, Barcelona, Spain, July 1995.

[DePa96] L. DeRose and D. Padua. Inference Mechanisms for MATLAB Programas. Pro-ceedings of the 10th International Conference on Supercomputing, pp. 309-316, Philadelphia, PA, May 24-28, 1996.

[BEFG96] W. Blume, R. Eigenmann, K. Faigin, J. Grout, J. Lee, T. Lawrence, J. Hoeflinger, D. Padua. Y. Paek, P. Petersen, W. Pottenger, L. Rauchwerger, P. Tu, S. Weatherford. Restructuring Programs for High-Speed Computers with Polaris. Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing. August 12, 1996. pp. 149-161. 1996.

[ToPa96] J. Torrellas and D. Padua. The Illinois Aggressive Coma Multiprocessor project (I-ACOMA). Frontier’s ‘96.

[DePa97] L. DeRose and D. Padua. Benchmarking FALCON’S MATLAB-to-Fortran 90 Compiler on an SGI Power Challenge. IX Simposio Brasileiro de Arquitetura de computadores: Processamento de Alto Desempenho. Campos do Jordao, SP, Brazil. October 1997. pp. 285-299.

[NPZP97] A.Navarro, D. Padua, Y. Paek, and E. Zapata. Performance Analysis for Polaris on distributed Memory Multiprocessors. 3rd Workshop on Automatic Data Lay-out and Performance Prediction. Barcelona, January 1997.

[NPZP97] A. Navarro, Y. Paek, E. Zapata, and D. Padua. Compiler Techniques for Effective Communication on Distributed Memory Multiprocessors. International Conference on Parallel Processing 1997.

[PaPa98] Y. Paek and D. Padua. Experimental Study of Compiler Techniques for Scalable Shared-Memory Machines. 12th International Parallel Processing Symposium. March 1998.

[PaHP98] Y. Paek, J. Hoeflinger, and D. Padua. Simplification of Array Access Patterns for Compiler Optimizations. Proceedings of the 1998 ACM Conference on Pro-gramming Language Design and Implementation (PLDI 1998), pp. 60-71, June 1998.

[PNZP98] Y. Paek, A. Navarro, E. Zapata, D. Padua. On the parallelization of Benchmarks for SSM Machines. International Conference on Parallel Architectures and Compilation Techniques. October 13-17, 1998, Paris, France.

[LiPa99a] Y. Lin and D. Padua. Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis. Proceedings of the 6th International Workshop on Solving Irregularly Structured Problems in Parallel. San Juan, Puerto Rico, April 1999.

[LiPa99b] Y. Lin and D. Padua. Code Study: Automatic Parallelism Detection in Dyfesm. Proceedings of the First Workshop on Parallel Computing for Irregular Applica-tions, Orlando, FL, January 1999.

[LePM99] J. Lee, D. Padua, and S. Midkiff. Basic Compiler Algorithms for Parallel Pro-grams. ACM SIGPLAN 1999 Symposium on Principles and Practice of Parallel Programming, pp. 1-12.

[ALCP99] G. Almasi, C. Cascaval, and D. Padua. MATmarks: A Shared Memory Environ-ment for MATLAB Programming. Proceedings of the 8th IEEE International Symposium on High Performance Distributed Computing (HPDC), pp. 341-342, Redondo Beach, CA, August 1999.

[NAZP99] A. Navarro, R. Asenjo, E.Zapata and D. Padua. Access Descriptor based Local-ity Analysis for Distributed-Shared Memory Multiprocessors. International Con-ference on Parallel Processing. 1999.

[WuPa99] P. Wu and D. Padua. Containers on the Parallelization of General-Purpose Java Programs. International Conference on Parallel Architectures and Compilation Techniques, pp. 84-91, Newport Beach, California, October 12 - 16, 1999

[AlCP00] G. Almasi, C. Cascaval, and D. Padua. MATmarks: Distributed Shared Matlab. Proceedings of the 2nd International Workshop on Software Distributed Shared Memory.Santa Fe NM. March 2000.

[LiPa00a] Y. Lin and D. Padua. Analysis of Irregular Single-indexed Arrays and Its Appli-cations in Compiler Optimizations. Proceedings of the 9th International Confer-ence on Compiler Construction. Berlin, Germany, March 2000.

[LiPa00b] Y. Lin and D. Padua. Compiler Analysis of Irregular Memory Accesses. Proceedings of the 2000 ACM Conference on Programming Language Design and Implementation (PLDI 2000), pp. 157-168, Vancouver, Canada, June 2000.

[LePa00] J. Lee and D. Padua. Hiding Relaxed Memory Consistency with Compilers. International Conference on Parallel Architectures and Compilation Techniques (PACT'00), pp. 111-122, Philadelphia, Pennsylvania, October 15 - 19, 2000

[XiJP01] J. Xiong, J. Johnson, and D Padua. SPL: A Language and Compiler for DSP Algorithms. Proceedings of the 2001 ACM Conference on Programming Lan-guage Design and Implementation (PLDI 2001), pp. 298-308, Snowbird, Utah June 20 - 22, 2001.

[ZhHP01] J. Zhu, J. Hoeflinger, and D. Padua. A Synthesis of Memory Mechanisms for Distributed Architectures. Proceedings of the 15th International Conference on Supercomputing, pp. 13-22, Sorrento, Italy. June 17-21, 2001.

[WCHP01] P. Wu, A. Cohen, J. Hoeflinger, and D. Padua. Monotonic Evolution: An Alternative to Induction Variable Substitution for Dependence Analysis. Proceedings of the 15th International Conference on Supercomputing, pp. 78-9, June 17-21, Sorrento, Italy, 2001.

[EHKP02] R. Eigenmann, J. Hoeflinger, R. Kuhn, D. Padua, A. Basumallic, S.-J. Min, J. Zhu. Is OpenMp for Grids ? NSF Next Generation Systems Program Workshop held in conjunction with IPDPS. April 2002.

[WSFL02] C. Wong, Z. Sura, X. Fang, J. Lee, S. Midkiff, D. Padua. A Compiler Infrastruc-ture for Memory Models. Proceedings of the Sixth International Symposium on Parallel Architectures, Algorithms, and Networks. May 22-24, 2002; Ateneo @ Rockwell Center, Metro Manila, Philippines.

[AlPa02] G. Almasi and D. Padua. MaJIC: Compiling MATLAB for speed and responsiveness. Proceedings of the ACM SIGPLAN'02 Conference on Programming Language Design and Implementation (PLDI 2002), pp. 294-303, Berlin, Germany, June 17-19, 2002.

[WFPZ02] P. Wu, P. Feautrier, D. Padua, and Z. Sura. Instance-wise points-to analysis for loop-based dependence testing.Proceedings of the 2002 International Conference on Supercomputing, pp. 262-273, June 22-26, 2002, New York City.

[YLRC03] K. Yotov , X. Li, G. Ren, M. Cibulskis, G. DeJong, M. Garzaran, D. Padua, K. Pingali, P. Stodghill, and P. Wu. A Comparison of Empirical and Model-driven Optimization. Proceedings of the ACM SIGPLAN'03 Conference Programming Language Design and Implementation (PLDI'03), San Diego, CA, June 2003.

[FFRP03] B. B. Fraguela, P. Feautrier, J. Renau, D. Padua, and J. Torrellas. Programming the FlexRAM Parallel Intelligent Memory System. Proceedings of the ACM SIGPLAN 2003 Symposium on Principles and Practice of Parallel Programming, San Diego, CA, June 2003.

[CaPa03] C. Cascaval and D. Padua. Estimating Cache Misses and Locality using Stack Distances. Proceedings of the 2003 International Conference on Supercomputing. San Francisco, CA. June 2003.

[LiGP04] X. Li, M.J.Garzaran, and D. Padua. A Dynamically Tuned Sorting Library. 2004 Proceedings of the International Symposium on Code Generation and Optimization. March 20-24 2004. San Jose, CA.

[LiGP04] X. Li, M. J.Garzaran, and D. Padua. Optimizing Sorting with Genetic Algorithms.To appear in Proceedings of the 2005 International Symposium on Code Generation and Optimization with special emphasis on feedback-directed and runtime optimization. San Jose, CA. March 2005.

[ReWP05] G. Ren, P. Wu, and D. Padua: An Empirical Study on the Vectorization of Multimedia Applications for Multimedia Extensions. To appear in the

Proceedings of the 19th International Parallel & Distributed Processing Symposium (IPDPS) April 4-8, 2005 in Denver, Colorado.

[SWFM05] Z. Sura, C.-L. Wong, X. Fang, S. P. Midkiff, and D. Padua. Compiler Techniques for High Performance Sequentially Consistent Java Programs. To appear ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming. June 2005.

[CoHP05] S. Cong, J. Han, and D. Padua. A Sampling-based Framework for Parallel Data Mining. To appear ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming. June 2005.

[BGHA06] Ganesh Bikshandi, Jia Guo, Daniel Hoeflinger, Gheorghe Almasi, Basilio Fraguela, María Jesús Garzarán, David Padua, and Christoph von Praun. Hierarchically Tiled Arrays for Parallelism and Locality. To appear in the Workshop on Performance Engineering Technology and Research Sponsored under the NSF Next Generation Software Program, in conjunction with IPDPS, April 2006.

[BGHA06b] Ganesh Bikshandi, Jia Guo, Daniel Hoeflinger, Gheorghe Almasi, Basilio B Fraguela, Maria Jesus Garzaran, David Padua, Christoph von Praun. Programming for Parallelism and Locality with Hierarchically Tiled Arrays. To appear in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. March 29-31, 2006, New York City, NY.

[ReWP06] Gang Ren, Peng Wu, David Padua. Optimizing Data Permutations for SIMD Devices. To appear in Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation. Ottawa, Canada, June 10-16, 2006.

Chapters in Books [KPSW82] D. Kuck, D. Padua. A. Sameh, and M. Wolfe. Languages and High

Performance Computations. Proceedings of the IFIP Working Conference on the Relationship Between Numerical Computations and Programming Languages. J. Reid (Ed.). North-Holland, Boulder, CO, pp. 205-221, 1982.

[PaHK88] D. A. Padua, W. L. Harrison, and D. J. Kuck. Machines, Languages and Compilers for Parallel Symbolic Computing. Biological and Artificial Intelligence Systems. E. Clementi and S. Chin (Eds.). ESCOM Science Publishing. Leiden, The Netherlands. 1988

[MiPC89] S. P. Midkiff, D. A. Padua and R. G. Cytron. Compiling Programs with User Parallelism. Languages and Compilers for Parallel Computing, D. Gelernter, A. Nicolau, and D. Padua (Eds.), MIT Press, 1989.

[EHJP91] R. Eigenmann, J. Hoeflinger, G. Jaxon and D. Padua. Cedar Fortran and its Restructuring Compiler. Advances in Languages and Compilers for Parallel

Computing, D. Gelernter, T. Gross, A. Nicolau and D. Padua, (Eds.), Pitman Publishing, 1991.

[EHLP91] R. Eigenmann, J. Hoeflinger, Z. Li and D. Padua. Experience in the Automatic Parallelization of Four Perfect- Benchmark Programs. Languages and Compil-ers for Parallel Computing (LCPC’92). Lecture Notes in Computer Science 589, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.), Springer-Verlag, 1992.

[Padu92] D. Padua. Supercomputers. Encyclopedia of Computer Science and Engineering. A. Ralston and E.D. Reilly (Eds). Van Nostrand Reynold, 1993.

[PaPe92] D. Padua and P. Petersen. Evaluation of Parallelizing Compilers. Parallel Com-puting and Transputer Applications. M. Valero, E. Onate, M. Jane, J.L. Larriba, and B. Suarez (Eds). IOS Press/ CIMNE, Barcelona, 1992.

[PePa92] P. Petersen and D. Padua. Dynamic Dependence Analysis: A Novel Method for Data Dependence Evaluation. Languages and Compilers for Parallel Computing (LCPC’92). Lecture Notes in Computer Science 757, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.), Springer-Verlag, 1993.

[TuPa93] Peng Tu and D. Padua. Automatic Array Privatization. Languages and Compil-ers for Parallel Computing (LCPC’93). Lecture Notes in Computer Science 768, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.), Springer-Verlag, 1994.

[Padu93] D. Padua. Parallelizing Compilers. 1993 Yearbook of Science and Technology. McGraw-Hill, 1993.

[BEFG94] W. Blume, R. Eigenmann, K. Faigin, J. Grout, J. Hoeflinger, D. Padua, P. Petersen, W. Pottenger, L. Rauchwerger, and P. Tu. Polaris: Improving the Effectiveness of Parallelizing Compilers. Languages and Compilers for Parallel Computing (LCPC’94). Lecture Notes in Computer Science 892, K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.), Springer-Verlag, 1994.

[RaPa94] L. Rauchwerger and D. A. Padua. Run-Time Methods for Parallelizing Do Loops. Massive Parallelism, Hardware, Software and Applications. M. M. Fur-nari (Ed.) World Scientific. 1994.

[DGGM95] L. DeRose, K. Gallivan, E. Gallopoulos. B. Marsolf, and D. Padua. FALCON: A MATLAB Interactive Restructuring Compiler. Languages and Compilers for Parallel Computing (LCPC’95). Lecture Notes in Computer Science 1033, C.H. Huang, P. Sadayappan, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.). Springer-Verlag, 1995.

[PaPa97] Y. Paek and D. Padua. Automatic Parallelization for Noncoherent Cache Multi-processors. Languages and Compilers for Parallel Computing (LCPC’97). Lec-ture Notes in Computer Science1239. D. Sehr, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.), Springer-Verlag, 1997.

[LeMP97] Jaejin Lee, Samuel Midkiff, and David Padua. Concurrent Static Single Assign-ment Form and Constant Propagation for Explicitly Parallel Programs. Lan-guages and Compilers for Parallel Computing (LCPC’98). Lecture Notes in Computer Science. No. 1366. S. Chaterjee, Z. Li, D. Sehr, and P. Yew (Eds.), Springer-Verlag, 1998.pp.114-130.

[WuPa98] Peng Wu and David Padua. Beyond Arrays -- A Container-Centric Approach for Parallelization of Real World Scientific Applications. Proceedings of the 11th Workshop of Languages and Compilers for Parallel Computing. University of North Carolina. August 1998. Springer-Verlag.

[LiPa98] Y. Lin and D. Padua. On the Automatic Parallelization of Sparse and Irregular Fortran Programs. In Proc. of 4th Workshop on Languages, Compilers, and Run- TimeSystems for Scalable Computers (LCR’98),Lecture Notes in Computer Science, No. 1511, pp. 41-56. Springer-Verlag, Pittsburgh, PA, 1998.

[LiPa99c] Y. Lin and D. Padua. A Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis. In Parallel and Distributed Processing, Proc. of 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, volume 1586 of Lecture Notes in Computer Science, pages1036-1045. Springer-Verlag, 1999

[LiPa99d] Y. Lin and D. Padua. Demand-driven Interprocedural Array Property Analysis. Languages and Compilers for Parallel Computing (LCPC'99), Lecture Notes in Computer Science, No. 1863, S. Chatterjee, Z. Li, D. Sehr, and P. Yew (eds.), Springer-Verlag.

[CDPR99] G. Cascaval, L. DeRose, D. Padua, and D. Reed. Compile Time Performance Prediction. Languages and Compilers for Parallel Computing (LCPC'99), Lec-ture Notes in Computer Science, No. 1863, S. Chatterjee, Z. Li, D. Sehr, and P. Yew (eds.), Springer-Verlag.

[DMGG00] L.DeRose, B. Marsolf, K. Gallivan, E. Gallopoulos, and D. Padua. Design Issues in MATLAB-Based Environment for Numerical Program Development. In Enabling Technologies for Computational Science. Frameworks, Middleware and Environments. In. Houstis, J. Rice, E. Gallopoulos, and R. Bramley (Eds). Kluwer. Boston MA. 2000.

[PaHo00] D. Padua and J. Hoeflinger. Supercomputers. Encyclopedia of Computer Science (Fourth Edition) A. Ralston, R. Reilly, and D. Hemmerdinger (eds.) Nature Publishing Group. London 2000.

[AlPa00] G. Almasi and D. Padua. MaJIC: a Matlab Just-In-time Compiler. In Proc. of Thirteenth International Workshop on Languages and Compilers for Parallel Computing (LCPC'00), Aug. 2000. Lecture Notes in Computer Scienc, Springer- Verlag.

[JJPX00] J. Johnson, R. W. Johnson, D. Padua, and J. Xiong. Searching for the Best FFT Formulas with the TPL Compiler. In Proc. of Thirteenth International

Workshop on Languages and Compilers for Parallel Computing (LCPC'00), Aug. 2000. Lecture Notes in Computer Science. Springer-Verlag.

[TuPa01] P. Tu and D. Padua. Automatic Array Privatization. In Compiler Optimizations for Scalable Parallel Systems. Santosh Pande and Dharma P. Agrawal (Eds.). Lecture Notes in Computer Science 1808. Springer Verlag 2001. pp.247-281.

[WuCP01] P. Wu, A. Cohen, and D. Padua. Induction Variable Analysis Without Idiom Recognition. Proc. of 14th International Workshop on Languages and Compilers for Parallel Computing (LCPC'01). Lecture Notes in Computer Science 2624. Springer-Verlag 2003. pp. 427-441

[ZhHP01] J. Zhu, J. Hoeflinger, and D. Padua. Compiling for a Hybrid Programming Model Using the LMAD Representation. Proc. of 14th International Workshop on Languages and Compilers for Parallel Computing (LCPC'01). Lecture Notes in Computer Science 2624. Springer-Verlag 2003. pp. 321-335.

[FRFP02] B. B. Fraguela, J. Renau, P. Feautrier, D. Padua, and J. Torrellas. Programming the FlexRAM Intelligent Memory Architecture. Proc. of 15th International Workshop on Languages and Compilers for Parallel Computing (LCPC'02). To appear in Lecture Notes in Computer Science. Springer-Verlag.

[SWFL02] Z. Sura, C.-L. Wong, X. Fang, J. Lee, S. Midkiff, and D. Padua. Automatic Implementation of Programming Language Consistency Models. Proc. of 15th International Workshop on Languages and Compilers for Parallel Computing (LCPC'02). Lecture Notes in Computer Science. Springer-Verlag.

[GuGP03] J. Guo, M. J. Garzaran, and D. Padua The Power of Belady's Algorithm in Register Allocation for Long Basic Blocks. Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC'03), August 2003. Lecture Notes in Computer Science 2958. Springer-Verlag, 2004. pp. 374-389.

[ReWP03] G. Ren, P. Wu, and D. Padua A Preliminary Study On the Vectorization of Multimedia Applications for Multimedia Extensions. Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC'03), August 2003. Lecture Notes in Computer Science 2958. Springer-Verlag, 2004. pp. 420-435.

[ReWP03] G. Almasi, L. DeRose, B. Fraguela, J. Moreira, and D. Padua. Programming for Locality and Parallelism with Hierarchically Tiled Arrays. Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC'03), August 2003. Lecture Notes in Computer Science 2958. Springer-Verlag, 2004. pp. 162-176.

[BFGA04] Ganesh Bikshandi, Basilio B. Fraguela, Jia Guo, Maria J. Garzaran, Gheorghe Almasi, Jose Moreira, David Padua Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays. Proc. of 17th International Workshop on Languages and Compilers for Parallel Computing (LCPC'04). Lecture Notes in Computer Science 3602. Springer-Verlag 2005.

[RiPa04] N. Rizzolo and D. Padua. HiLo: High-Level Optimizatin of FFTs. Proc. of 17th International Workshop on Languages and Compilers for Parallel Computing (LCPC'04). Lecture Notes in Computer Science 3602. Springer-Verlag 2005.

[DBRY05] Sebastien Donadio, James Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen, María Jesús Garzarán, David Padua and Keshav Pingali. A Language for the Compact Representation of Multiples Program Versions. In Proc. of the International Workshop on Languages and Compilers for Parallel Computing, October 2005. To appear Lecture Notes in Computer Science. Springer-Verlag.

[EGDP05] Arkady Epshteyn, María Jesús Garzarán, Gerald Dejong, David Padua, Gang Ren, Xiaoming Li, Kamen Yotov and Keshav Pingali. Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization. In Proc. of the International Workshop on Languages and Compilers for Parallel Computing, October 2005. To appear Lecture Notes in Computer Science. Springer-Verlag.

[WSFL05] Chi-Leung Wong, Zehra Sura, Xing Fang, Kyungwoo Lee, Samuel P. Midkiff, Jaejin Lee, and David Padua. Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-aware Compiler. In Proc. of the International Workshop on Languages and Compilers for Parallel Computing, October 2005. To appear Lecture Notes in Computer Science. Springer-Verlag.

[BGPT06] Ganesh Bikshandi, Jia Guo, Christoph von Praun, Gabriel Tanase, Basilio B. Fraguela, Maria J. Garzaran, David Padua and Lawrence Rauchwerger. Design and Use of htalib -- a Library for Hierarchically Tiled Arrays. . In Proc. of the International Workshop on Languages and Compilers for Parallel Computing, October 2006. To appear Lecture Notes in Computer Science. Springer-Verlag.

Books Edited or Co-Edited

[KuPa81] R. H. Kuhn and D. A. Padua. Tutorial on Parallel Processing. IEEE Computer Society Press. 1981.

[GeNP90] D. Gelernter, A. Nicolau and D. Padua (Eds). Languages and Compilers for Parallel Computing. The MIT Press, 1990.

[GGNP91] D. Gelernter, T. Gross, A. Nicolau and D. Padua (Eds). Advances in Languages and Compilers for Parallel Computing. Pitman Publishing, 1991.

[BGNP92] U. Banerjee, D. Gelernter, A. Nicolau and D. Padua (Eds). Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science 589, Springer-Verlag, 1992.

[BGNP93] U. Banerjee, D. Gelernter, A. Nicolau and D. Padua (Eds). Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science 757, Springer-Verlag, 1993.

[BGNP94] U. Banerjee, D. Gelernter, A. Nicolau and D. Padua (Eds). Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science 768, Springer-Verlag, 1994.

[PBGN94] K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.). Lan-guages and Compilers for Parallel Computing. Lecture Notes in Computer Sci-ence 892, Springer-Verlag, 1994.

[HSBG95] C.H. Huang, P. Sadayappan, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.). Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science 1033, Springer-Verlag, 1995.

[SBGN97] D. Sehr, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua (Eds.). Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science, Springer-Verlag, 1997.