Theodoros Kasampalis, Daejun Park 0001, Zhengyao Lin, Vikram S. Adve, Grigore Rosu. Language-parametric compiler validation with application to LLVM. In Tim Sherwood, Emery Berger, Christos Kozyrakis, editors, ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021. pages 1004-1019, ACM, 2021. [doi]
Abstract is missing.