Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. - Ben L. Titzer; Elizabeth Gilbert; Bradley Wei Jie Teo; Yash Anand; Kazuyuki Takayama; Heather Miller (ASPLOS (3), 2024)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts. - Nikitha Rao; Elizabeth Gilbert; Tahina Ramananandro; Nikhil Swamy; Claire Le Goues; Sarah Fakhoury (CoRR, 2024)

Debugging WebAssembly? Put some Whamm on it! - Elizabeth Gilbert; Matthew Schneider; Zixi An; Suhas Thalanki; Wavid Bowman; Alexander Bai; Ben L. Titzer; Heather Miller (CoRR, 2025)