Paper Presentation Schedule

The schedule is tentative for now.

Nov 2

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

Shufan Zhang. Programmatically Interpretable Reinforcement Learning. ICML'18.

Nov 9

MOHIT SAGAR. Oracle-guided component-based program synthesis? ICSE’10.

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

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

Nov 16

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

Vilina Ong. Recursive Program Synthesis. CAV'13.

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

Nov 23

Yanshi Luo. PHOG: Probabilistic Model for Code? ICML’16.

Shushen Song. Unsupervised Learning by Program Synthesis? NeurIPS'15.

Guofeng Cui. Library Learning for Neurally-Guided Bayesian Program Induction? Neurips'18.