This page is a repository of slides for talks I've given starting in Fall 2008. Contact me if you have any questions.
2010
2009
- Regional Logic: Increasing Expressiveness Without Loss of Modularity [PDF] [PPTX]
my attempt at explicating the work of [BNR2008] in a JML context
2008
- Tisa: Connecting Web Services in Policy, Spec & Code [PDF] [PPTX]
an overview of the architecture described later by [RTSL2009]