Christian J. Bell

C4: verified transactional objects

B. Pierce, S. Zdancewic, A. Chlipala, 2022, Proc. ACM Program. Lang..

Optimizing bandwidth limited problems using one-sided communication and overlap

Katherine A. Yelick, Dan Bonachea, Christian Bell, 2005, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

A Proof Theory for Loop-Parallelizing Transformations

Christian J. Bell, Christian J. Bell, 2014 .

Chapar: certified causally consistent distributed key-value stores

Adam Chlipala, Mohsen Lesani, Christian J. Bell, 2016, POPL.

Evaluating support for global address space languages on the Cray X1

Katherine A. Yelick, Wei-Yu Chen, Dan Bonachea, 2004, ICS '04.