Eric Mugnier
Scholar

Eric Mugnier

Google Scholar ID: qKEHXy0AAAAJ
UC San Diego
Software verificationSystemsSecurityLLMs
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
31
 
H-index
4
 
i10-index
1
 
Publications
6
 
Co-authors
10
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
10 total
Ranjit Jhala
Ranjit Jhala
UC San Diego
Nadia Polikarpova
Nadia Polikarpova
UCSD
Emmanuel Anaya Gonzalez
Emmanuel Anaya Gonzalez
UC San Diego
Lily Zhong
Lily Zhong
UCSD
Chengcheng Xiang
Chengcheng Xiang
UCSD
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Stefan Savage
Stefan Savage
Professor of Computer Science and Engineering, UC San Diego