• Sign in
  • Sign up
conf.researchr.org / Laurent Mounier
  • ASE 2019 profile
  • ICSE 2021 profile
  • POPL 2024 profile
No Photo

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
xSun 25 May 10:25
using conf.researchr.org (v1.69.0)
Support page
Sign Up