Use auxiliary state to express modular structure, at ETAPS 2005 Grand Challenge Workshop on Software Verification, Edinburgh, 3 April 2005.
Assertion based encapsulation and refinement of classes, at Formal Methods for Components and Objects, Leiden NL, 4 Nov 2004.
Towards imperative modules, at the New Jersey Programming Languages Seminar, Princeton, 1 Oct 2004.
Reasoning about modules: data refinement and simulation, at the Java Verification Workshop in conjunction with POPL 2002.
Java, Access Control, and Static Analysis, at the NJITES Symposium on Cyber Security and Trustworthy Software, March 15, 2002.
Invited talk at 2002 Brazilian Symposium on Programming Languages on talk on confinement and abstraction.
NJ Programming Languages Seminar 10/10/02 confinement and representation independence.