Effective Bug Detection with Unused Definitions. - Li Zhong; Chengcheng Xiang; Haochen Huang; Bingyu Shen 002; Eric Mugnier; Yuanyuan Zhou 001 (EuroSys, 2024)

Give and Take: An End-To-End Investigation of Giveaway Scam Conversion Rates. - Enze Liu 001; George Kappos; Eric Mugnier; Luca Invernizzi; Stefan Savage; David Tao; Kurt Thomas; Geoffrey M. Voelker; Sarah Meiklejohn (IMC, 2024)

Laurel: Generating Dafny Assertions Using Large Language Models. - Eric Mugnier; Emmanuel Anaya Gonzalez; Ranjit Jhala; Nadia Polikarpova; Yuanyuan Zhou 001 (CoRR, 2024)

Laurel: Unblocking Automated Verification with Large Language Models. - Eric Mugnier; Emmanuel Anaya Gonzalez; Nadia Polikarpova; Ranjit Jhala; Yuanyuan Zhou 001 (Proc. ACM Program. Lang., 2025)

Testing Access-Control Configuration Changes for Web Applications. - Chengcheng Xiang; Li Zhong; Eric Mugnier; Nathaniel Nguyen; Yuanyuan Zhou 001; Tianyin Xu (CoRR, 2025)