[PRL] Torture Chamber: Tomorrow (9/22) @ 1 PM

[Stevie Strickland]

Tomorrow at 1:00 PM I'm practicing my IFL presentation.  As with the  
other IFL talks, it's a 25 minute slot and thus I'm aiming for a 20  
minute talk.  I would appreciate both your attendance and feedback.

Thanks,
Stevie

Title: Implementing General Contract Boundaries

Joint work with Matthias Felleisen

Abstract (from the draft paper):

The theory of software contracts assumes fixed and statically known  
boundaries between the parties. Implementations of contract monitoring  
systems rely on this assumption to communicate the knowledge of  
contract parties to the run-time checking system. The latter exploits  
this knowledge to explain the nature of contract violations and to  
assign blame to violators.

In this paper, we explain the implementation of arbitrary, nested, and  
dynamic contract boundaries with two examples. First, we add nestable  
contract regions to a static, first-order module system. Second, we  
show that even a dynamic, higher-order, hierarchical module system can  
be equipped with software contracts that support precise blame  
assignment.