Eric Atkinson -

Registered user since Mon 16 Apr 2018

Name:Eric Atkinson

Contributions

PLDI 2023	Author of Conflict-Driven Synthesis for Layout Engines within the PLDI Research Papers-track
SPLASH 2022	Author of Semi-symbolic Inference for Efficient Streaming Probabilistic Programming within the Posters-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of Semi-symbolic Inference for Efficient Streaming Probabilistic Programming within the OOPSLA-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
PLDI 2022	Session Chair of Probability (part of SIGPLAN Track) Author of (POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model within the SIGPLAN Track-track
SPLASH 2021	Author of Reactive Probabilistic Programming within the SIGPLAN Papers-track Author of Statically Bounded-Memory Delayed Sampling for Probabilistic Streams within the OOPSLA-track Author of Programming and Reasoning with Partial Observability within the SIGPLAN Papers-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of Statically Bounded-Memory Delayed Sampling for Probabilistic Streams within the Posters-track
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