Slides used in Presentations

Should We Teach Formal Methods at All?  Nov. 09, 2009
Visions in Computer Science, University of Texas at Austin.

Describing Simulations in the Orc Programming Language; Keynote at 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009); June 22-25, 2009; Lake Placid, New York, USA
PDF

Structured Application Development over Wide-Area Networks. Invited Talk given at FMOODS/FORTE, Lisbon, June 10, 2009.
PDF

Quicksort, again; 4/16/09. Talk in honour of Sir Tony Hoare in celebration of his 75th birthday.
PDF

A Language for Task Orchestration and its Semantic Properties; Concur 2006, Bonn, 8/27/06.
PDF

Verified Software: the next step; HCSS Conference at NSA, 4/18/06.
PDF

Orc Model, CMU Computer Science Dept., 4/20/06.
PDF

Orc Semantics, CMU Computer Science Dept., 4/21/06
PDF

Graduate Research course, CS398T, Fall 2005.
PDF

Research Strategy Workshop: MPI for Software Systems.
Max Planck Institute, Sept. 23, 2005.
PDF

Computation Orchestration: Lectures given at LASER School, Elba, Italy, Sep. 2005.
Introduction
Semantics
Implementation
Program Structuring
Distributed Execution

Wide-Area Computing.
Lecture at the TECS Week, January 2005.
Postscript (444K bytes)
PDF (200K bytes)

Wide-Area Computing.
Keynote at Software Engineering and Formal Methods(SEFM), Beijing, 26-30 September, 2004.
Postscript (316K bytes)
PDF (148K bytes)

Computation Orchestration: A Basis for Wide-Area Computing.
Lectures at Marktoberdorf summer school, Germany, Aug. 2004
Postscript (763K bytes)
PDF (334K bytes)
Text of the lectures

Powerlist.
TECS week, Pune, Jan 2002
PDF