|
Invited Talks / Tutorials |
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).
|
|