Publications
Filtered as:
all types
- all years
- all authors
- keyword:
Semantics
Sorted by:
keyword
Corresponding
bibtex list
Semantics
- 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
- 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
