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) |
| Apr 3 | Organization | Dan |
| Apr 10 | Dependent Types for Javascript, Chugh et al, OOPSLA12 | Colin, Daniel |
| Apr 17 | Formal verification of SSA-based optimizations for LLVM, Zhao et al, PLDI13
Recommended background: Sections 1, 2, and 6 of Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant, Leroy, POPL06 |
Tom, Stuart |
| Apr 24 | Taming Compiler Fuzzers, Chen et al, PLDI13 | Konstantin, Darioush |
| May 1 | Cache and I/O Efficient Functional Algorithms, Blelloch, Harper, POPL13 | Eric R., Zach |
| May 8 | A Study of the Scalability of Stop-the-World Garbage Collectors on Multicore, Gidra et al, ASPLOS13 | Ben, Edward, Daryl |
| May 15 | Reasoning About Multi-Stage Programs, ESOP12 | Todd, Eric M. |
| May 22 | Concurrent Data-Representation Synthesis, Hawkins et al, PLDI12 | Brandon H., Brandon M. |
| May 29 | Complete Completion using Types and Weights, Gvero et al, PLDI13 | Kellen, Alex |
| Jun 5 | CONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs, Burnim et al, PLDI13 | Adrian, Kıvanç |