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

2023

TAP

Author of BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries within the Research Papers-track
Author of Low-level Reachability Analysis based on Formal Logic within the Research Papers-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2022

PLDI

Author of Formally Verified Lifting of C-compiled x86-64 Binaries within the PLDI-track

CPP

Committee Member in Program Committee within the CPP 2022-track

2019

CPP

Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track

2017

CPP

Committee Member in Program Committee within the CPP-track