Full-Length Conference and Journal Articles

ASPLOS

Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, and Heather Miller. 2024. Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 (ASPLOS ‘24), Vol. 3. Association for Computing Machinery, New York, NY, USA, 398–415. https://doi.org/10.1145/3620666.3651338 DOI

Other

Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Bai, Ben L. Titzer, and Heather Miller. 2025. Debugging WebAssembly? Put some Whamm on it! https://arxiv.org/abs/2504.20192 arXiv

Nikitha Rao, Elizabeth Gilbert, Tahina Ramananandro, Nikhil Swamy, Claire Le Goues and Sarah Fakhoury. 2024. DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts. https://arxiv.org/abs/2410.04249 arXiv