Publications

Filtered as: all types - all years - all authors - keyword: Coq
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

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

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

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