• Sign in
  • Sign up
conf.researchr.org / M. Frans Kaashoek
  • PLDI 2019 profile
  • PLDI 2023 profile
  • POPL 2020 profile
  • POPL 2025 profile
No Photo

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
xThu 8 May 20:25
using conf.researchr.org (v1.69.0)
Support page
Sign Up