CSE590P: Programming Systems

Be sure to sign up for the 590p mailing list.

We meet Wednesdays 3:30-4:20 in room EEB 045.

Winter 2011 schedule:

Jan 5

A Time-Aware Type System For Data-Race Protection and Guaranteed Initialization
by Nicholas Matsakis, Thomas R. Gross
in OOPSLA 2010
Presenter: Adrian

Jan 26

Pick Your Contexts Well: Understanding Object-Sensitivity (The Making of a Precise and Scalable Pointer Analysis) Y. Smaragdakis, M. Bravenboer, O. Lhotak. In POPL 2011.
Presenter: Emily, Kivanc

Feb 2

Points-to Analysis with Efficient Strong Updates. By Ondrej Lhotak, Kwok-Chiang Andrew Chung POPL 2011
Presenter: Laura, Daniel

Feb 9

EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system, Perry H. Want et. al, PLDI 07
Presenter: Hadi

Feb 16

On understanding data abstraction, revisited By William R. Cook In OOPSLA 2009
Presenter: Todd, Sai

Feb 23

Safe Non-Determinism in a Deterministic-by-Default Parallel Language, by Rob Bocchino, Stephen Heumann, Nina Honormand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman POPL 2011
Presenter: Adrian, Tom

Mar 2

Evaluating the Accuracy of Java Profilers Todd Mytkowicz (University of Colorado, MSR), Amer Diwan (University of Colorado), Matthias Hauswirth (University of Lugano), Peter Sweeney (IBM Research). In PLDI 2010.
Presenter: Colin, Ben W.

Mar 9

SPUR: a trace-based JIT compiler for CIL By Michael Bebenita, Florian Brandner, Manuel Fahnrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillman, Herman Venter In OOPSLA 2010
Presenter: Brian, Ben L.