Eric Atkinson

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