Publications

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

Beck, Calvin 

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
   

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
   

Yoon, Irene 

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
   

Zaichuk, Ilia 

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, 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
   

Zakowski, Yannick 

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
   

Zaliva, Vadim 

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
   

Zdancewic, Steve 

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
   

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