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 |
| OOPSLA | Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Y. Bai, Ben L. Titzer, and Heather Miller. 2025. Debugging WebAssembly? Put Some Whamm on It! Proc. ACM Program. Lang. 9, OOPSLA2, Article 346 (October 2025), 29 pages. https://doi.org/10.1145/3763124 |
Other
| 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 |