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. In either case, using a UW IP address should provide access. (PLDI2012 papers are not yet in the Digital Library, so links below point to copies posted by the authors.)
| Date | Paper(s) | Presenter(s) |
| Mar 28 | Sound Predictive Race Detection in Polynomial Time Smaragdakis et al, POPL12 | Ben, Joe |
| Apr 4 | Reasoning about Relaxed Programs Carbin et al, PLDI2012 | Adrian |
| Apr 11 | Reagents: Expressing and Composing Fine-Grained Concurrency Turon, PLDI2012 | Brandon H. |
| Apr 18 | Syntax and Semantics of Dependent Types, Sections 1 and 2 only, Hofmann, 1990s Manuscript | Mike, Katelin |
| Apr 25 | Dependently Typed Programming in Agda, Norell, Advanced Functional Programming 2008 | Daniel, Todd |
| May 2 | ECC, an extended calculus of constructions, skip Section 4, Luo, LICS 1989 | Colin |
| May 9 | Race Detection for Web Applications, Petrov et al, PLDI2012 | Brian, Jeff |
| May 16 | Two for the Price of One: A Model for Parallel and Incremental Computation Burckhardt et al, OOPSLA2011 | Brandon L., Joe |
| May 23 | SuperC: Parsing All of C by Taming the Preprocessor Gazillo, Grimm, PLDI2012 | Tom, Kivanc |
| May 30 | SugarJ: library-based syntactic language extensibility Erdweg et al, OOPSLA2011 | Sai, Ben |