CSE590P: Programming Systems Seminar

Spring 2013

Wednesdays 4:00-5:00 in Allen Center 303

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ç

Previous quarters of 590P

Valid CSS! Valid XHTML 1.1