Publications

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