| Date |
Paper(s) |
Presenters |
| Sep 24 |
Organizational meeting |
|
|
Oct 1
|
Race Directed Random Testing of Concurrent Programs
Koushik Sen, PLDI08
|
Jacob
|
|
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.
|
|