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.

590P home