Aragog: Scalable Runtime Verification of Shardable Networked Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu. Aragog: Scalable Runtime Verification of Shardable Networked Systems. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020. pages 701-718, USENIX Association, 2020. [doi]

This author has not been identified. Look up 'Nofel Yaseen' in GoogleThis author has not been identified. Look up 'Behnaz Arzani' in GoogleThis author has not been identified. Look up 'Ryan Beckett' in GoogleThis author has not been identified. Look up 'Selim Ciraci' in GoogleThis author has not been identified. Look up 'Vincent Liu' in Google

runs on WebDSL