CSE590P: Programming Systems

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

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

Spring 2011 schedule:

Mar 30

The Essence of Compiling with Continuations, Flanagan, Sabry, Duba, Felleisen. PLDI'93.
Presenter: Brian Burg, Ben Lerner

Apr 6

Abstracting Abstract Machines, Van Horn and Might. In ICFP'10.
Presenter: Gilbert Bernstein

Apr 13

A Certified Framework for Compiling and Executing Garbage Collected Languages, Andrew McCreight, Tim Chevalier, Andrew Tolmac, In ICFP'10.
Presenter: Colin Gordon, Daniel Perelman

Apr 20

A Syntactic Approach to Type Soundness, Wright and Felleisen. Information and Computation.
Presenter: Charlie Garrett, Todd Schiller

Apr 27

Abstract Threads. Lahiri, Malkis, Qadeer. In VMCAI'10.
Presenter: Laura Effinger-Dean, Kivanc Muslu

May 4

Partial-Coherence Abstractions for Relaxed Memory Models. Michael Kuperstein, Martin Vechev and Eran Yahav. In PLDI'11.
Presenter: Adrian Sampson, Brandon Myers

May 11

LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks. Guoqing Xu, Mike Bond, Feng Qin, Atanas Rountev, In PLDI'11.
Presenter: Ben Wood

May 18

Cause Clue Clauses: Error Localization Using Maximum Satisfiablity, Manu Jose and Rupak Majumdar, In PLDI 11.
Presenter: Sai Zhang

May 25

No meeting (ICSE in Honolulu)

June 1

Improving Software Diagnosability via Log Enhancement. by Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou and Stefan Savage. In ASPLOS 2011
Presenter: Tom Bergen, Joe Devietti