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


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

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


  1. Vadim Zaliva
    HELIX: From Math to Verified Code
    PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007