Tutorials (in reverse chronological order)

• Verification-centric Development in Java with JML and ESC/Java2, with Joseph R. Kiniry, Gary T. Leavens, and Erik Poll. 2009 European Joint Conferences on Theory and Practice of Software (ETAPS 2009), York, United Kingdom, March 2009. Accepted, but subsequently canceled due to attendance effects of economic downturn.
• Verification-centric Development in Java using BON, JML and ESC/Java2, with Joseph R. Kiniry, David Cok, Fintan Fairmichael, Gary T. Leavens, and Erik Poll. TOOLS-EUROPE 2008, Zürich, Switzerland, June/July 2008.
• Verification-centric Development in Java using JML and ESC/Java2, with Joseph R. Kiniry, Gary T. Leavens, and Erik Poll. 2008 European Joint Conferences on Theory and Practice of Software (ETAPS 2008), Budapest, Hungary, March/April 2008.