A Multi-User Virtual Machine. - Grzegorz Czajkowski; Laurent Daynès; Ben L. Titzer (USENIX ATC, General Track, 2003)

Avrora: scalable sensor network simulation with precise timing. - Ben L. Titzer; Daniel K. Lee; Jens Palsberg (IPSN, 2005)

Nonintrusive precision instrumentation of microcontroller software. - Ben L. Titzer; Jens Palsberg (LCTES, 2005)

Enabling Detailed Modeling and Analysis of Sensor Networks. - Olaf Landsiedel; Klaus Wehrle; Ben L. Titzer; Jens Palsberg (Prax. Inf.verarb. Kommun., 2005)

Virgil: objects on the head of a pin. - Ben L. Titzer (OOPSLA, 2006)

The ExoVM system for automatic VM and application reduction. - Ben L. Titzer; Joshua S. Auerbach; David F. Bacon; Jens Palsberg (PLDI, 2007)

Vertical Object Layout and Compression for Fixed Heaps. - Ben L. Titzer; Jens Palsberg (Semantics and Algebraic Specification, 2009)

CDx: a family of real-time Java benchmarks. - Tomas Kalibera; Jeff Hagelberg; Filip Pizlo; Ales Plsek; Ben L. Titzer; Jan Vitek (JTRES, 2009)

Improving compiler-runtime separation with XIR. - Ben L. Titzer; Thomas Würthinger; Doug Simon; Marcelo Cintra (VEE, 2010)

A family of real-time Java benchmarks. - Tomas Kalibera; Jeff Hagelberg; Petr Maj; Filip Pizlo; Ben L. Titzer; Jan Vitek (Concurr. Comput. Pract. Exp., 2011)

Harmonizing classes, functions, tuples, and type parameters in virgil iii. - Ben L. Titzer (PLDI, 2013)

Allocation folding based on dominance. - Daniel Clifford; Hannes Payer; Michael Starzinger; Ben L. Titzer (ISMM, 2014)

Memento mori: dynamic allocation-site-based optimizations. - Daniel Clifford; Hannes Payer; Michael Stanton; Ben L. Titzer (ISMM, 2015)

Bringing the web up to speed with WebAssembly. - Andreas Rossberg; Ben L. Titzer; Andreas Haas; Derek L. Schuff; Dan Gohman; Luke Wagner; Alon Zakai; J. F. Bastien; Michael Holman (Commun. ACM, 2018)

Spectre is here to stay: An analysis of side-channels and speculative execution. - Ross McIlroy; Jaroslav Sevcík; Tobias Tebbi; Ben L. Titzer; Toon Verwaest (CoRR, 2019)

A fast in-place interpreter for WebAssembly. - Ben L. Titzer (Proc. ACM Program. Lang., 2022)

Stop Hiding The Sharp Knives: The WebAssembly Linux Interface. - Arjun Ramesh; Tianshu Huang; Ben L. Titzer; Anthony Rowe 001 (CoRR, 2023)

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)

Unboxing Virgil ADTs for Fun and Profit. - Bradley Wei Jie Teo; Ben L. Titzer (JENSFEST, 2024)

Whose Baseline Compiler is it Anyway? - Ben L. Titzer (CGO, 2024)

Can WebAssembly Be Software's Final Substrate? (Keynote). - Ben L. Titzer (MPLR, 2024)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. - Doehyun Baek; Jakob Getz; Yusung Sim; Daniel Lehmann 002; Ben L. Titzer; Sukyoung Ryu; Michael Pradel (Proc. ACM Program. Lang., 2024)

Empowering WebAssembly with Thin Kernel Interfaces. - Arjun Ramesh; Tianshu Huang; Ben L. Titzer; Anthony Rowe 001 (EuroSys, 2025)

Unveiling Heisenbugs with Diversified Execution. - Arjun Ramesh; Tianshu Huang; Jaspreet Riar; Ben L. Titzer; Anthony Rowe 001 (Proc. ACM Program. Lang., 2025)

WebAssembly: How Low Can a Bytecode Go?: New performance and capabilities. - Ben L. Titzer (ACM Queue, 2025)

RTBAS: Defending LLM Agents Against Prompt Injection and Privacy Leakage. - Peter Yong Zhong; Siyuan Chen 007; Ruiqi Wang; McKenna McCall; Ben L. Titzer; Heather Miller; Phillip B. Gibbons (CoRR, 2025)

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)

Execution-Aware Program Reduction for WebAssembly via Record and Replay. - Doehyun Baek; Daniel Lehmann 002; Ben L. Titzer; Sukyoung Ryu; Michael Pradel (CoRR, 2025)