Introduction to Orc (top)

Semantics & Verification (top)

Language Extensions (top)

Applications (top)

Presentations (top)

Student Reports (top)

Other Resources (top)

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.
  • 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.
  • 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.
  • 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.
  • 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.

Get Started

Get Involved

Contact Us

Supporting Agencies

This research is supported in part by funding from the National Science Foundation. Any opinions, findings, and conclusions or recommendations expressed on this website are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Last updated 2016-12-09