CSE590P: Programming Systems Seminar

Spring 2008

Wednesdays 3:30-4:20 in CSE303

Topic: Recent Work in Programming Systems

Date Paper(s) Presenters
Apr 2 Organizational meeting
Apr 9 Outside Speaker: Jeff Foster, University of Maryland
Apr 16 Compiling with continuations, continued
Andrew Kennedy, ICFP07
Jonathan / Ben Y.
Apr 23 Xmem: Type-Safe, Transparent, Shared Memory for Cross-Runtime Communication and Coordination
Michal Wegiel, Chandra Krintz, PLDI08
Jakob / Jon
Apr 30 Outside Speaker: Shriram Krishnamurthi, Brown University
May 7 Two unrelated papers:

Feedback directed implicit parallelism
Tim Harris, Satnam Singh, ICFP07

Clowns to the left of me, jokers to the right (pearl): dissecting data structures
Conor McBride, POPL08

Ben L.
May 14 SharC: Checking Data Sharing Strategies for Multithreaded C
Zachary Ryan Anderson, David Gay, Rob Ennals, Eric Brewer, PLDI08
May 21 Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson, ICFP07
Laura / Aaron
May 28 Grammar-based Whitebox Fuzzing
Patrice Godefroid, Adam Kiezun, Michael Levin, PLDI08
June 4 Quantitative Information Flow as Network Flow Capacity
Stephen McCamant, Michael Ernst, PLDI08