Language-parametric compiler validation with application to LLVM.

Theodoros Kasampalis Daejun Park Zhengyao Lin Vikram S. Adve Grigore Rosu

Published in: ASPLOS (2021)

Keyphrases

programming language
real time
data sets
genetic algorithm
search engine
information systems
language learning