David Kitchin

According to our database, David Kitchin authored at least 9 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2016

OrcO: a concurrency-first approach to objects.

Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2010

Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.

David Kitchin, Adrian Quark, Jayadev Misra

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

The Orc Programming Language.

David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

A timed semantics of Orc.

Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra

Theor. Comput. Sci., 2008

Simulation, Orchestration and Logical Clocks.

David Kitchin, Evan Powell, Jayadev Misra

Proceedings of the FM 2008: Formal Methods, 2008

Simulation Using Orchestration.

David Kitchin, Evan Powell, Jayadev Misra

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Event Structure Semantics of Orc.

Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Safe composition of product lines.

Sahil Thaker, Don S. Batory, David Kitchin, William R. Cook

Proceedings of the Generative Programming and Component Engineering, 2007

2006

A Language for Task Orchestration and Its Semantic Properties.

David Kitchin, William R. Cook, Jayadev Misra

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006