Invited Talks / Tutorials

Below are invited conference/workshop talks and tutorials that I have given in the past...

• Robby and I are giving 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 Partial Evaluation.
  Here are the lecture materials (please let me know if you use these -- comments are welcome).