Publications

Filtered as: all types - all years - all authors - keyword: Semantics
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. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
    Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
    Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025

Franusich, M. 

  1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
    Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
    Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025

Rao, Sanil 

  1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
    Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
    Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025

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

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

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

Zhang, N. 

  1. N. Zhang, Sanil Rao, M. Franusich and Franz Franchetti
    Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
    Proc. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007