Invited Lecture at WRiPE
Lecture at WG 2.3
Keynote at ICTAC Conference
August 31, 2011
Johannesburg, S. Africa.
Keynote at Exascale Programming Workshop
July 27, 2011
Marina del Rey, CA.
Tutorial Lecture on Orc; Orc Calculus
Tutorial Lecture on Orc; Orc Programming Language
Tutorial Lecture on Orc; Orc Programming Examples
Tutorial Lecture on Orc; Orc Abstraction, Class
Sep. 13, 2010
SEFM, Pisa, Italy (preliminary version)
Workshop Lecture on the Basics of Orc
April 12, 2010
IRISA / INRIA, Campus de Beaulieu, Rennes, France
A Vision of Large-scale Software Design
April 9, 2010
Speech at Ecole Normale Superieure, Cachan, France, on the occasion of receiving an honorary doctorate (Doctorat Honoris Causa).
Using Concurrency for Structuring
Meeting of IFIPS WG 2.3, Lachen, Switzerland
Lecture on Orc
TECS Week, TRDDC, Pune, India
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
Structured Application Development over Wide-Area Networks. Invited
Talk given at FMOODS/FORTE, Lisbon, June 10, 2009.
Quicksort, again; 4/16/09. Talk in honour of Sir Tony Hoare in
celebration of his 75th birthday.
A Language for Task Orchestration and its Semantic Properties;
Concur 2006, Bonn, 8/27/06.
Verified Software: the next step; HCSS Conference at NSA,
Orc Model, CMU Computer Science Dept., 4/20/06.
Orc Semantics, CMU Computer Science Dept., 4/21/06
Graduate Research course, CS398T,
Research Strategy Workshop:
MPI for Software Systems.
Max Planck Institute, Sept. 23, 2005.
Computation Orchestration: Lectures given at LASER School, Elba, Italy, Sep. 2005.
Lecture at the TECS Week, January 2005.
Postscript (444K bytes)
PDF (200K bytes)
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