SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Model, Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, and Linhai Song,
Proceedings of the Conference on Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA), Oakland, CA, October 2026.
WarrInt: Integrity Validation for Criminal Legal Process, Alisha Ukani, Ross Greer, Katherine Izhikevich, Earlence Fernandes, Alex C. Snoeren, and Stefan Savage,
Proceedings of the 35th USENIX Security Symposium, Baltimore, MD, August 2026.
Countering Fabricated Legal Documents: Aligning Verification Attention to Salient Objects through Zero-Shot Detection of Confounding or Obscuring Symbols, Vrishan Inukollu, Porfirio Montoya, Ross Greer, Alisha Ukani, Katherine Izhikevich, Earlence Fernandes, Stefan Savage, and Alex C. Snoeren,
Proceedings of the From Perception to Persuasion: Challenges and Advances in Misinformation Detection in Society (PP-MisDet) Workshop at the Computer Vision and Pattern Recognition Conference (CVPR), Denver, CO, June 2026.
Understanding Server-side Commercial Fingerprinting, Elisa Luo, Tom Ritter, Stefan Savage, and Geoffrey M. Voelker,
Proceedings of the Web Conference (WWW), Dubai, UAE, June 2026.
OSWorld-Human: Benchmarking the Efficiency of Computer-Use Agents, Reyna Abhyankar, Qi Qi, and Yiying Zhang,
Proceedings of the 9th Annual Conference on Machine Learning and Systems (MLSys), May 2026.
Beat the long tail: Distribution-Aware Speculative Decoding for RL Training, Zelei Shao, Vikranth Srivatsa, Sanjana Srivastava, Qingyang Wu, Alpay Ariyak, Xiaoxia Wu, Ameen Patel, Jue Wang, Percy Liang, Tri Dao, Ce Zhang, Yiying Zhang, Ben Athiwaratkun, Chenfeng Xu, and Junxiong Wang,
Proceedings of the 9th Annual Conference on Machine Learning and Systems (MLSys), May 2026.
Lost in Translation: Text Message Spoofing via Email, Sumanth Rao, Ye Shu, Stefan Savage, Aaron Schulman, Geoffrey M. Voelker, and Enze Liu,
Proceedings of the IEEE Symposium on Security and Privacy, May 2026. (Distinguished Paper Award).
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs, Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, and Linhai Song,
Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE), Rio de Janeiro, Brazil, April 2026.
Different Policies for Different NodeBs: Comparing Downlink Schedulers in Cellular Base Stations, Zesen Zhang, Jon Larrea, Jarrett Huddleston, Haoran Wan, Ricky K. P. Mok, Bradley Huffaker, kc Claffy, Kyle Jamieson, Alexander Marder, and Aaron Schulman,
Proceedings of the Passive and Active Measurement Conference (PAM), Virtual, March 2026.
CRASHCART: Truckin’ in a Backup System to Revive Hospitals During Computer Outages, Almog Bar-Yossef, Kartikeyan Subramanyam, Jonathon Guthrie, Alex Gao, Christian Dameff, Jeff Tully, and Aaron Schulman,
Proceedings of ACSAC Workshop on Cybersecurity in Healthcare (HealthSec), Honolulu, Hawaii, December 2025.
Canvassing the Fingerprinters: Characterizing Canvas Fingerprinting Use Across the Web, Elisa Luo, Tom Ritter, Stefan Savage, and Geoffrey M. Voelker,
Proceedings of the ACM Internet Measurement Conference (IMC), Madison, WI, October 2025.
Somesite I Used To Crawl: Awareness, Agency and Efficacy in Protecting Content Creators From AI Crawlers, Enze Liu, Elisa Luo, Shawn Shan, Geoffrey M. Voelker, Ben Y. Zhao, and Stefan Savage,
Proceedings of the ACM Internet Measurement Conference (IMC), Madison, WI, October 2025.
Tock: From Research to Securing 10 Million Computers, Leon Schuermann, Bradford Campbell, Branden Ghena, Philip Levis, Amit Levy, and Pat Pannuto,
Proceedings of the 31st ACM Symposium on Operating Systems Principles (SOSP), Seoul, Republic of Korea, October 2025.
TickTock: Verified Isolation in a Production Embedded OS, Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, and Ranjit Jhala,
Proceedings of the 31st ACM Symposium on Operating Systems Principles (SOSP), Seoul, Republic of Korea, October 2025.
Pesto: Cooking up High Performance BFT Queries, Florian Suri-Payer, Neil Giridharan, Liam Arzola, Shir Cohen, Lorenzo Alvisi, and Natacha Crooks,
Proceedings of the 31st ACM Symposium on Operating Systems Principles (SOSP), Seoul, Republic of Korea, October 2025.
Don’t Look Up: There Are Sensitive Internal Links in the Clear on GEO Satellites, Wenyi Zhang, Annie Dai, Keegan Ryan, Dave Levin, Nadia Heninger, and Aaron Schulman,
Proceedings of the ACM Conference on Computer and Communications Security (CCS), Taipei, Taiwan, October 2025. (Distinguished Paper Award).
Local Frames: Exploiting Inherited Origins to Bypass Content Blockers, Alisha Ukani, Hamed Haddadi, Alex C. Snoeren, and Peter Snyder,
Proceedings of the ACM Conference on Computer and Communications Security (CCS), Taipei, Taiwan, October 2025.
A Developer-Friendly Application-Integrated Far Memory, Anil Yelam, Stewart Grant, Nadav Amit, Radhika Niranjan Mysore, Amy Ousterhout, Marcos K. Aguilera, and Alex C. Snoeren,
USENIX ;login:, 2025.
