• Sign in
  • Sign up
conf.researchr.org / Freek Verbeek
  • PLDI 2022 profile
  • PLDI 2023 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2022 profile

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

Share
xWed 8 Feb 11:36
using conf.researchr.org (v1.58.0)
Support page
Sign Up