Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ernie Cohen
conf.researchr.org general profile
POPL 2017 profile
Not registered as user
Name:
Ernie Cohen
Affiliation:
Amazon Web Services
Contributions
2017
VMCAI
Author of Verified Concurrent Code: Tricks of the Trade within the VMCAI-track
LAFI
Author of Reducing probabilistic choice to nondeterministic choice within the PPS-track
Share
x
Tue 27 Oct 11:37