Login / Signup

Hydra: Generalizing Peephole Optimizations with Program Synthesis.

Manasij MukherjeeJohn Regehr
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • program synthesis
  • recursive programs
  • databases
  • inductive logic programming
  • relational databases
  • learning process
  • co occurrence
  • machine learning algorithms