Invited Talks / Tutorials
Below are invited conference/workshop talks and tutorials that I have given in the past...
- Tenth International Conference on Formal Engineering Methods (ICFEM 2008) -- keynote talk, Kitakyushu, Japan, October 27-31, 2008. (slides)
- Robby and I gave a half-day tutorial on our extensible software model-checker
called Bogor at PLDI 2005,
Chicago, Illinois (USA). June 11, 2005.
- Matt Dwyer, Robby, and I gave a half-day tutorial on Bogor at ETAPS 2004, Barcelona, Spain. April 3, 2004
- I'm an invited lecturer at the 3rd Estonian Summer School in Computer and System Science (ESSCaSS 2004), August 8-12, 2004 and I'll be lecturing on extensible model-checking tools. You can find all the lecture materials here.
- I gave an invited talk on specialization of event-based avionics designs at ACM SIGPLAN 2003 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2003)
- I gave an invited talk at the First International Symposium on Formal Methods for Components and Objects (FMCO)in Leiden, The Netherlands. Nov. 5-8, 2002 (slides for the talk).
- I tought a module on software model checking at the International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM '02) in Bertinoro, Italy. September 9-14, 2002. (slides from the module: Lecture 1 (Bandera), Lecture 2 (Specification Patterns), Lecture 3 (Cadena))
- Matt Dwyer and I gave a six-hour tutorial on the Bandera model-checking tools at ETAPS 2002. Grenoble, France. April 13, 2002.
- I gave an invited talk at the 18th Annual Confererence on Mathematical Foundations of Programming Language Semantics (MFPS 18). Tulane University, New Orleans, LA. 23-26 March, 2002.
- Tutorial on software model-checking at the 12th International Conference on Concurrency Theory (CONCUR 2001) in Aalborg, Denmark, 21-24 August 2001.
- Overview of the Bandera Tool Set at Workshop on Software Model Checking in Paris, France, July 23, 2001.
- I was a lecturer at the 1998 DIKU International Summer School on
Here are the lecture materials (please let me know if you use these -- comments are welcome).