@inproceedings {258878, author = {Nofel Yaseen and Behnaz Arzani and Ryan Beckett and Selim Ciraci and Vincent Liu}, title = {Aragog: Scalable Runtime Verification of Shardable Networked Systems}, booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)}, year = {2020}, isbn = {978-1-939133-19-9}, pages = {701--718}, url = {https://www.usenix.org/conference/osdi20/presentation/yaseen}, publisher = {USENIX Association}, month = nov }