David A Padua

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Managing code transformations for better performance portability

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

Research output: Contribution to journalArticle

2017

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

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

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

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

2009

Communication contention in APN list scheduling algorithm

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

Research output: Contribution to journalArticle

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

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

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., Sep 1 2006, In : Science of Computer Programming. 62, 1, p. 25-46 22 p.

Research output: Contribution to journalArticle

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

2005

Is search really necessary to generate high-performance BLAS?

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

Research output: Contribution to journalArticle

Special Issue on Program Generation, Optimization, and Platform Adaptation

Moura, J. M. F., Püscheu, M., Padua, D. & Dongarra, J., Feb 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 2005, In : Proceedings of the IEEE. 93, 2, p. 232-273 42 p.

Research output: Contribution to journalArticle

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

Programming for locality and parallelism with hierarchically tiled arrays

Almási, G., De Rose, L., Fraguela, B. B., Moreira, J. & Padua, D., Dec 1 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2958, p. 162-176 15 p.

Research output: Contribution to journalArticle

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

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

Compiler techniques for the distribution of data and computation

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

Research output: Contribution to journalArticle

Programming the FlexRAM parallel intelligent memory system

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

Research output: Contribution to journalArticle

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

Efficient and precise array access analysis

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

Research output: Contribution to journalArticle

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

SPL: A language and compiler for DSP algorithms

Xiong, J., Johnson, J., Johnson, R. & Padua, D., 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

2000

Compiler analysis of irregular memory accesses

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

Research output: Contribution to journalArticle

Containers on the parallelization of general-purpose Java programs

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

Research output: Contribution to journalArticle

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

The Fortran I compiler

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

Research output: Contribution to journalArticle

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

On the automatic parallelization of sparse and irregular Fortran programs

Lin, Y. & Padua, D., 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., Mar 1999, In : ACM Transactions on Programming Languages and Systems. 21, 2, p. 286-323 38 p.

Research output: Contribution to journalArticle

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

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

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

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

Parallel programming with polaris

Blume, W., Doallo, R., Eigenmann, R., Grout, J., Hoeflinger, J., Lawrence, T., Lee, J., Padua, D., 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

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

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

1994

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

Blume, W., Eigenmann, R., Hoeflinger, J., Padua, D., 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

The polaris internal representation

Faigin, K. A., Weatherford, S. A., Hoeflinger, J. P., Padua, D. A. & Petersen, P. M., Oct 1 1994, In : International Journal of Parallel Programming. 22, 5, p. 553-586 34 p.

Research output: Contribution to journalArticle

1993

Array Privatization for Shared and Distributed Memory Machines (Extended Abstract)

Tu, P. & Padua, D., Jan 1 1993, In : ACM SIGPLAN Notices. 28, 1, p. 64-67 4 p.

Research output: Contribution to journalArticle

Automatic Program Parallelization

Banerjee, U., Eigenmann, R., Nicolau, N., Padua, D. A. & Alexandru, A., Feb 1993, In : Proceedings of the IEEE. 81, 2, p. 211-243 33 p.

Research output: Contribution to journalArticle