Publications

• Introduction to Orc
• Semantics & Verification
• Applications
• Presentations
• Student Reports
• Other Resources

Introduction to Orc (top)

• The Orc Programming Language DOI BibTeX
  David Kitchin, Adrian Quark, William Cook and Jayadev Misra
  Proceedings of FMOODS/FORTE, Springer Verlag, LNCS 5522, pp 1--25, 2009.
• Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures BibTeX
  David Kitchin, Adrian Quark, and Jayadev Misra
  "Reflections on the Work of C.A.R. Hoare", a Festschrift in honor of his 75th birthday, Springer-Verlag, 2010.
• Structured Interacting Computations (A position paper) DOI BibTeX
  William Cook and Jayadev Misra
  Proceedings of Software-Intensive Systems, Springer Verlag, LNCS 5380, pp139 --145, 2008.
• Computation Orchestration: A Basis for Wide-Area Computing DOI BibTeX
  Jayadev Misra and William R. Cook
  Journal of Software and Systems Modeling, March 2007

Semantics & Verification (top)

• A Timed semantics of Orc DOI BibTeX
  Ian Wehrman, David Kitchin, William R. Cook. Jayadev Misra
  Theoretical Computer Science, August 2008
• Properties of the Timed Operational and Denotational Semantics of Orc BibTeX
  Ian Wehrman, David Kitchin, William R. Cook. Jayadev Misra
  University of Texas at Austin, Department of Computer Sciences, 2007, Report# TR-07-65
• Event Structure Semantics of Orc DOI BibTeX
  Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar, and Claude Jard
  4th International Workshop on Web Services and Formal Methods (WS-FM 2007)
  Irisa and UT Austin
• A Language for Task Orchestration and its Semantic Properties (2up) DOI BibTeX
  David Kitchin, William R. Cook and Jayadev Misra
  Proc. of the International Conference on Concurrency Theory (CONCUR), 2006.
  August 27-30, Bonn, Germany.
  Extended version: UTCS Technical Rerport TR-06-32
• A Tree Semantics of an Orchestration Language BibTeX
  Jayadev Misra, Tony Hoare and Galen Menzel
  Lecture Notes for NATO summer school, Marktoberdorf, August 2004

Applications (top)

• Simulation using Orchestration (DRAFT) DOI BibTeX
  David Kitchin, Evan Powell, and Jayadev Misra
  In Proceedings of AMAST, 2008
• Orc-X: Combining Orchestrations and XQuery BibTeX
  Kristi Morton, David Kitchin, William Cook
  The University of Texas at Austin, Department of Computer Sciences, December 2007, Report# TR-07-63
• Workflow Patterns in Orc (2up) DOI BibTeX
  William R. Cook, Sourabh Patwardhan, and Jayadev Misra
  Proc. of the International Conference on Coordination Models and Languages (COORDINATION), 2006
  (slides from talk)

Presentations (top)

• Structured Application Development over Wide-Area Networks
  William Cook, Jayadev Misra, David Kitchin, Adrian Quark, Andrew Matsuoka, John Thywissen
  FORTE 2009
• Describing Simulations in the Orc Programming Language
  David Kitchin, Adrian Quark, Jayadev Misra
  23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009)

Student Reports (top)

• Secure Information Flow in the Orc Concurrent Programming Language
  John A. Thywissen
  The University of Texas at Austin, C S 380S Theory and Practice of Secure Systems, Dec 2009
• Secure Information Flow in Orc (DRAFT)
  Adrian Quark
  The University of Texas at Austin, Department of Computer Sciences, May 2009
• Transactional Orc
  Katherine E. Coons
  The University of Texas at Austin, C S 395T Computation Orchestration, May 2008
• Distributed Orc
  Adrian Quark
  The University of Texas at Austin, C S 395T Computation Orchestration, May 2008

Other Resources (top)

• A Semantics for Exception Handling in Orc BibTeX
  Andrew Matsuoka and David Kitchin
  Unpublished, 2009.

• Operational and Denotational Semantics of the Otherwise Combinator (DRAFT) BibTeX
  David Kitchin
  Unpublished, 2009.

• Implementation Outline of Orc BibTeX
  William R. Cook and Jayadev Misra
  Unpublished, 2005.