CSE 590P: PL Seminar (Winter 2014)

Wed 3:30pm to 4:30pm in CSE 203

Overview

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.

Schedule

Date Presenter Paper
Jan 8 Zach Tatlock Organization
Jan 15 Brandon H., Stuart Exploiting Vector Instructions with Generalized Stream Fusion
Jan 22 Brandon M., Ben Practical Automatic Loop Specialization
Jan 29 James, Eric M. The Bedrock Structured Programming System
Feb 5 Colin Programming and Reasoning with Algebraic Effects and Dependent Types
Feb 12 Doug, Adrian A Verified Information Flow Architecture
Feb 19 Pavel, Konstantin Combining Proofs and Programs in a Dependently Typed Langauge
Feb 26 Tom NetKAT: Semantic Foundations for Networks
Mar 5 Calvin, Eric R. Copatterns: programming infinite structures by observations
Mar 12 Darioush, Kivanc Refactoring with Synthesis