Publications

Filtered as: all types - all years - all authors - keyword: Verified compilation
Sorted by: type
Corresponding bibtex list 

Conference (fully reviewed) 

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
   

Conference (abstract reviewed) 

1. Sanil Rao, A. Prakash and Franz Franchetti
   Towards LibraryX: A Framework for Cross-Library Call Optimization
   Proc. High Performance Extreme Computing (HPEC), 2024
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007