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

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

Learning to Keep a Promise: Scaling Language Model Decoding Parallelism with Learned Asynchronous Decoding. - Tian Jin; Ellie Y. Cheng; Zachary Ankner; Nikunj Saunshi; Blake M. Elias; Amir Yazdanbakhsh; Jonathan Ragan-Kelley; Suvinay Subramanian; Michael Carbin (CoRR, 2025)