Showing 1 - 2 results of 2 for search 'Bell, Christian J.', query time: 0.02s
Refine Results
-
1
Chapar: certified causally consistent distributed key-value stores by Lesani, Mohsen, Bell, Christian J., Chlipala, Adam
Published 2021
Article -
2
C4: Verified Transactional Objects by Lesani, Mohsen, Xia, Li-yao, Kaseorg, Anders, Bell, Christian J., Chlipala, Adam, Pierce, Benjamin C., Zdancewic, Steve
Published 2022
Article