UW-Madison Logo

The ADvanced Systems Laboratory (ADSL)
Software

Protocol-Aware Recovery for Consensus-Based Storage

Crash-Corruption Disentanglement Proof

pdf

Source Code

Coming soon!