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	PLSE	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	None
Nov 18	Alessandra Gorla	Mining Android Apps for Anomalous Behavior
Nov 25	Thanksgiving Holiday	None
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.

PLDI 16

• Cartesian Hoare Logic for Verifying k-Safety Properties

• A Design and Verification Methodology for Secure Isolated Regions

OOPSLA 16

POPL 16

• Dependent Types and Multi-Monadic Effects in F*

• Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates

• Temporal Verification of Higher-Order Functional Programs

ICFP 16

• Higher-Order Ghost State