Publications
Filtered as:
all types
- all years
- all authors
- keyword:
Semantics
Sorted by:
type
Corresponding
bibtex list
Conference (fully reviewed)
- 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
Conference (abstract reviewed)
- 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
