Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eric Atkinson
conf.researchr.org general profile
PLDI 2020 profile
POPL 2021 profile
SPLASH 2020 profile
Registered user since Mon 16 Apr 2018
Name:
Eric Atkinson
Contributions
POPL 2021
Author of Simplifying Multiple-Statement Reductions with the Polyhedral Model within the POPL-track
SPLASH 2020
Author of Programming and Reasoning with Partial Observability within the OOPSLA-track
Author of Programming and Reasoning with Partial Observability within the OOPSLA Artifacts-track
PLDI 2020
Author of Reactive Probabilistic Programming within the PLDI Research Papers-track
Share
x
Mon 1 Mar 18:39