Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Freek Verbeek
conf.researchr.org general profile
ICSE 2025 profile
POPL 2025 profile
SPLASH 2024 profile
Registered user since Wed 13 Nov 2024
Name:
Freek Verbeek
Affiliation:
Open Universiteit & Virginia Tech
Contributions
2025
PriSC
Author of BeePL: Correct-by-compilation kernel extensions within the PriSC 2025-track
ICSE
Author of Formally Verified Binary-level Pointer Analysis within the Research Track-track
POPL
Author of On Extending Incorrectness Logic with Backwards Reasoning within the POPL-track
2024
SPLASH
Author of libLISA: Instruction Discovery and Analysis on x86-64 within the OOPSLA 2024-track
Share
x
Tue 6 May 20:38
