Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency. - Sullivan, Michael J.; Crary, Karl; Joshi, Salil (CoRR, 2019)

Peer-to-peer affine commitment using bitcoin. - Crary, Karl; Sullivan, Michael J. (2015)

A Calculus for Relaxed Memory. - Crary, Karl; Sullivan, Michael J. (2015)

Neural processing of sensory and emotional-communicative information associated with the perception of vicarious pain. - Vachon-Presseau, Etienne; Roy, Mathieu; Martel, Marc-Olivier; Albouy, Geneviève; Chen, Jeni; Budell, Lesley; Sullivan, Michael J.; Jackson, Philip L.; Rainville, Pierre (NeuroImage, 2012)

Using active-deformable models to track deformable objects in robotic visual servoing experiments. - Sullivan, Michael J.; Papanikolopoulos, Nikolaos P. (1996)