Christian J. Bell

Registered user since Fri 22 Jan 2016

Name: Christian J. Bell

Country: United States

Affiliation: MIT CSAIL

Personal website: http://people.csail.mit.edu/cj

Research interests: concurrency, coq, verified compilers

Contributions

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