Marie-Laure Potet -

Not registered as user yet

Name:Marie-Laure Potet

Affiliation:Université Grenoble Alpes

Contributions

ICSE 2021	Author of RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) within the AE - Artifact Evaluation-track Author of Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine within the Technical Track-track
ASE 2019	Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track