Eric Mugnier

About Me

I am a Ph.D. student at Opera and Sysnet Group at UCSD, working with Prof. Yuanyuan Zhou.

I specialize in practical formal methods for real-world systems, leveraging LLMs to build tools tailored to the user's needs. My previous work focused on access control and security related issues.

Publications

Also available on Google Scholar.

• On the Impact of Formal Verification on Software Development
  E Mugnier, Y Zhou, R Jhala, MC Coblenz
  To appear at OOPSLA 2025
• Laurel: Unblocking automated verification with large language models
  E Mugnier, EA Gonzalez, N Polikarpova, R Jhala, Y Zhou
  Proceedings of the ACM on Programming Languages 9 (OOPSLA1), 1519–1545, 2025
  Code | Benchmark
• Testing Access-Control Configuration Changes for Web Applications
  C Xiang, L Zhong, E Mugnier, N Nguyen, Y Zhou, T Xu
  arXiv preprint arXiv:2505.12770, 2025
• Effective bug detection with unused definitions
  L Zhong, C Xiang, H Huang, B Shen, E Mugnier, Y Zhou
  Proceedings of the Nineteenth European Conference on Computer Systems, 2024
• Give and take: An end-to-end investigation of giveaway scam conversion rates
  E Liu, G Kappos, E Mugnier, L Invernizzi, S Savage, D Tao, K Thomas, G Voelker, S Meiklejohn
  Proceedings of the 2024 ACM on Internet Measurement Conference (IMC), 2024