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 | Paper(s) | Presenter(s) |
| Jan 9 | Organization | Dan, Mike E |
| Jan 16 | Software Data-Triggered Threads, OOPSLA2012 | Kivanc, Edward |
| Jan 23 | Equality proofs and deferred type errors: a compiler pearl, ICFP2012 | Eric M, Adrian |
| Jan 30 | Work-stealing without the baggage, OOPSLA2012 | Ben, Eric R |
| Feb 6 | Views: Compositional Reasoning for Concurrent Programs, POPL2013 | Colin |
| Feb 13 | Integrating task parallelism with actors, OOPSLA2012 | Brandon, Brian |
| Feb 20 | HALO: Haskell to Logic through Denotational Semantics, POPL2013 | Daniel, Darioush |
| Feb 27 | Higher-order symbolic execution via contracts, OOPSLA2012 | Alex, Konstantin |
| Mar 6 | Static and Dynamic Semantics of NoSQL, POPL13 | Todd |
| Mar 13 | Automatic Inference of Necessary Preconditions, VMCAI2013 | Tom, Kellen |