CSE590P: Programming Systems Seminar

Winter 2013

Wednesdays 4:00-5:00 in Allen Center 305 (changed after organizational meeting)

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

Previous quarters of 590P

Valid CSS! Valid XHTML 1.1