Publications

Filtered as: all types - all years - all authors - keyword: HELIX
Sorted by: keyword
Corresponding
bibtex list 

HELIX 

  1. Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva and Steve Zdancewic
    Modular, Compositional, and Executable Formal Semantics for LLVMIR
    Proc. International Conference on Functional Programming (ICFP), 2021
  2. Vadim Zaliva
    HELIX: From Math to Verified Code
    PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020
  3. Vadim Zaliva, Ilia Zaichuk and Franz Franchetti
    Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX
    Proc. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2020
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007