Language-parametric compiler validation with application to LLVM

Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ◽

10.1145/3445814.3446751 ◽

2021 ◽

Author(s):

Theodoros Kasampalis ◽

Daejun Park ◽

Zhengyao Lin ◽

Vikram S. Adve ◽

Grigore Roşu

Download Full-text