Slides used in Presentations

A Personal Perspective on Concurrency   June 11, 2014
Keynote at PLDI (Aborted, because of canceled flight), Edinburgh.

A denotational semantic theory of concurrent systems   May 2014
WG 2.3 Meeting, Orlando, Florida.

A Few Small Orc programs   March 7, 2014
ETH, Zurich.

Keynote given at the 10th Intl. Symposium on Formal aspects of Component Software  Oct. 28-30, 2013
Nanchang, China.

Tutorial given at the 10th Intl. Symposium on Formal aspects of Component Software  Oct. 28-30, 2013
Nanchang, China.

Lecture at WG 2.3  June 2013
St. Petersburg, Russia.

Invited Lecture at WRiPE  Oct 2012
Austin, Tx.

Lecture at WG 2.3  July 2012
Seattle.

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  March 2010
Meeting of IFIPS WG 2.3, Lachen, Switzerland

Lecture on Orc  January 2010
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
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