Some of the paper links point into the ACM Digital Library or the
Springer online collection. In either case, using a UW IP address
should provide access.
| Date |
Paper(s) |
Presenter(s) |
| Jan 4 |
Organizational Meeting
Suggestions for paper presentations
|
Mike E. & Dan |
| Jan 11 |
A Unified Theory of Garbage Collection Bacon et al, OOPSLA04
(Additional background) Uniprocessor Garbage Collection Techniques Wilson, IWMM92
|
Laura |
| Jan 25 |
Bounding Space Usage of Conservative Garbage Collectors Boehm, POPL02
Simple Garbage-Collector-Safety Boehm, PLDI96
(Additional background) Garbage Collection in an Uncooperative Environment Boehm, Weiser, SPE88
|
Tom |
| Feb 1 |
The Space Cost of Lazy Reference Counting, Boehm, POPL04
Space Overhead Bounds for Dynamic Memory Management with Partial Compaction Bendersky, Petrank, POPL11
|
Todd, Nick |
| Feb 8 |
Global Tagging Optimization by Type Inference, Henglein, LFP92
|
Adrian, Mike R. |
| Feb 15 |
Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback, Holzle/Ungar, PLDI94
|
Brandon M., Brian |
| Feb 22 |
Trace-Based Just-In-Time Type Specialization for Dynamic Languages, Gal et al, PLDI09
Tracing the Meta-Level: PyPy's Tracing JIT Compiler, Bolz et al, ICOOOLPS09
|
Brandon H., Stefan |
| Feb 29 |
Dimensions in Program Synthesis Gulwani, PPDP10
|
Daniel, Kivanc |
| Mar 7 |
Run Your Research: On the Effectiveness of Lightweight Mechanization Klein et al, POPL12
|
Colin |
| later |
Sound Predictive Race Detection in Polynomial Time Smaragdakis et al, POPL12
|
Ben, Joe |
