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
|
Everyone |
Choose Papers |
|
Oct 8
|
Julie |
Relational Program Synthesis |
|
Oct 15
|
Sam K |
DeepBugs: A Learning Approach to Name-based Bug Detection |
|
Oct 22
|
Maaz |
Generating non-equivalent programs |
|
Oct 29
|
Krzysztof |
BLeak: Automatically Debugging Memory Leaks in Web Applications |
|
Nov 5
|
Ras |
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
|
Yu |
Control Plane Compression |
|
Dec 3
|
James |
Learning to solve SMT formulas |
|
Dec 10
|
Sarah |
Bidirectional Evaluation with Direct Manipulation |