Christian J. Bell

According to our database, Christian J. Bell authored at least 5 papers between 2010 and 2022.

Collaborative distances:

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

2022

C4: verified transactional objects.

Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

Proc. ACM Program. Lang., 2022

2016

Chapar: certified causally consistent distributed key-value stores.

Mohsen Lesani, Christian J. Bell, Adam Chlipala

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

A Proof Theory for Loop-Parallelizing Transformations

Christian J. Bell

PhD thesis, 2014

2013

Certifiably Sound Parallelizing Transformations.

Christian J. Bell

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2010

Concurrent Separation Logic for Pipelined Parallelization.

Christian J. Bell, Andrew W. Appel, David Walker

Proceedings of the Static Analysis - 17th International Symposium, 2010