• Sign in
  • Sign up
conf.researchr.org / Eric Atkinson
  • 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
xMon 1 Mar 18:39
using conf.researchr.org (v1.42.1)
Support page
Sign Up