Parallel schedule synthesis for attribute grammars. - Leo A. Meyerovich; Matthew E. Torok; Eric Atkinson; Rastislav Bodík (PPoPP, 2013)

Verifying Handcoded Probabilistic Inference Procedures. - Eric Atkinson; Cambridge Yang; Michael Carbin (CoRR, 2018)

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 (IISWC, 2019)

Reactive probabilistic programming. - Guillaume Baudart; Louis Mandel; Eric Atkinson; Benjamin Sherman; Marc Pouzet; Michael Carbin (PLDI, 2020)

Simplifying Multiple-Statement Reductions with the Polyhedral Model. - Cambridge Yang; Eric Atkinson; Michael Carbin (CoRR, 2020)

Programming and reasoning with partial observability. - Eric Atkinson; Michael Carbin (Proc. ACM Program. Lang., 2020)

Statically bounded-memory delayed sampling for probabilistic streams. - Eric Atkinson; Guillaume Baudart; Louis Mandel; Charles Yuan; Michael Carbin (Proc. ACM Program. Lang., 2021)

Simplifying dependent reductions in the polyhedral model. - Cambridge Yang; Eric Atkinson; Michael Carbin (Proc. ACM Program. Lang., 2021)

Semi-symbolic inference for efficient streaming probabilistic programming. - Eric Atkinson; Charles Yuan; Guillaume Baudart; Louis Mandel; Michael Carbin (Proc. ACM Program. Lang., 2022)

Verifying Performance Properties of Probabilistic Inference. - Eric Atkinson; Ellie Y. Cheng; Guillaume Baudart; Louis Mandel; Michael Carbin (CoRR, 2023)

Conflict-Driven Synthesis for Layout Engines. - Junrui Liu; Yanju Chen; Eric Atkinson; Yu Feng 001; Rastislav Bodík (Proc. ACM Program. Lang., 2023)

A Language and Logic for Programming and Reasoning with Partial Observability - Eric Atkinson (2024)

Inference Plans for Hybrid Particle Filtering. - Ellie Y. Cheng; Eric Atkinson; Guillaume Baudart; Louis Mandel; Michael Carbin (Proc. ACM Program. Lang., 2025)