Not registered as user yet
Name: Ernie Cohen
Affiliation: Amazon Web Services
Contributions
PPS 2017 | Reducing probabilistic choice to nondeterministic choice | ||||||||||||||||||||||||||||||||||||||||
VMCAI 2017 | Verified Concurrent Code: Tricks of the Trade | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile