Eric Atkinson

According to our database, Eric Atkinson authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Language and Logic for Programming and Reasoning with Partial Observability

Eric Atkinson

PhD thesis, 2024

Inference Plans for Hybrid Particle Filtering.

Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin

CoRR, 2024

2023

Conflict-Driven Synthesis for Layout Engines.

Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík

Proc. ACM Program. Lang., 2023

Verifying Performance Properties of Probabilistic Inference.

Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel, Michael Carbin

CoRR, 2023

2022

Semi-symbolic inference for efficient streaming probabilistic programming.

Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin

Proc. ACM Program. Lang., 2022

2021

Simplifying dependent reductions in the polyhedral model.

Cambridge Yang, Eric Atkinson, Michael Carbin

Proc. ACM Program. Lang., 2021

Statically bounded-memory delayed sampling for probabilistic streams.

Eric Atkinson, Guillaume Baudart, Louis Mandel, Charles Yuan, Michael Carbin

Proc. ACM Program. Lang., 2021

2020

Programming and reasoning with partial observability.

Eric Atkinson, Michael Carbin

Proc. ACM Program. Lang., 2020

Simplifying Multiple-Statement Reductions with the Polyhedral Model.

Cambridge Yang, Eric Atkinson, Michael Carbin

CoRR, 2020

Reactive probabilistic programming.

Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models.

Yishen Chen, Ajay Brahmakshatriya, Charith Mendis, Alex Renda, Eric Atkinson, Ondrej Sýkora, Saman P. Amarasinghe, Michael Carbin

Proceedings of the IEEE International Symposium on Workload Characterization, 2019

2018

Verifying Handcoded Probabilistic Inference Procedures.

Eric Atkinson, Cambridge Yang, Michael Carbin

CoRR, 2018

2013

Parallel schedule synthesis for attribute grammars.

Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013