Christian J. Bell

Registered user since Fri 22 Jan 2016

Name: Christian J. Bell

Country: United States

Affiliation: MIT CSAIL

Personal website:

Research interests: concurrency, coq, verified compilers


CoqPL 2016Author of A Coinduction Proof Rule for Hoare Doubles within the CoqPL-track
POPL 2016Author of Certified Causally Consistent Distributed Key-Value Stores within the Research Papers-track