Christian J. Bell

Registered user since Fri 22 Jan 2016

Name:Christian J. Bell
Country:United States
Affiliation:MIT CSAIL
Research interests:concurrency, coq, verified compilers

Contributions

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