David A Padua

1979 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1979 2019

Filter
Article
2019

Managing code transformations for better performance portability

Teixeira, T. S. F. X., Gropp, W. D. & Padua, D. A., Nov 1 2019, In : International Journal of High Performance Computing Applications. 33, 6, p. 1290-1306 17 p.

Research output: Contribution to journalArticle

Portability
Process Optimization
Optimization
Computing
Tuning
2017

ANALYSIS OF MESSAGE SWITCHING WITH SHUFFLE-EXCHANGES IN MULTIPROCESSORS.

Lawrie, D. H. & Padua, D. A., Jan 1 2017, In : Materials Engineering (Cleveland). p. 116-123 8 p.

Research output: Contribution to journalArticle

Data storage equipment
Switches

High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

Franchetti, F., Low, T. M., Mitsch, S., Mendoza, J. P., Gui, L., Phaosawasdi, A., Padua, D., Kar, S., Moura, J. M. F., Franusich, M., Johnson, J., Platzer, A. & Veloso, M. M., Apr 2017, In : IEEE Control Systems. 37, 2, p. 82-103 22 p., 7879901.

Research output: Contribution to journalArticle

Critical infrastructures
Power plants
Railroad cars
Robot
Robots
2014

Optimal parallelogram selection for hierarchical tiling

Zhou, X., Garzaran, M. J. & Padua, D. A., Dec 1 2014, In : ACM Transactions on Architecture and Code Optimization. 11, 4, 58.

Research output: Contribution to journalArticle

Tile
Hierarchical systems
Data storage equipment

Practices of PLDI

Boehm, H., Davidson, J., Fisher, K., Flanagan, C., Gibbons, J., Hall, M., Hutton, G., Padua, D., Tip, F., Vitek, J. & Wadler, P., Apr 2014, In : ACM SIGPLAN Notices. 49, 4, p. 33-38 6 p.

Research output: Contribution to journalArticle

Coastal zones
2012

Optimization techniques for efficient HTA programs

Fraguela, B. B., Bikshandi, G., Guo, J., Garzarán, M. J., Padua, D. & Von Praun, C., Sep 1 2012, In : Parallel Computing. 38, 9, p. 465-484 20 p.

Research output: Contribution to journalArticle

Optimization Techniques
Parallel programming
Object oriented programming
Tile
Productivity
2009

Communication contention in APN list scheduling algorithm

Tang, X., Li, K. & Padua, D. A., Jan 1 2009, In : Science in China, Series F: Information Sciences. 52, 1, p. 59-69 11 p.

Research output: Contribution to journalArticle

Scheduling algorithms
Scheduling
Communication
Parallel algorithms
Data communication systems

Compiler research: The next 50 years

Hall, M., Padua, D. & Pingali, K., Feb 1 2009, In : Communications of the ACM. 52, 2, p. 60-67 8 p.

Research output: Contribution to journalArticle

Parallel programming
Technical presentations
Computer science
Education
Industry

Writing productive stencil codes with overlapped tiling

Guo, J., Bikshandi, G., Fraguela, B. B. & Padua, D., Jan 1 2009, In : Concurrency Computation Practice and Experience. 21, 1, p. 25-39 15 p.

Research output: Contribution to journalArticle

Tiling
Productivity
Tile
Communication
kernel
2006

In search of a program generator to implement generic transformations for high-performance computing

Cohen, A., Donadio, S., Garzaran, M. J., Herrmann, C., Kiselyov, O. & Padua, D. A., Sep 1 2006, In : Science of Computer Programming. 62, 1, p. 25-46 22 p.

Research output: Contribution to journalArticle

Automatic programming
Computer programming languages
Memory architecture
Microprocessor chips
Productivity

Optimizing data permutations for SIMD devices

Ren, G., Wu, P. & Padua, D., Jun 26 2006, In : ACM SIGPLAN Notices. 41, 6, p. 118-131 14 p.

Research output: Contribution to journalArticle

Data storage equipment
Merging
Microprocessor chips
Experiments
Code generation
2005

HiLO: High level optimization of FFTs

Rizzolo, N. & Padua, D. A., 2005, In : Lecture Notes in Computer Science. 3602, p. 238-252 15 p.

Research output: Contribution to journalArticle

Fast Fourier transforms
Optimization
Compiler
Software pipelining
Process Optimization

Is search really necessary to generate high-performance BLAS?

Yotov, K., Li, X., Ren, G., Garzaran, M. J., Padua, D. A., Pingali, K. & Stodghill, P., Feb 1 2005, In : Proceedings of the IEEE. 93, 2, p. 358-385 28 p.

Research output: Contribution to journalArticle

Analytical models
Search engines
Tile
Engines
Hardware

Special Issue on Program Generation, Optimization, and Platform Adaptation

Moura, J. M. F., Püscheu, M., Padua, D. & Dongarra, J., Feb 1 2005, In : Proceedings of the IEEE. 93, 2, p. 211-214 4 p.

Research output: Contribution to journalArticle

SPIRAL: Code generation for DSP transforms

Püschel, M., Moura, J. M. F., Johnson, J. R., Padua, D., Veloso, M. M., Singer, B. W., Xiong, J., Franchetti, F., Gačić, A., Voronenko, Y., Chen, K., Johnson, R. W. & Rizzolo, N., Feb 1 2005, In : Proceedings of the IEEE. 93, 2, p. 232-273 42 p.

Research output: Contribution to journalArticle

Digital signal processing
Natural sciences computing
Discrete wavelet transforms
Discrete Fourier transforms
Tuning
2004

A compiler for multiple memory models

Midkiff, S. P., Lee, J. & Padua, D. A., Feb 1 2004, In : Concurrency Computation Practice and Experience. 16, 2-3, p. 197-220 24 p.

Research output: Contribution to journalArticle

Memory Model
Multiple Models
Compiler
Programming Languages
Data storage equipment
Vectorization
Multimedia Applications
Multimedia
Workload
Programming
Parallel programming
Computer programming
Locality
MATLAB
Parallelism

SPIRAL: A generator for platform-adapted libraries of signal processing algorithms

Püschel, M., Moura, J. M. F., Singer, B., Xiong, J., Johnson, J., Padua, D., Veloso, M. & Johnson, R. W., Jan 1 2004, In : International Journal of High Performance Computing Applications. 18, 1, p. 21-45 25 p.

Research output: Contribution to journalArticle

Signal Processing
Signal processing
Generator
Transform
Search engines
Register Allocation
Compiler
Straight Line
Fast Fourier transforms
Scheduling
2003

Calculating stack distances efficiently

Almási, G., Caşcaval, C. & Padua, D. A., Feb 1 2003, In : ACM SIGPLAN Notices. 38, 2 SUPPL., p. 37-43 7 p.

Research output: Contribution to journalArticle

Data structures
Processing

Compiler techniques for the distribution of data and computation

Navarro, A., Zapata, E. & Padua, D. A., Jun 1 2003, In : IEEE Transactions on Parallel and Distributed Systems. 14, 6, p. 545-562 18 p.

Research output: Contribution to journalArticle

Nonlinear programming
Decomposition
Communication
Costs
Hybrid Model
Computer programming
Descriptors
Programming Model
Message passing
Monotonicity
Proof by induction
Flow control
Closed-form
Interval

Programming the FlexRAM parallel intelligent memory system

Fraguela, B. B., Renau, J., Featrier, P., Padua, D. A. & Torrellas, J., Oct 2003, In : ACM SIGPLAN Notices. 38, 10, p. 49-60 12 p.

Research output: Contribution to journalArticle

Computer programming
Computer systems
Data storage equipment
Memory architecture
Servers
2002

An advanced compiler framework for non-cache-coherent multiprocessors

Paek, Y., Navarro, A., Zapata, E., Hoeflinger, J. & Padua, D., Mar 1 2002, In : IEEE Transactions on Parallel and Distributed Systems. 13, 3, p. 241-259 19 p.

Research output: Contribution to journalArticle

Data storage equipment
Application programs
Computer hardware
Tuning
Communication

Efficient and precise array access analysis

Paek, Y., Hoeflinger, J. & Padua, D. A., Jan 1 2002, In : ACM Transactions on Programming Languages and Systems. 24, 1, p. 65-109 45 p.

Research output: Contribution to journalArticle

Data storage equipment
Hinges
Computer programming languages
Data structures
2001

Hiding relaxed memory consistency with a compiler

Lee, J. & Padua, D. A., Aug 1 2001, In : IEEE Transactions on Computers. 50, 8, p. 824-833 10 p.

Research output: Contribution to journalArticle

Compiler
Data storage equipment
Fences
Vertex of a graph
Optimizing Compilers

SPL: A language and compiler for DSP algorithms

Xiong, J., Johnson, J., Johnson, R. & Padua, D. A., May 1 2001, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 36, 5, p. 298-308 11 p.

Research output: Contribution to journalArticle

Digital signal processing
Signal processing
Fast Fourier transforms
2000

Compiler analysis of irregular memory accesses

Lin, Y. & Padua, D. A., May 2000, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 35, 5, p. 157-168 12 p.

Research output: Contribution to journalArticle

Data storage equipment

Containers on the parallelization of general-purpose Java programs

Wu, P. & Padua, D. A., Dec 1 2000, In : International Journal of Parallel Programming. 28, 6, p. 589-605 17 p.

Research output: Contribution to journalArticle

Container
Parallelization
Java
Parallelism
Containers
Data flow analysis
Flow control
Subscript
Demand
Flow Control

Hiding relaxed memory consistency with compilers

Lee, J. & Padua, D. A., Jan 1 2000, In : Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 111-122 12 p.

Research output: Contribution to journalArticle

Compiler
Data storage equipment
Fences
Vertex of a graph
Optimizing Compilers
Subscript
Calculate
Data Dependence
Parallelism
Irregular

The Fortran I compiler

Padua, D. A., Jan 1 2000, In : Computing in Science and Engineering. 2, 1, p. 70-XI

Research output: Contribution to journalArticle

High level languages
Demonstrations
1999

Basic compiler algorithms for parallel programs

Lee, J., Padua, D. A. & Midkiff, S. P., Aug 1999, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 34, 8, p. 1-12 12 p.

Research output: Contribution to journalArticle

Synchronization
Speculation
Container
Parallelization
Compiler
Java

On the automatic parallelization of sparse and irregular Fortran programs

Lin, Y. & Padua, D. A., Jan 1 1999, In : Scientific Programming. 7, 3, p. 231-246 16 p.

Research output: Contribution to journalArticle

Techniques for the translation of MATLAB Programs into Fortran 90

De Rose, L. & Padua, D. A., Mar 1999, In : ACM Transactions on Programming Languages and Systems. 21, 2, p. 286-323 38 p.

Research output: Contribution to journalArticle

MATLAB
Experiments
Privatization
Pattern matching
Syntactics
Flow control
1998

A Constant Propagation Algorithm for Explicitly Parallel Programs

Lee, J., Midkiff, S. P. & Padua, D. A., Jan 1 1998, In : International Journal of Parallel Programming. 26, 5, p. 563-589 27 p.

Research output: Contribution to journalArticle

Parallel Programs
Concurrent
Propagation
Assignment
Interleaving
Memory architecture
Experiments

On the automatic parallelization of the Perfect Benchmarks®

Eigenmann, R., Hoeflinger, J. & Padua, D., Dec 1 1998, In : IEEE Transactions on Parallel and Distributed Systems. 9, 1, p. 5-23 19 p.

Research output: Contribution to journalArticle

Privatization
Substitution reactions
Experiments

Simplification of Array Access Patterns for Compiler Optimizations

Paek, Y., Hoeflinger, J. & Padua, D. A., May 1998, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 33, 5, p. 60-71 12 p.

Research output: Contribution to journalArticle

Experiments
1996

Outline of a roadmap for compiler technology

Padua, D. A., Sep 1 1996, In : IEEE computational science & engineering. 3, 3, p. 65-66 2 p.

Research output: Contribution to journalArticle

Computer programming languages
Computer science
Data structures
Costs
Code generation

Parallel programming with polaris

Blume, W., Doallo, R., Eigenmann, R., Grout, J., Hoeflinger, J., Lawrence, T., Lee, J., Padua, D. A., Paek, Y., Pottenger, B., Rauchwerger, L. & Tu, P., Dec 1 1996, Computer, 29, 12, p. 78-81 4 p.

Research output: Contribution to specialist publicationArticle

Parallel programming
Computer hardware
Hardware
1995

A scalable method for run-time loop parallelization

Rauchwerger, L., Amato, N. M. & Padua, D. A., Dec 1 1995, In : International Journal of Parallel Programming. 23, 6, p. 537-576 40 p.

Research output: Contribution to journalArticle

Parallelization
Privatization
Parallelism
Synchronization
Schedule

Efficient Building and Placing of Gating Functions

Tu, P. & Padua, D. A., Jan 6 1995, In : ACM SIGPLAN Notices. 30, 6, p. 47-55 9 p.

Research output: Contribution to journalArticle

Flow graphs
Privatization
Pattern matching
Syntactics
Flow control
1994

Automatic Detection of Parallelism A Grand Challenge for High-Performance Computing

Blume, W., Eigenmann, R., Hoeflinger, J., Padua, D. A., Petersen, P., Rauchwerger, L. & Tu, P., Jan 1 1994, In : IEEE Parallel and Distributed Technology. 2, 3, p. 37-47 11 p.

Research output: Contribution to journalArticle

Computer hardware description languages
Program compilers
Parallel processing systems
Iterative methods
Algebra