Eric Mugnier

According to our database, Eric Mugnier authored at least 3 papers in 2024.

Collaborative distances:

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

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