Publications

• From the Orc team at UT Austin:
  
  • Introduction to Orc
  • Semantics & Verification
  • Language Extensions
  • Applications
  • Presentations
  • Student Reports
  • Other Resources
• From the broader Orc community (i.e., not the Orc team at UT Austin)

Introduction to Orc (top)

• The Orc Programming Language DOI BibTeX
  David Kitchin, Adrian Quark, William Cook, and Jayadev Misra
  Proceedings of FMOODS/FORTE, Springer, LNCS 5522, pp. 1–25, 2009.
• Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures DOI 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, 2010.
• Structured Interacting Computations (A position paper) DOI BibTeX
  William Cook, and Jayadev Misra
  Proceedings of Software-Intensive Systems, Springer, LNCS 5380, pp. 139–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 Denotational Semantic Theory of Concurrent Systems (DRAFT)
  Jayadev Misra
  Unpublished, August 2014
• Orchestration and Atomicity hdl BibTeX
  David Kitchin
  Ph.D. dissertation, The University of Texas at Austin, August 2013
• A Timed semantics of Orc DOI BibTeX
  Ian Wehrman, David Kitchin, William R. Cook, and 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, and Jayadev Misra
  University of Texas at Austin, Department of Computer Science, 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

Language Extensions (top)

• OrcO: A Concurrency-First Approach to Objects DOI BibTeX
  Arthur Michener Peters, David Kitchin, John A. Thywissen, and William R. Cook
  In OOPSLA'16: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2016
  November 2-4, 2016, Amsterdam.
• Implicitly Distributing Pervasively Concurrent Programs [extended abstract] DOI BibTeX
  John A. Thywissen, Arthur Michener Peters, and William R. Cook
  In First Workshop on Programming Models and Languages for Distributed Computing (PMLDC), 2016
  July 17, 2016, Rome, Italy.
• Orchestration and Atomicity hdl BibTeX
  David Kitchin
  Ph.D. dissertation, The University of Texas at Austin, August 2013

Applications (top)

• QoS-aware Management of Monotonic Service Orchestrations (published version) DOI BibTeX
  Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, and John A. Thywissen
  In Formal Methods in System Design, 2013
  Supplemental material
• 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 Science, 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)

• cOrcS: Continuation of Orc Security with Static Integrity Checking
  Lauren Yew
  The University of Texas at Austin, Department of Computer Science, Undergraduate honors thesis HR-12-11, Dec 2011.
• 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 Science, 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.

Publications from the broader Orc community (i.e., not the Orc team at UT Austin) (top)

• Fernandez-Reyes, Kiko; Clarke, Dave; McCain, Daniel S. ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. In: Lluch Lafuente, Alberto; Proença, José, eds.. Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016; 2016 Jun 6–9; Heraklion, Crete, Greece. Springer; 2016. p. 101–120. (Lecture Notes in Computer Science; vol. 9686). doi:10.1007/978-3-319-39519-7_7.

• Stewart, Alan; Gabarro, Joaquim; Keenan, Anthony. Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. In: Destercke, Sébastien; Denoeux, Thierry, eds.. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015; 2015 Jul 15–17; Compiègne, France. Springer; 2015. p. 141–150. (Lecture Notes in Computer Science; vol. 9161). doi:10.1007/978-3-319-20807-7_13.

• AlTurki, Musab A.; Meseguer, José. Executable Rewriting Logic Semantics of Orc and Formal Analysis of Orc Programs. Journal of Logical and Algebraic Methods in Programming. 2015 Jul; 84(4):505–533. doi:10.1016/j.jlamp.2015.03.003.

• AlTurki, Musab A.; Alzuhaibi, Omar. Towards Formal Verification of Orchestration Computations Using the K Framework. In: Bjørner, Nikolaj; de Boer, Frank D., eds.. FM 2015: Formal Methods - 20th International Symposium; 2015 Jun 24–26; Oslo, Norway. Springer; 2015. p. 40–56. (Lecture Notes in Computer Science; vol. 9109). doi:10.1007/978-3-319-19249-9_4.

• Lu, Ruqian. Knorc Calculus and Its Formal Semantics. International Journal of Software and Informatics. 2015; 9(2):205–231.

• Perrin, Matthieu; Jard, Claude; Mostéfaoui, Achour. Tracking Causal Dependencies in Web Services Orchestrations Defined in Orc. In: Bouajjani, Ahmed; Fauconnier, Hugues, eds.. Networked Systems: Third International Conference, NETYS 2015; 2015 May 13–15; Agadir, Morocco. Springer; 2015. p. 382–396. (Lecture Notes in Computer Science; vol. 9466). doi:10.1007/978-3-319-26850-7_26.

• You, Zhen; Xue, Jinyun; Hu, Qimin; Hong, Yi. Formal Semantics of Orc Based on TLA+. In: Liu, Shaoying; Duan, Zhenhua, eds.. Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014; 2014 Nov 6; Luxembourg. Springer; 2014. p. 147–163. (Lecture Notes in Computer Science; vol. 8979). doi:10.1007/978-3-319-17404-4_10.

• Gabarró, Joaquim; Serna, Maria J.; Stewart, Alan. Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles. The Computer Journal. 2014 Nov; 57(11):1591–1615. doi:10.1093/comjnl/bxt063.

• Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian. Towards Verification of Computation Orchestration. Formal Aspects of Computing. 2014 Jul; 26(4):729–759. doi:10.1007/s00165-013-0280-9.

• Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng. A UTP Semantic Model for Orc Language with Execution Status and Fault Handling. Frontiers of Computer Science. 2014; 8(5):709–725. doi:10.1007/s11704-014-3385-2.

• Stewart, Alan; Gabarró, Joaquim; Keenan, Anthony. Reasoning about Orchestrations of Web Services Using Partial Correctness. Formal Aspects of Computing. 2013 Nov; 25(6):833–846. doi:10.1007/s00165-011-0212-5.

• Nicola, Rocco De; Margheri, Andrea; Tiezzi, Francesco. Orchestrating Tuple-Based Languages. In: Bruni, Roberto; Sassone, Vladimiro, eds.. Trustworthy Global Computing: 6th International Symposium, TGC 2011; 2011 Jun 9–10; Aachen, Germany. Springer; 2011. p. 160–178. (Lecture Notes in Computer Science; vol. 7173). doi:10.1007/978-3-642-30065-3_10.

• Launchbury, John; Elliott, Trevor. Concurrent Orchestration in Haskell. In: Haskell’10: Proceedings of the 2010 ACM SIGPLAN Haskell Symposium; 2010 Sep 30; Baltimore, Maryland, USA. ACM; 2010. p. 79–90. doi:10.1145/1863523.1863534.

• Li, Qin; Zhu, Huibiao; He, Jifeng. A Denotational Semantical Model for Orc Language. In: Cavalcanti, Ana; Déharbe, David; Gaudel, Marie-Claude; Woodcock, Jim, eds.. Theoretical Aspects of Computing - ICTAC 2010: 7th International Colloquium; 2010 Sep 1–3; Natal, Rio Grande do Norte, Brazil. Springer; 2010. p. 106–120. (Lecture Notes in Computer Science; vol. 6255). doi:10.1007/978-3-642-14808-8_8.

• Vardoulakis, Dimitrios; Wand, Mitchell. A Compositional Trace Semantics for Orc. In: Lea, Doug; Zavattaro, Gianluigi, eds.. Coordination Models and Languages: 10th International Conference, COORDINATION 2008; 2008 Jun 4–6; Oslo, Norway. Springer; 2008. p. 331–346. (Lecture Notes in Computer Science; vol. 5052). doi:10.1007/978-3-540-68265-3_21.

• AlTurki, Musab; Meseguer, José. Reduction Semantics and Formal Analysis of Orc Programs. Electronic Notes in Theoretical Computer Science. 2008; 200(3):25–41. doi:10.1016/j.entcs.2008.04.091.

• Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Dazzi, Patrizio. From Orc Models To Distributed Grid Java Code. In: Gorlatch, Sergei; Fragopoulou, Paraskevi; Priol, Thierry, eds.. Grid Computing - Achievements and Prospects: CoreGRID Integration Workshop 2008; 2008 Apr 2–4; Hersonissos, Crete, Greece. Springer; 2008. p. 13–24. doi:10.1007/978-0-387-09457-1_2.

• Proença, José; Clarke, Dave. Coordination Models Orc and Reo Compared. Electronic Notes in Theoretical Computer Science. 2008 Apr; 194(4):57–76. doi:10.1016/j.entcs.2008.03.099.

• Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter. Adding Metadata to Orc to Support Reasoning About Grid Programs. In: Priol, Thierry; Vanneschi, Marco, eds.. Towards Next Generation Grids: Proceedings of the CoreGRID Symposium 2007; 2007 Aug 27–28; Rennes, France. Springer; 2007. p. 205–214. doi:10.1007/978-0-387-72498-0_19.

• AlTurki, Musab; Meseguer, José. Real-Time Rewriting Semantics of Orc. In: Leuschel, Michael; Podelski, Andreas, eds.. Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’07); 2007 Jul 14–16; Wrocław, Poland. ACM; 2007. p. 131–142. doi:10.1145/1273920.1273938.

• Stewart, Alan; Gabarró, Joaquim; Clint, Maurice; Harmer, Terence J.; Kilpatrick, Peter; Perrott, Ronald H. Managing Grid Computations: An Orc-Based Approach. In: Guo, Minyi; Yang, Laurence Tianruo; Martino, Beniamino Di; Zima, Hans P.; Dongarra, Jack; Tang, Feilong, eds.. Parallel and Distributed Processing and Applications: 4th International Symposium, ISPA 2006; 2006 Dec 4–6; Sorrento, Italy. Springer; 2006. p. 278–291. (Lecture Notes in Computer Science; vol. 4330). doi:10.1007/ 11946441_29.

• Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian. Verification of Computation Orchestration via Timed Automata. In: Liu, Zhiming; He, Jifeng, eds.. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006; 2006 Nov 1–3; Macao, China. Springer; 2006. p. 226–245. (Lecture Notes in Computer Science; vol. 4260). doi:10.1007/11901433_13.

• Bruni, Roberto; Melgratti, Hernán C.; Tuosto, Emilio. Translating Orc Features into Petri Nets and the Join Calculus. In: Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi, eds.. Web Services and Formal Methods: Third International Workshop, WS-FM 2006; 2006 Sep 8–9; Vienna, Austria. Springer; 2006. p. 123–137. (Lecture Notes in Computer Science; vol. 4184). doi:10.1007/11841197_8.