Scholar
Eric Mugnier
Google Scholar ID: qKEHXy0AAAAJ
UC San Diego
Software verification
Systems
Security
LLMs
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
31
H-index
4
i10-index
1
Publications
6
Co-authors
10
list available
Publications
2 items
Testing Access-Control Configuration Changes for Web Applications
2025
Cited
0
Laurel: Unblocking Automated Verification with Large Language Models
2024
Cited
4
Co-authors
8 total
Ranjit Jhala
UC San Diego
Nadia Polikarpova
UCSD
Emmanuel Anaya Gonzalez
UC San Diego
Lily Zhong
UCSD
Chengcheng Xiang
UCSD
Stefan Savage
Professor of Computer Science and Engineering, UC San Diego
Luca Invernizzi
Staff Research Scientist @ Google (CH)
Sarah Meiklejohn
Professor at University College London
