Program Synthesis Group

Winter 2019 — 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
Jan 14

Everyone

Chat about plans

Jan 21

No one

No meeting – MLK Day

Jan 28

Zhao Song

Adversarial Deep Learning

Feb 4

TBD

TBD

Feb 11

TBD

TBD

Feb 18

TBD

TBD

Feb 25

TBD

TBD

Mar 4

TBD

TBD

Mar 11

TBD

TBD

Mar 18

TBD

TBD