| Date |
Paper(s) |
Presenters |
| Apr 1 |
Organizational meeting |
|
|
Apr 8
|
Efficiently and Precisely Locating Memory Leaks and Bloat
Gene Novark, Emery Berger, and Benjamin Zorn, PLDI09
|
Tom
|
|
Apr 15
|
Staged Information Flow for JavaScript
Ravi Chugh, Jeff Meister, Ranjit Jhala, and Sorin Lerner, PLDI09
|
Jon, Sam
|
|
Apr 22
|
Static Contract Checking for Haskell
Dana N. Xu, Simon Peyton Jones, and Koen Claessen, POPL09
|
Marius
|
|
Apr 29
|
Proving Optimizations Correct Using Parameterized Program Equivalence
Sudipta Kundu, Zachary Tatlock, and Sorin Lerner, PLDI09
|
Matt
|
|
May 6
|
Demystifying magic: High-level low-level programming
Daniel Frampton, Stephen M Blackburn, Perry Cheng, Robin Garner, David
P Grove, J Eliot B Moss, and Sergey I Salishev, VEE09 |
Jonathan, Owen
|
|
May 13
|
Relaxed memory models: an operational approach
Gerard Boudol and Gustavo Petri, POPL09
|
Ben Y., Laura
|
|
May 20
|
Focusing on Pattern Matching
Neelakantan Krishnaswami, POPL09
|
Ben L.
|
|
May 27
|
Producing Wrong Data Without Doing Anything Obviously Wrong!
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter Sweeney, ASPLOS09
|
Ryan, Jacob, Joe
|
|
Jun 3
|
Chameleon: Adaptive Selection of Collections
Ohad Shacham, Martin Vechev, and Eran Yahav, PLDI09
|
Ben W., Kristi
|
|