Michael J. Sullivan

According to our database, Michael J. Sullivan authored at least 5 papers between 1996 and 2019.

Collaborative distances:

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

2019

Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency.

Michael J. Sullivan, Karl Crary, Salil Joshi

CoRR, 2019

2015

A Calculus for Relaxed Memory.

Karl Crary, Michael J. Sullivan

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Peer-to-peer affine commitment using bitcoin.

Karl Crary, Michael J. Sullivan

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2012

Neural processing of sensory and emotional-communicative information associated with the perception of vicarious pain.

Etienne Vachon-Presseau, Mathieu Roy, Marc-Olivier Martel, Geneviève Albouy, Jeni Chen, Lesley Budell, Michael J. Sullivan, Philip L. Jackson, Pierre Rainville

NeuroImage, 2012

1996

Using active-deformable models to track deformable objects in robotic visual servoing experiments.

Michael J. Sullivan, Nikolaos P. Papanikolopoulos

Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996