Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
Accelerating search-based program synthesis using learned probabilistic models
PLDI, 2018.
@inproceedings{PLDI-2018-LeeHAN, author = "Woosuk Lee and Kihong Heo and Rajeev Alur and Mayur Naik", booktitle = "{Proceedings of the 39th Conference on Programming Language Design and Implementation}", doi = "10.1145/3192366.3192410", pages = "436--449", publisher = "{ACM}", title = "{Accelerating search-based program synthesis using learned probabilistic models}", year = 2018, }