QoS-aware management of monotonic service orchestrations. - Albert Benveniste; Claude Jard; Ajay Kattepur; Sidney Rosario; John A. Thywissen (Formal Methods Syst. Des., 2014)

Implicitly Distributing Pervasively Concurrent Programs: Extended abstract. - John A. Thywissen; Arthur Michener Peters; William R. Cook (PMLDC@ECOOP, 2016)

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

PorcE: a deparallelizing compiler. - Arthur Michener Peters; John A. Thywissen; Christopher J. Rossbach (MPLR, 2019)