Verifying that web pages have accessible layout. - Pavel Panchekha; Adam T. Geller; Michael D. Ernst; Zachary Tatlock; Shoaib Kamil 001 (PLDI, 2018)

Flux: Liquid Types for Rust. - Nico Lehmann; Adam T. Geller; Gilles Barthe; Niki Vazou; Ranjit Jhala (CoRR, 2022)

Flux: Liquid Types for Rust. - Nico Lehmann; Adam T. Geller; Niki Vazou; Ranjit Jhala (Proc. ACM Program. Lang., 2023)

Indexed Types for a Statically Safe WebAssembly. - Adam T. Geller; Justin Frank; William J. Bowman (Proc. ACM Program. Lang., 2024)

Type-Preserving Flat Closure Optimization. - Adam T. Geller; Sean Bocirnea; Chester J. F. Gould; Paulette Koronkevich; William J. Bowman (Proc. ACM Program. Lang., 2025)