Publications
Found 4 results
Author Title [ Type] Year Filters: First Letter Of Title is V and Author is Scott Shenker [Clear All Filters]
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).
(2010). A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion.
Journal of Physics A: Mathematical and General. 12(1), 91-97.
(1979).