Yu Feng, Ruben Martins, Yuepeng Wang 0001, Isil Dillig, Thomas W. Reps
Component-based synthesis for complex APIs
POPL, 2017.
@inproceedings{POPL-2017-FengM0DR,
author = "Yu Feng and Ruben Martins and Yuepeng Wang 0001 and Isil Dillig and Thomas W. Reps",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "599--612",
publisher = "{ACM}",
title = "{Component-based synthesis for complex APIs}",
year = 2017,
}