Eric Atkinson

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 14

Top Topics

Benchmark Suite

Probabilistic Inference

Bayesian Belief Networks

Partial Observability

Top Venues

Proc. ACM Program. Lang.

Publications

Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin
Verifying Performance Properties of Probabilistic Inference. CoRR (2023)
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming. CoRR (2022)
Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin
Semi-symbolic inference for efficient streaming probabilistic programming. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Eric Atkinson, Michael Carbin
Programming and Reasoning with Partial Observability. CoRR (2021)
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams. CoRR (2021)
Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin
Statically bounded-memory delayed sampling for probabilistic streams. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Cambridge Yang, Eric Atkinson, Michael Carbin
Simplifying dependent reductions in the polyhedral model. Proc. ACM Program. Lang. 5 (POPL) (2021)
Eric Atkinson, Michael Carbin
Programming and reasoning with partial observability. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Cambridge Yang, Eric Atkinson, Michael Carbin
Simplifying Multiple-Statement Reductions with the Polyhedral Model. CoRR (2020)
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Reactive probabilistic programming. PLDI (2020)
Yishen Chen, Ajay Brahmakshatriya, Charith Mendis, Alex Renda, Eric Atkinson, Ondrej Sýkora, Saman P. Amarasinghe, Michael Carbin
BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models. IISWC (2019)
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Reactive Probabilistic Programming. CoRR (2019)
Eric Atkinson, Cambridge Yang, Michael Carbin
Verifying Handcoded Probabilistic Inference Procedures. CoRR (2018)
Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík
Parallel schedule synthesis for attribute grammars. PPOPP (2013)