Login / Signup
Eric Mugnier
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Internet Protocol
Document Length
Language Modelling
Smoothing Methods
Top Venues
CoRR
EuroSys
</>
Publications
</>
Eric Mugnier
,
Emmanuel Anaya Gonzalez
,
Ranjit Jhala
,
Nadia Polikarpova
,
Yuanyuan Zhou
Laurel: Generating Dafny Assertions Using Large Language Models.
CoRR
(2024)
Enze Liu
,
George Kappos
,
Eric Mugnier
,
Luca Invernizzi
,
Stefan Savage
,
David Tao
,
Kurt Thomas
,
Geoffrey M. Voelker
,
Sarah Meiklejohn
Give and Take: An End-To-End Investigation of Giveaway Scam Conversion Rates.
CoRR
(2024)
Li Zhong
,
Chengcheng Xiang
,
Haochen Huang
,
Bingyu Shen
,
Eric Mugnier
,
Yuanyuan Zhou
Effective Bug Detection with Unused Definitions.
EuroSys
(2024)