• Sign in
  • Sign up
conf.researchr.org / Ernie Cohen
  • POPL 2017 profile
No Photo

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
xSun 18 May 02:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up