Adam T. Geller

According to our database, Adam T. Geller authored at least 4 papers between 2018 and 2024.

Collaborative distances:

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

2024

Indexed Types for a Statically Safe WebAssembly.

Adam T. Geller, Justin Frank, William J. Bowman

Proc. ACM Program. Lang., January, 2024

2023

Flux: Liquid Types for Rust.

Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala

Proc. ACM Program. Lang., 2023

2022

Flux: Liquid Types for Rust.

Nico Lehmann, Adam T. Geller, Gilles Barthe, Niki Vazou, Ranjit Jhala

CoRR, 2022

2018

Verifying that web pages have accessible layout.

Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018