590P: PL Reading Group

Winter 2016 — Wednesday, 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
Jan 6


Paper Selection

Jan 13

Bartosz and Marisa

Comprehending Monads

Jan 20

Ben and John

Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis With Unbounded Access Paths

Jan 27

Doug and Pavel

Dependent Types and Multi-Monadic Effects in F*

Feb 3

Talia and Alex S.

A Unification Algorithm for COQ Featuring Universe Polymorphism and Overloading

Feb 10

Eric and Stuart

Sound Type-Dependent Syntactic Language Extension

Feb 17

Alex P. and Calvin

In Search of Types

Feb 24

Chenglong and Konstantin

Practical Principled FRP

Mar 2

James B. and Bill

The Silently Shifting Semicolon

Mar 9


No meeting (visit days)

Paper Suggestions