Eric Mugnier

According to our database, Eric Mugnier authored at least 7 papers between 2024 and 2026.

Collaborative distances:

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

2026

Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness.

Tyler Potyondy, Anthony Tarbinian, Leon Schuermann, Eric Mugnier, Adin Ackerman, Amit Levy, Pat Pannuto

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

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

On the Impact of Formal Verification on Software Development.

Eric Mugnier, Yuanyuan Zhou, Ranjit Jhala, Michael Coblenz

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