KenBirman

I'm a professor in the Department of Computer Science at Cornell University, and the overall leader of the Derecho and Cascade projects.

Cornell UniversityIthaca, NY

Pinned Repositories

capra-public
a research group site
Language:SCSS00
derecho-project.github.io
Source code for the GitHub Organization Page
Language:CSS00
derecho
The main code repository for the Derecho project.
Language:C++18647
cascade
A C++ distributed framework for responsive Cloud applications.
Language:C++6923
capra-public
a research group site
Language:Nunjucks111
derecho-project.github.io
Source code for the GitHub Organization Page
Language:SCSS02
ivy
Derecho view change protocol specification in the Microsoft-IVy language
01
sospdemo
Demo for Derecho tutorial @SOSP2019
Language:C++00

KenBirman's Repositories

KenBirman/capra-public
a research group site
KenBirman/derecho-project.github.io
Source code for the GitHub Organization Page
Language:CSS