• Sign in
  • Sign up
conf.researchr.org / Frédéric Recoules
  • ASE 2019 profile
  • ATVA 2025 profile
  • ICSE 2021 profile
  • ICSE 2024 profile
  • PLDI 2025 profile
  • POPL 2024 profile
No Photo

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
xSun 11 May 23:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up