Concepedia

Christian J. Bell

CJ

4

Publications

124

Citations

4

H-Index

2016

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Christian J. Bell is an author at Massachusetts Institute of Technology specializing in program analysis, formal methods, and verification.

Top concepts

EngineeringVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisDistributed SystemsFormal VerificationAsynchronous Systems

Publications per year

2016–2022

4

Publications

4

Chapar: certified causally consistent distributed key-value stores

Mohsen Lesani, Christian J. Bell, Adam Chlipala · 2016 · 74 citations · Full text

Key-value Stores, Engineering, Verification +22

C4: verified transactional objects

Mohsen Lesani, Li-yao Xia, Anders Kaseorg et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Engineering, Verification, Computer-aided Verification +23

Chapar: certified causally consistent distributed key-value stores

Mohsen Lesani, Christian J. Bell, Adam Chlipala · ACM SIGPLAN Notices · 2016 · 13 citations · Full text

Key-value Stores, Engineering, Verification +22

Activities of Quinoxaline, Nitroquinoxaline, and [1,2,4]Triazolo[4,3-a]quinoxaline Analogs of MMV007204 against Schistosoma mansoni

Stefan L. Debbert, Mikaela J. Hintz, Christian J. Bell et al. · Antimicrobial Agents and Chemotherapy · 2020 · 11 citations · Full text

Rows per page

1–4 of 4