Accelerating search-based program synthesis using learned probabilistic models.

Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

Browse the full PLDI paper archive.