A Language for Task Orchestration and Its Semantic Properties. - David Kitchin; William R. Cook; Jayadev Misra (CONCUR, 2006)

Safe composition of product lines. - Sahil Thaker; Don S. Batory; David Kitchin; William R. Cook (GPCE, 2007)

Event Structure Semantics of Orc. - Sidney Rosario; David Kitchin; Albert Benveniste; William R. Cook; Stefan Haar; Claude Jard (WS-FM, 2007)

Simulation Using Orchestration. - David Kitchin; Evan Powell; Jayadev Misra (AMAST, 2008)

Simulation, Orchestration and Logical Clocks. - David Kitchin; Evan Powell; Jayadev Misra (FM, 2008)

A timed semantics of Orc. - Ian Wehrman; David Kitchin; William R. Cook; Jayadev Misra (Theor. Comput. Sci., 2008)

The Orc Programming Language. - David Kitchin; Adrian Quark; William R. Cook; Jayadev Misra (FMOODS/FORTE, 2009)

Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. - David Kitchin; Adrian Quark; Jayadev Misra (Reflections on the Work of C. A. R. Hoare, 2010)

OrcO: a concurrency-first approach to objects. - Arthur Michener Peters; David Kitchin; John A. Thywissen; William R. Cook (OOPSLA, 2016)