Publications

Filtered as: all types - all years - all authors - keyword: Program generation
Sorted by: author
Corresponding bibtex list 

Franchetti, Franz 

1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
   Proc. Supercomputing (SC), 2023
   
2. Vadim Zaliva and Franz Franchetti
   HELIX: A Case Study of a Formal Verification of High Performance Program Generation
   Proc. Workshop on Functional High Performance Computing (FHPC), 2018
   

Mankad, H. 

1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
   Proc. Supercomputing (SC), 2023
   

Monil, M. A. H. 

1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
   Proc. Supercomputing (SC), 2023
   

Rao, Sanil 

1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
   Proc. Supercomputing (SC), 2023
   

Spampinato, Daniele G. 

1. Daniele G. Spampinato
   A Linear Algebra Compiler for Small Problem Sizes
   PhD. thesis, Computer Science, ETH Zurich, Switzerland, 2017
   

Vetter, J. 

1. Sanil Rao, M. A. H. Monil, H. Mankad, J. Vetter and Franz Franchetti
   FFTX-IRIS: Towards Performance Portability and Heterogeneity for SPIRAL Generated Code
   Proc. Supercomputing (SC), 2023
   

Zaliva, Vadim 

1. Vadim Zaliva and Franz Franchetti
   HELIX: A Case Study of a Formal Verification of High Performance Program Generation
   Proc. Workshop on Functional High Performance Computing (FHPC), 2018
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007