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