Publications

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

Conference (fully reviewed) 

  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

Thesis 

  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