Login / Signup

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.

Bowen ZhangWei ChenPeisen YaoChengpeng WangWensheng TangCharles Zhang
Published in: ASPLOS (3) (2024)
Keyphrases
  • program synthesis
  • intermediate representations
  • intermediate representation
  • structured learning
  • high level
  • machine learning
  • recursive programs
  • inductive logic programming