Slides used in Presentations

Structured Concurrent Programming
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