Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Laurent Mounier
conf.researchr.org general profile
ASE 2019 profile
ICSE 2021 profile
POPL 2024 profile
Not registered as user
Name:
Laurent Mounier
Affiliation:
Université Grenoble Alpes
Contributions
2024
VMCAI
Author of Function synthesis for maximizing model counting within the VMCAI 2024-track
2021
ICSE
Author of Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine within the Technical Track-track
Author of RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) within the AE - Artifact Evaluation-track
2019
ASE
Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track
Share
x
Sat 21 Dec 16:51