Adam T. Geller

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 3

Top Topics

Web Information Extraction

Dynamically Generated

Top Venues

Proc. ACM Program. Lang.

Publications

Adam T. Geller, Justin Frank, William J. Bowman
Indexed Types for a Statically Safe WebAssembly. Proc. ACM Program. Lang. 8 (POPL) (2024)
Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala
Flux: Liquid Types for Rust. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Verifying that web pages have accessible layout. PLDI (2018)