Publications

Filtered as: all types - all years - author: Yoon, Irene - all keywords
Sorted by: keyword
Corresponding bibtex list 

Coq 

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
   

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
   

LLVM 

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
   

Monads 

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
   

Semantics 

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
   

Verified compilation 

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