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

Program generation 

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