Bilateral Proofs of Concurrent programs
Jan 11, 2016
Meeting of WG 2.3, Pasadena, CA.
A simple and neat denotational semantic theory
of concurrent systems
Festschrift in honor of Jose Meseguer
Sept. 23-25, 2015, Urbana, Illinois
Structured Concurrent Programming
Sept. 6-12, 2015
LASER Summer School on Software Engineering, Elba Island, Italy
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
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
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