Paper Presentation Schedule

The schedule is tentative for now.

Pranay Neelagiri. Component-based synthesis for complex APIs. POPL’17.

Steven Yuan. Generalized Data Structure Synthesis. ICSE'18.

Chaoji Zuo. Program synthesis using conflict-driven learning. PLDI'18.

Shoumyo Chakravorti. Type-and-example-directed program synthesis. PLDI'15.

Wenjie Qiu. FrAngel: Component-Based Synthesis with Control Structures. POPL'19.

Vilina Ong. Recursive Program Synthesis. CAV'13.

Please send me an email about your paper preference.