Program Synthesis Group

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


Choose Papers

Apr 2

Sam K

The Three Pillars of Machine-Based Programming

Apr 9


Program Synthesis using Conflict-Driven Learning

Early Version Linked, Looking for later version

Apr 16


Comparison: Learned Index Structures vs Classical

Learned Index Structures vs Classical Structures

Apr 23


User Studies of Principled Model Finder Output

Apr 30

Sam E

SAT-based compilation to a non-von Neumann processor

May 7


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