University of Minnesota Twin Cities PL Seminar
Home
Books
News
Mailing List
2024-10-17 Talk: CompCert
October 17, 2024
Topic:
CompCert - A Formally Verified Optimizing Compiler
Speaker:
Linglong Meng
Location:
Keller 2-225
Time:
4:00-5:00 pm