Home
Generator
Benchmarks
Publications
Software
Hardware
Grants
Team
Related
Internal
Publications
Sort by
year
,
publication type
,
author
,
keyword
Advanced Search and Sort
(recommended)
Full list
of abstracts and preprints
Filtered as:
all types - all years - all authors - keyword: LLVM
Corresponding
bibtex list
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