Publications

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