CSE590P: Programming Systems

Be sure to sign up for the 590p mailing list.

We meet Wednesdays 3:30-4:20 in room CSE 203.

Autumn 2010 schedule:

1. Sep 29
   Organizational meeting
2. Oct 6
   What Can the GC Compute Efficiently?
   by Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Guyer
   in OOPSLA 2010
   Presenters: Joe, Ben W.
3. Oct 13
   Semantic Subtyping with an SMT Solver
   by Gavin Bierman, Andrew Gordon, Catalin Hritcu, David Langworthy
   in ICFP 2010
   Presenters: Gilbert
4. Oct 20
   No meeting (OOPSLA in Reno, NV)
5. Oct 27
   Logical Types for Untyped Languages
   by Sam Tobin-Hochstadt, Matthias Felleisen
   in ICFP 2010
   Presenters: Todd, Brian
6. Nov 3
   LEAP: Lightweight Deterministic Multi-processor Replay of Concurrent Java Programs
   by Jeff Huang, Peng Liu, Charles Zhang
   in FSE 2010
   Presenters: Tom, Brandon
7. Nov 10
   No meeting (FSE in Santa Fe, NM)
8. Nov 17
   An Effective Dynamic Analysis for Detecting Generalized Deadlocks
   by Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
   in FSE 2010
   Presenters: Kivanc, Laura
9. Nov 24
   Snow day
10. Dec 1
    Type Classes as Objects and Implicits
    by Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky
    in OOPSLA 2010
    Presenters: Colin, Daniel
11. Dec 8
    The Essence of JavaScript
    by Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
    in ECOOP 2010
    Presenters: Jason, Ben L.