• Sign in
  • Sign up
conf.researchr.org / Frédéric Recoules
  • ASE 2019 profile
  • ICSE 2021 profile

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

Share
xMon 27 Mar 13:29
using conf.researchr.org (v1.59.1)
Support page
Sign Up