Sign in

Language-parametric compiler validation with application to LLVM.

Theodoros KasampalisDaejun ParkZhengyao LinVikram S. AdveGrigore Rosu
Published in: ASPLOS (2021)
Keyphrases
  • programming language
  • real time
  • data sets
  • genetic algorithm
  • search engine
  • information systems
  • language learning