CSE590P: Programming Systems Seminar

Winter 2012

Wednesdays 3:30–4:20 in CSE303

Our plan for the quarter is:

  1. Three weeks on the "theory" of garbage collection
  2. Three weeks on old and new work on optimizing dynamic languages
  3. Three weeks on other topics

Participants should subscribe to the 590p mailing list. Note the list also has many current and former department members interested in programming languages.

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
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
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

Additional papers on garbage-collection theory:

Additional old papers on implementing dynamic languages:

Additional new papers on implementing dynamic languages:

Previous quarters of 590P

Valid CSS! Valid XHTML 1.1