Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Viktor Fukala
conf.researchr.org general profile
PLDI 2024 profile
Not registered as user
Name:
Viktor Fukala
Affiliation:
Massachusetts Institute of Technology
Contributions
2024
PLDI
Author of Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool within the SRC-track
Author of Live Verification in an Interactive Proof Assistant within the PLDI Research Papers-track
Share
x
Tue 28 Oct 22:16