Publications
Found 3 results
Author [ Title] Type Year Filters: First Letter Of Last Name is S and Author is Mooly Sagiv [Clear All Filters]
Abstract Interpretation of Stateful Networks.
Proceedings of SAS 2018.
(2018). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017).