Publications

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

Program generation 

2023 

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
   

2018 

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
   

2017 

1. 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