Spring 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
Mar 26	Everyone	Choose Papers
Apr 2	Sam K	The Three Pillars of Machine-Based Programming
Apr 9	Maaz	Program Synthesis using Conflict-Driven Learning Early Version Linked, Looking for later version
Apr 16	Chenglong	Comparison: Learned Index Structures vs Classical Learned Index Structures vs Classical Structures
Apr 23	Julie	User Studies of Principled Model Finder Output
Apr 30	Sam E	SAT-based compilation to a non-von Neumann processor
May 7	Ras	Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
May 14	–	No meeting – PNW PLSE workshop at Microsoft
May 21	Sam K	Hackathon!: Reinforcement learning experiments on super-optimization Optional reading: Human-level control through deep reinforcement learning
May 28	–	No meeting – Memorial Day
Jun 4	Fredrik Kjolstad (MIT)	The Sparse Tensor Algebra Compiler
Jun 11	Ruzica Piskac (Yale) Room: CSE 403	TBD