Publications

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


  1. E. Tang, James C. Hoe and Franz Franchetti
    Magic Memory: A Memory-Centric Declarative Programming Paradigm to Enable High Productivity on Heterogeneous Systems
    Proc. SRC TECHCON, 2024
  2. 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
  3. 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
  4. 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