Slides used in Presentations

Bilateral Proofs of Concurrent programs Short Talk   Long Talk  
March 23 -- 27, 2015
WG 2.3 meeting, Istanbul, Turkey

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

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

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, 4/18/06.

Orc Model, CMU Computer Science Dept., 4/20/06.

Orc Semantics, CMU Computer Science Dept., 4/21/06

Graduate Research course, CS398T, Fall 2005.

Research Strategy Workshop: MPI for Software Systems.
Max Planck Institute, Sept. 23, 2005.

Computation Orchestration: Lectures given at LASER School, Elba, Italy, Sep. 2005.
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

TECS week, Pune, Jan 2002