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