Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ken Birman
conf.researchr.org general profile
NASA Formal Methods 2024 profile
SPLASH 2015 profile
Not registered as user
Name:
Ken Birman
Affiliation:
Cornell University
Personal website:
http://www.cs.cornell.edu/ken/
Contributions
2024
NFM
Author of Verifying a C implementation of Derecho's coordination mechanism using VST and Coq within the NFM 2024-track
2015
SPLASH
Committee Member in External Review Committee within the OOPSLA-track
Share
x
Mon 27 Oct 09:08