Publications

Filtered as: all types - all years - all authors - keyword: Coding/Decoding
Sorted by: keyword
Corresponding bibtex list 

Coding/Decoding 

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
   HELIX: From Math to Verified Code
   PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020
   
3. Franz Franchetti, Tze-Meng Low, Thom Popovici, Richard Veras, Daniele G. Spampinato, Jeremy Johnson, Markus Püschel, James C. Hoe and José M. F. Moura
   SPIRAL: Extreme Performance Portability
   Proceedings of the IEEE, special issue on ``From High Level Specification to High Performance Code'', Vol. 106, No. 11, 2018
   
4. Tze-Meng Low and Franz Franchetti
   High Assurance Code Generation for Cyber-Physical Systems
   Proc. IEEE International Symposium on High Assurance Systems Engineering (HASE), 2017
   

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