Frédéric Recoules -

Registered user since Tue 17 Sep 2019

Name:Frédéric Recoules

Affiliation:CEA, List

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