conf.researchr.org / Freek Verbeek

Registered user since Tue 5 Apr 2022

Name:Freek Verbeek
Affiliation:Open University of the Netherlands, The Netherlands
Personal website:http://www.cs.ru.nl/~freekver/

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2022 Author of Formally Verified Lifting of C-compiled x86-64 Binaries within the PLDI-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
CPP 2019 Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track
CPP 2017 Committee Member in Program Committee within the CPP-track