Publications
Filtered as:
all types
- all years
- all authors
- keyword:
Coding/Decoding
Sorted by:
type
Corresponding
bibtex list
Journal
- 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
Conference (fully reviewed)
- 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
- 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
Thesis
- Vadim Zaliva
HELIX: From Math to Verified Code
PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020
