Publications

Found 3 results
Author Title [ Type(Asc)] Year
Filters: 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.
Alpernas, K., Manevich R., Panda A., Sagiv M., Shenker S. J., Shoham S., et al. (2018).  Abstract Interpretation of Stateful Networks. Proceedings of SAS 2018.