David A. Padua
Affiliations:- University of Illinois Urbana-Champaign, IL, USA
According to our database1,
David A. Padua
authored at least 188 papers
between 1980 and 2020.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2007, "For contributions to compiler support for parallel computing.".
IEEE Fellow
IEEE Fellow 2000, "For contributions to compiler technology for parallel computing.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2020
Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01768-1, 2020
2019
Int. J. High Perform. Comput. Appl., 2019
Proceedings of the Euro-Par 2019: Parallel Processing, 2019
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019
2018
An empirical study of the effect of source-level loop transformations on compiler stability.
Proc. ACM Program. Lang., 2018
Proceedings of the Languages and Compilers for Parallel Computing, 2018
2017
Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017
Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017
2016
High level abstractions and automatic optimization techniques for the programming of irregular algorithms.
Proceedings of the 6th Workshop on Irregular Applications: Architecture and Algorithms, 2016
DSMR: a shared and distributed memory algorithm for single-source shortest path problem.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Proceedings of the 2016 International Conference on Supercomputing, 2016
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the 22nd IEEE International Conference on High Performance Computing, 2015
2014
ACM Trans. Archit. Code Optim., 2014
Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing, 2014
Proceedings of the Languages and Compilers for Parallel Computing, 2014
Proceedings of the Languages and Compilers for Parallel Computing, 2014
Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014
2013
Proceedings of the IEEE High Performance Extreme Computing Conference, 2013
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013
2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012
Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012
2011
Proceedings of the Encyclopedia of Parallel Computing, 2011
Proceedings of the Encyclopedia of Parallel Computing, 2011
Proceedings of the Encyclopedia of Parallel Computing, 2011
NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011
2010
Proceedings of the Languages and Compilers for Parallel Computing, 2010
Proceedings of the Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05., 2010
10191 Executive Summary - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond.
Proceedings of the Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05., 2010
10191 Abstracts Collection - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond.
Proceedings of the Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05., 2010
2009
Concurr. Comput. Pract. Exp., 2009
Sci. China Ser. F Inf. Sci., 2009
Proceedings of the 17th Euromicro International Conference on Parallel, 2009
Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units, 2009
2008
Proceedings of the Embedded Computer Systems: Architectures, 2008
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008
Proceedings of the Languages and Compilers for Parallel Computing, 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
2006
In search of a program generator to implement generic transformations for high-performance computing.
Sci. Comput. Program., 2006
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006
Proceedings of the Languages and Compilers for Parallel Computing, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
2005
Proc. IEEE, 2005
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005
Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-Aware Compiler.
Proceedings of the Languages and Compilers for Parallel Computing, 2005
Proceedings of the Languages and Compilers for Parallel Computing, 2005
Proceedings of the Languages and Compilers for Parallel Computing, 2005
Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2005
An Empirical Study On the Vectorization of Multimedia Applications for Multimedia Extensions.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005
2004
Int. J. High Perform. Comput. Appl., 2004
Proceedings of the 7th Workshop on languages, 2004
Proceedings of the Languages and Compilers for High Performance Computing, 2004
Proceedings of the Languages and Compilers for High Performance Computing, 2004
Performance Modeling and Programming Environments for Petaflops Computers and the Blue Gene Machine.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004
2003
IEEE Trans. Parallel Distributed Syst., 2003
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003
A Preliminary Study on the Vectorization of Multimedia Applications for Multimedia Extensions.
Proceedings of the Languages and Compilers for Parallel Computing, 2003
Proceedings of the Languages and Compilers for Parallel Computing, 2003
Proceedings of the Languages and Compilers for Parallel Computing, 2003
Proceedings of the 17th Annual International Conference on Supercomputing, 2003
2002
IEEE Trans. Parallel Distributed Syst., 2002
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002
Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002
Proceedings of the International Symposium on Parallel Architectures, 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
Proceedings of the 16th international conference on Supercomputing, 2002
2001
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001
Proceedings of the Languages and Compilers for Parallel Computing, 2001
Proceedings of the Languages and Compilers for Parallel Computing, 2001
Proceedings of the 15th international conference on Supercomputing, 2001
Monotonic evolution: an alternative to induction variable substitution for dependence analysis.
Proceedings of the 15th international conference on Supercomputing, 2001
Proceedings of the Compiler Optimizations for Scalable Parallel Systems Languages, 2001
2000
Int. J. Parallel Program., 2000
A Simple Framework to Calculate the Reaching Definition of Array References and Its Use in Subscript Array Analysis.
Concurr. Pract. Exp., 2000
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000
Proceedings of the Languages and Compilers for Parallel Computing, 2000
Proceedings of the Languages and Compilers for Parallel Computing, 2000
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations.
Proceedings of the Compiler Construction, 9th International Conference, 2000
Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), 2000
1999
The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization.
IEEE Trans. Parallel Distributed Syst., 1999
ACM Trans. Program. Lang. Syst., 1999
Sci. Program., 1999
Semantic Inlining - the Compiler Support for Java in Technical Computing.
Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999
Proceedings of the Languages and Compilers for Parallel Computing, 1999
Proceedings of the Languages and Compilers for Parallel Computing, 1999
Access Descriptor Based Locality Analysis for Distributed-Shared Memory Multiprocessors.
Proceedings of the International Conference on Parallel Processing 1999, 1999
Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, 1999
1998
IEEE Trans. Parallel Distributed Syst., 1998
Int. J. Parallel Program., 1998
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998
Beyond Arrays - A Container-Centric Approach for Parallelization of Real-World Symbolic Applications.
Proceedings of the Languages and Compilers for Parallel Computing, 1998
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998
1997
Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1997
Compiler Techniques for Effective Communication on Distributed-Memory Multiprocessors.
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997
1996
IEEE Trans. Parallel Distributed Syst., 1996
Proceedings of the Languages and Compilers for Parallel Computing, 1996
Proceedings of the 10th international conference on Supercomputing, 1996
Proceedings of the 1996 International Conference on Parallel Processing Workshop, 1996
1995
Automatic Program Restructuring for Parallel Computing and the Polaris Fortran Translator.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995
Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995
Proceedings of the Languages and Compilers for Parallel Computing, 1995
Proceedings of the 9th international conference on Supercomputing, 1995
Proceedings of the 9th international conference on Supercomputing, 1995
1994
Automatic Detection of Parallelism: A grand challenge for high performance computing.
IEEE Parallel Distributed Technol. Syst. Appl., 1994
Proceedings of the Languages and Compilers for Parallel Computing, 1994
The privatizing DOALL test: a run-time technique for DOALL loop identification and array privatization.
Proceedings of the 8th international conference on Supercomputing, 1994
Proceedings of the 1994 International Conference on Parallel Processing, 1994
1993
Proceedings of the Proceedings Supercomputing '93, 1993
Proceedings of the Languages and Compilers for Parallel Computing, 1993
Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993
Proceedings of the 7th international conference on Supercomputing, 1993
1992
Future Gener. Comput. Syst., 1992
Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992
Proceedings of the Languages and Compilers for Parallel Computing, 1992
1991
Proceedings of the Languages and Compilers for Parallel Computing, 1991
Fortran-Style Transformations for Functional Programs.
Proceedings of the International Conference on Parallel Processing, 1991
A Comparison of Four Synchronization Optimization Techniques.
Proceedings of the International Conference on Parallel Processing, 1991
Effects of Program Parallelization and Stripmining Transformation on Cache Performance in a Multiprocessor.
Proceedings of the International Conference on Parallel Processing, 1991
1990
Issues in the Optimization of Parallel Programs.
Proceedings of the 1990 International Conference on Parallel Processing, 1990
1989
Utilizing Multidimensional Loop Parallelism on Large-Scale Parallel Processor Systems.
IEEE Trans. Computers, 1989
Proceedings of the Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989, 1989
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989
1988
Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988
Proceedings of the 2nd international conference on Supercomputing, 1988
Automatic Compound Function Definition for Multiprocessors.
Proceedings of the International Conference on Parallel Processing, 1988
Proceedings of the COMPCON'88, Digest of Papers, Thirty-Third IEEE Computer Society International Conference, San Francisco, California, USA, February 29, 1988
1987
Debugging Parallel Fortran on a Shared Memory Machine.
Proceedings of the International Conference on Parallel Processing, 1987
1986
Execution of Parallel Loops on Parallel Processor Systems.
Proceedings of the International Conference on Parallel Processing, 1986
Compiler Generated Synchronization for Do Loops.
Proceedings of the International Conference on Parallel Processing, 1986
Representing S-Expressions for the Efficient Evaluation of LISP on Parallel Processors.
Proceedings of the International Conference on Parallel Processing, 1986
1982
IEEE Trans. Software Eng., 1982
1981
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981
1980