CSE590P: Programming Systems Seminar

Spring 2012

Wednesdays 3:30–4:20 in Room CSE303

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

Previous quarters of 590P

Valid CSS! Valid XHTML 1.1