Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
Augmented example-based synthesis using relational perturbation properties
POPL, 2020.
@article{POPL-2020-AnSMS,
author = "Shengwei An and Rishabh Singh and Sasa Misailovic and Roopsha Samanta",
doi = "10.1145/3371124",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "24",
publisher = "{ACM}",
title = "{Augmented example-based synthesis using relational perturbation properties}",
volume = 4,
year = 2020,
}