Christian J. Bell

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 2

Top Topics

Distributed Memory Machines

Computer Vision

Top Venues

Proc. ACM Program. Lang.

Publications

Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic
C4: verified transactional objects. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Mohsen Lesani, Christian J. Bell, Adam Chlipala
Chapar: certified causally consistent distributed key-value stores. POPL (2016)
Christian J. Bell
Certifiably Sound Parallelizing Transformations. CPP (2013)
Christian J. Bell, Andrew W. Appel, David Walker
Concurrent Separation Logic for Pipelined Parallelization. SAS (2010)