Language-parametric compiler validation with application to LLVM

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 17, 2021
Source ID
10.1145/3445814.3446751

Entities

People

  • Daejun Park
  • Grigore Rosu
  • Theodoros Kasampalis
  • Vikram Adve
  • Zhengyao Lin

Organizations

  • National Science Foundation
  • Office of Naval Research
  • University of Illinois Urbana–Champaign