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