Publications

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

Conference (fully reviewed) 

  1. 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
  2. Vadim Zaliva and Matthieu Sozeau
    Reification of Shallow-Embedded DSLs in Coq with Automated Verification
    Proc. International Workshop on Coq for Programming Languages (CoqPL), 2019

Thesis 

  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