Publications

Found 2 results
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is V and Author is Mooly Sagiv  [Clear All Filters]
Conference Paper
Panda, A., Lahav O., Argyraki K., Sagiv M., & Shenker S. J. (2017).  Verifying Reachability in Networks with Mutable Datapaths. Proceedings of NSDI '17.
Panda, A., Sagiv M., & Shenker S. J. (2017).  Verification in the Age of Microservices. Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.