Yannick Zakowski, Calvin Beck, Irene Yoon 0001, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic. Modular, compositional, and executable formal semantics for LLVM IR. Proceedings of the ACM on Programming Languages, 5(ICFP):1-30, 2021. [doi]
Abstract is missing.