Eric Mugnier

According to our database, Eric Mugnier authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Testing Access-Control Configuration Changes for Web Applications.

Chengcheng Xiang, Li Zhong, Eric Mugnier, Nathaniel Nguyen, Yuanyuan Zhou, Tianyin Xu

CoRR, May, 2025

Laurel: Unblocking Automated Verification with Large Language Models.

Eric Mugnier, Emmanuel Anaya Gonzalez, Nadia Polikarpova, Ranjit Jhala, Yuanyuan Zhou

Proc. ACM Program. Lang., 2025

2024

Laurel: Generating Dafny Assertions Using Large Language Models.

Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou

CoRR, 2024

Give and Take: An End-To-End Investigation of Giveaway Scam Conversion Rates.

Enze Liu, George Kappos, Eric Mugnier, Luca Invernizzi, Stefan Savage, David Tao, Kurt Thomas, Geoffrey M. Voelker, Sarah Meiklejohn

Proceedings of the 2024 ACM on Internet Measurement Conference, 2024

Effective Bug Detection with Unused Definitions.

Li Zhong, Chengcheng Xiang, Haochen Huang, Bingyu Shen, Eric Mugnier, Yuanyuan Zhou

Proceedings of the Nineteenth European Conference on Computer Systems, 2024