@inproceedings{peleg2020perfect,
  title={Perfect is the Enemy of Good: Best-Effort Program Synthesis},
  author={Peleg, Hila and Polikarpova, Nadia},
  booktitle =	{34th European Conference on Object-Oriented Programming (ECOOP 2020)},
  pages =	{2:1--2:30},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2020},
  volume =	{166},
  editor =	{Robert Hirschfeld and Tobias Pape},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  doi =		{10.4230/LIPIcs.ECOOP.2020.2}
}