Aragog: Scalable Runtime Verification of Shardable Networked Systems.

Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu

Browse the full OSDI paper archive.