CSE590P: Programming Systems Seminar

Fall 2008

Wednesdays 3:30-4:20 in CSE203

Date Paper(s) Presenters
Sep 24 Organizational meeting
Oct 1 Race Directed Random Testing of Concurrent Programs
Koushik Sen, PLDI08
Oct 8 Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs
Cormac Flanagan, Stephen Freund, Jaeheon Yi, PLDI08
Joe, Ben W.
Oct 15 Event-Based Programming without Inversion of Control
Philipp Haller, Martin Odersky, JMLC06
Ben Y., Tom
Oct 22 Quotient lenses
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce, ICFP08
Kate, Marius
Oct 29 Compiling Cryptographic Protocols for Deployment on the Web
Jay McCarthy, Joshua Guttman, John Ramsdell, Shriram Krishnamurthi, WWW07
Aaron, Lisa
Nov 5 Secure Implementations for Typed Session Abstractions
Ricardo Corin, Pierre-Malo Denielou, Cedric Fournet, Karthikeyan Bhargavan, James Leifer, CSF07
Matt, Kristi
Nov 12 Caja: Safe active content in sanitized JavaScript
Mark Miller, Mike Samuel, Ben Laurie, Ihav Awad, Mike Stay, unpublished
Laura, Jonathan
Nov 19 Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches
Urs Hoelzle, Craig Chambers, David Ungar, ECOOP91

Incremental Dynamic Code Generation with Trace Trees
Andreas Gal, Michael Franz, 2006 Tech. Report
Jon, Daniel
Nov 26 No meeting
Dec 3 An Operational Semantics for Javascript TR version APLAS08 version
Sergio Maffeis, John C. Mitchell, Ankur Taly,
Website with all the actual rules (in ASCII!!)
Ben L.




These are the blog posts about the Tamarin Javascript enginer that we originally scheduled for the last week: