Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frédéric Recoules
conf.researchr.org general profile
ASE 2019 profile
ATVA 2025 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
ATVA
Committee Member in Artifact Evaluation Committee
PLDI
Organizer of BINSEC: Adapting Symbolic Execution for Binary-level Security within the Tutorials-track
Committee Member of BINSEC: Adapting Symbolic Execution for Binary-level Security within the Workshops and 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
Tue 22 Apr 05:53