Publications

Found 4 results
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is V and Author is Scott Shenker  [Clear All Filters]
Conference Paper
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.
Casado, M., Koponen T., Ramanathan R., & Shenker S. (2010).  Virtualizing the Network Forwarding Plane. 1-6.
Journal Article
Shenker, S., Kadanoff L. P., & Pruisken A.. M. M. (1979).  A Variational Real Space Renormalization Group Transformation Based on the Cumulant Expansion. Journal of Physics A: Mathematical and General. 12(1), 91-97.