
Registered user since Fri 22 Jan 2016
Name:Christian J. Bell
Affiliation:MIT CSAIL
Contributions
CoqPL 2016 | A Coinduction Proof Rule for Hoare Doubles | ||||||||||||||||||||||||||||||||||||||||
POPL 2016 | Certified Causally Consistent Distributed Key-Value Stores | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile