590P: PL Reading Group

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


Context-free Session Types

Apr 7


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


Type Soundness Proofs with Definitional Interpreters


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.