Kendo: Deterministic


Kendo is a libary and kernel module that enables programmers to build deterministic mulithreaded applications for Linux. For more information, see our ASPLOS Kendo paper.


We are planning on releasing Kendo soon. If you wish to be notified at the time of the release, please subscribe to our mailing list. This is a very low traffic list mailed only when a new release is available.

Email address:

A confirmation email will be sent containing a link to complete the subscription process. To unsubscribe or change your options see the kendo-releases list.


Kendo is being developed at the Commit Group by Marek Olszewski, Jason Ansel, and Saman Amarasinghe.