Publications

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

Program generation 

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
   
3. Daniele G. Spampinato
   A Linear Algebra Compiler for Small Problem Sizes
   PhD. thesis, Computer Science, ETH Zurich, Switzerland, 2017
   

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