Publications
Filtered as:
all types
- all years
- author:
Padua, David - all keywords
Corresponding
bibtex list
- Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
IEEE Control Systems Magazine, 2017
- Xiaoming Li, María J. Garzarán and David Padua
Optimizing Sorting with Genetic Algorithm
Proc. International Symposium on Code Generation and Optimization (CGO), pp. 99-110, 2005
- José M. F. Moura, Markus Püschel, David Padua and Jack Dongarra
Scanning the Issue: Special Issue on Program Generation, Optimization, and Platform Adaptation
Proceedings of the IEEE, special issue on ``Program Generation, Optimization, and Adaptation'', Vol. 93, No. 2, pp. 211-215, 2005
- Markus Püschel, José M. F. Moura, Jeremy Johnson, David Padua, Manuela Veloso, Bryan Singer, Jianxin Xiong, Franz Franchetti, Aca Gacic, Yevgen Voronenko, Kang Chen, Robert W. Johnson and Nicholas Rizzolo
SPIRAL: Code Generation for DSP Transforms
Proceedings of the IEEE, special issue on ``Program Generation, Optimization, and Adaptation'', Vol. 93, No. 2, pp. 232- 275, 2005
- Xiaoming Li, María J. Garzarán and David Padua
A Dynamically Tuned Sorting Library
Proc. International Symposium on Code Generation and Optimization (CGO), pp. 111-124, 2004
- Nicholas Rizzolo and David Padua
HiLO: High Level Optimization of FFTs
Proc. International Workshop on Languages and Compilers for Parallel Computing (LCPC), 2004
- Markus Püschel, Bryan Singer, Jianxin Xiong, José M. F. Moura, Jeremy Johnson, David Padua, Manuela Veloso and Robert W. Johnson
SPIRAL: A Generator for Platform-Adapted Libraries of Signal Processing Algorithms
Journal of High Performance Computing and Applications, special issue on ``Automatic Performance Tuning'', Vol. 18, No. 1, pp. 21-45, 2004
- Sebastian Egner, Jeremy Johnson, David Padua, Jianxin Xiong and Markus Püschel
Automatic Derivation and Implementation of Signal Processing Algorithms
ACM SIGSAM Bulletin Communications in Computer Algebra, Vol. 35, No. 2, pp. 1-19, 2001
- José M. F. Moura, Jeremy Johnson, Robert W. Johnson, David Padua, Viktor K. Prasanna, Markus Püschel, Bryan Singer, Manuela Veloso and Jianxin Xiong
Generating Platform-Adapted DSP Libraries using SPIRAL
Proc. High Performance Extreme Computing (HPEC), 2001
- Jianxin Xiong, Jeremy Johnson, Robert W. Johnson and David Padua
SPL: A Language and Compiler for DSP Algorithms
Proc. Programming Languages Design and Implementation (PLDI), pp. 298-308, 2001
- José M. F. Moura, Jeremy Johnson, Robert W. Johnson, David Padua, Viktor K. Prasanna, Markus Püschel and Manuela Veloso
SPIRAL: Automatic Implementation of Signal Processing Algorithms
Proc. High Performance Extreme Computing (HPEC), 2000
