590P: PL Reading Group

Autumn 2016 — 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 language community, with a particular focus on authors who are coming to UW to give talks this quarter. For the weeks devoted to visitors, we will list two papers. Everyone should read at least one of them, but you don’t have to read both. In order to ensure a reasonable split, please select which paper you read somewhat randomly, as opposed to everyone picking the “easier looking” one. 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
Sep 30


Paper Selection

Oct 7

Pavel and Stuart

Read papers by Eva Darulova

Certifying Solutions for Numerical Constraints and Sound Compilation of Reals

Oct 14

Calvin and Ryan

On the Complexity and Performance of Parsing with Derivatives

background reading: Parsing with Derivatives, a functional pearl

Oct 21

Talia and Doug

Read papers by David Tarditi

Checked-C spec (Section 1, Section 11, skim rest); TIL: A Type-Directed Optimizing Compiler for ML and a restrospective

Oct 28

John and Chenglong

Phosphor and Electric Test

One Phosphor paper and one not-taint-tracking one

Nov 4

Spencer and Steven

Model Checking Programs and Software Engineering and Automated Deduction

One Java PathFinder paper and one not-that

Nov 11

Veteran’s Day Holiday


Nov 18

Alessandra Gorla

Mining Android Apps for Anomalous Behavior

Nov 25

Thanksgiving Holiday


Dec 2

Martin and Max and Bill

Feature-interaction detection based on feature-based specifications and Understanding Understanding Source Code with Functional Magnetic Resonance Imagining

Read papers by Sven Apel

Dec 9

Sam and Eric M. and Nate

Elaborator Reflection: Extending Idris in Idris

Paper Suggestions

Probabilistic Programming

PL Conference Suggestions

To help fill the open slots, please add suggestions from recent PLDI, OOPSLA, POPL, ICFP, and similar conferences.