The PROSE research and engineering team, led by Sumit Gulwani, develops program synthesis APIs over a wide variety of modalities — programming by examples (PBE), natural language, temporal context — with applications in diverse areas such as assisting sloppy programmers through automatic program repair and conversational AI. Programming by examples (PBE) is a new frontier in AI that enables users