Toggle navigation
Sign in
Sign up
conf.researchr.org
/
M. Frans Kaashoek
conf.researchr.org general profile
PLDI 2019 profile
PLDI 2023 profile
POPL 2020 profile
POPL 2025 profile
Not registered as user
Name:
M. Frans Kaashoek
Affiliation:
Massachusetts Institute of Technology, USA
Contributions
2025
Dafny
Author of Shipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems within the Dafny 2025-track
2023
PLARCH
Author of Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography within the PLARCH 2023-track
2020
CoqPL
Author of Verifying concurrent Go code in Coq with Goose within the CoqPL-track
2019
PLDI
Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track
Share
x
Tue 29 Apr 19:34