Publications

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

Franchetti, Franz 

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
   

Sozeau, Matthieu 

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

Zaichuk, Ilia 

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
   

Zaliva, Vadim 

1. Vadim Zaliva
   HELIX: From Math to Verified Code
   PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020
   
2. 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
   
3. 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
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007