Publications

Found 3 results
Author Title Type [ Year(Asc)]
Filters: Author is Mooly Sagiv  [Clear All Filters]
2017
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.
Panda, A., Lahav O., Argyraki K. J., Sagiv M., & Shenker S. J. (2017).  Verifying Reachability in Networks with Mutable Datapaths. Proceedings of NSDI '17.