Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying Reachability in Networks with Mutable Datapaths., , , , and . CoRR, (2016)The Case for Tiny Tasks in Compute Clusters., , , , , , , and . HotOS, USENIX Association, (2013)New Directions for Network Verification., , , , and . SNAPL, volume 32 of LIPIcs, page 209-220. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Some Complexity Results for Stateful Network Verification., , , , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 811-830. Springer, (2016)Blink and It's Done: Interactive Queries on Very Large Data., , , , , and . PVLDB, 5 (12): 1902-1905 (2012)SoftFlow: A Middlebox Architecture for Open vSwitch., , , , , , , and . USENIX Annual Technical Conference, page 15-28. USENIX Association, (2016)BlinkDB: queries with bounded errors and bounded response times on very large data., , , , , and . EuroSys, page 29-42. ACM, (2013)Monarch: Gaining Command on Geo-Distributed Graph Analytics., , , , , and . HotCloud, USENIX Association, (2018)NetBricks: Taking the V out of NFV., , , , , and . OSDI, page 203-216. USENIX Association, (2016)The Power of Choice in Data-Aware Cluster Scheduling., , , , and . OSDI, page 301-316. USENIX Association, (2014)