Tutorials and Talks (in reverse chronological order)
- At the Intersection of Applied Formal Methods and Unit Testing. National Taiwan University, Taipei, Taiwan, January 2011.
- Building Reliable Software with Applied Formal Methods: A Brief Overview. National Taiwan University, Taipei, Taiwan, January 2010.
- Building Reliable Software with Applied Formal Methods: A Brief Overview. KITECH, Seoul, South Korea, August 2009.
- 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.