Spring 2019 — Friday, 2:30pm — CSE2 245

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
Apr 5	Chenglong	Visualization by Example
Apr 12	Krzysztof	TBD
Apr 19	Yu Feng	Smart contracts
Apr 26	Jasper	TBD
May 3	Jacob	JITSynth
May 10	Sam	Name-value embeddings
May 17	Julie	TBD
May 24	Gabriel	TBD
May 31	TBD	TBD
Jun 7	TBD	TBD