| 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
|
Jacob
Ben L. |
| May 14 |
SharC: Checking Data Sharing Strategies for Multithreaded C
Zachary Ryan Anderson, David Gay, Rob Ennals, Eric Brewer, PLDI08
|
Tayfun |
| 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
|
Marius |
| June 4 |
Quantitative Information Flow as Network Flow Capacity
Stephen McCamant, Michael Ernst, PLDI08
|
Sam |
|