Program Synthesis Group

Autumn 2018 — Monday, 12:00pm — CSE 128

Subscribe to the calendar: iCal or Google Calendar.

We read a variety of Program Synthesis related papers, drawing from both PL and ML approaches to synthesis. We also sometimes just discuss our current work.

Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries off-campus access, should provide access.

Date Who What
Oct 1


Choose Papers

Oct 8


Relational Program Synthesis

Oct 15

Sam K

DeepBugs: A Learning Approach to Name-based Bug Detection

Oct 22


Generating non-equivalent programs

Oct 29


BLeak: Automatically Debugging Memory Leaks in Web Applications

Nov 5


Spatial: A Language and Compiler for Application Accelerators

Nov 12

Veterans Day - No meeting

Nov 19

Sam E

Syntax-Guided Synthesis of Datalog Programs

Nov 26


Control Plane Compression

Dec 3


Learning to solve SMT formulas

Dec 10


Bidirectional Evaluation with Direct Manipulation