Publications

Filtered as: all types - all years - author: Padua, David - all keywords
Corresponding
bibtex list 


  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Nicholas Rizzolo and David Padua
    HiLO: High Level Optimization of FFTs
    Proc. International Workshop on Languages and Compilers for Parallel Computing (LCPC), 2004
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007