Spring 2017 — Friday, 3:30pm — CSE 203

Subscribe to the calendar: iCal or Google Calendar.

We’ll be reading and discussing exciting recent papers from the programming languages community. Participants should subscribe to the 590p mailing list. Note the list also has many current and former department members interested in programming languages.

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 31	Max	Context-free Session Types
Apr 7	Stuart	Dijkstra Monads for Free
Apr 14	Chenglong and Martin	Synthesizing Program Input Grammars
Apr 21	James W	Compiling without continuations
Apr 28	Pavel and Shumo	Farms, pipes, streams and reforestation
May 5	Calvin and Bill	Relational Cost Analysis
May 12	Nate and Julie	Typed self-evaluation via intensional type functions
May 17	Eric and Doug	Verified Low-Level Programming Embedded in F* (no need to read the appendices!) [NOTE: WED!]
May 26	Steven and Spencer	Type Inference for Static Compilation of JavaScript
May 31	Talia	Type Soundness Proofs with Definitional Interpreters

Scheduling

Feel free to swap papers and dates or add yourself as a co-presenter to a topic.

Paper Suggestions

Suggestions and voting took place on the Google Doc.

Also see the suggestions from last quarter, although most are already on the spreadsheet.