Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frédéric Recoules
conf.researchr.org general profile
ASE 2019 profile
ICSE 2021 profile
ICSE 2024 profile
PLDI 2025 profile
POPL 2024 profile
Registered user since Tue 17 Sep 2019
Name:
Frédéric Recoules
Affiliation:
CEA, List
Contributions
2025
PLDI
Organizer of BINSEC: Adapting Symbolic Execution for Binary-level Security within the Tutorials-track
2024
KLEE
Presenter of What’s Up from Below? An Overview of Recent Advances in BINSEC within the KLEE 2024-track
POPL
Author of Inference of Robust Reachability Constraints within the POPL-track
2021
ICSE
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
2019
ASE
Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track
Share
x
Sat 21 Dec 19:10