CSE590P: Programming Systems Seminar

Winter 2010

Wednesdays 3:30–4:20 in EEB031

Date Paper Presenters
Jan 6 Organizational meeting
Jan 13 Flapjax: A Programming Language for Ajax Applications
Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi, OOPSLA09
Michael, Sam
Jan 20 The semantics of x86-CC multiprocessor machine code
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, and Jade Alglave, POPL09
Sigurd, Laura
Jan 27 Snugglebug: A Powerful Approach to Weakest Preconditions
Satish Chandra, Stephen J. Fink, and Manu Sridharan, PLDI09
Sai, Marius
Feb 3 Compositional May-Must Program Analysis: Unleashing The Power of Alternation
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, POPL2010
Tom, Gilbert
Feb 10 Dependent Types from Counterexamples
Tachio Terauchi, POPL2010
Todd, Colin
Feb 17 A type and effect system for deterministic parallel Java
Robert L. Bocchino, Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, and Mohsen Vakilian, OOPSLA09
Joe, Reto
Feb 24 Integrating Typed and Untyped Code in a Scripting Language
Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Ostlund, and Jan Vitek, POPL10
Jonathan, Matt
Mar 3 The Design of a Task Parallel Library
Daan Leijen, Wolfram Schulte, and Sebastian Burckhardt, OOPSLA09
Ben, Emily
Mar 10 Runtime Support for Multicore Haskell
Simon Marlow, Simon Peyton Jones, and Satnam Singh, ICFP09
Bartosz, Ethan

Valid CSS! Valid XHTML 1.1