papers
Publications (14)
cs.PL2014
Toward Synthesis of Network Updates
Andrew Noyes, Todd Warszawski, Pavol Äerný +1
cs.NI2016
Optimal Consistent Network Updates in Polynomial Time
Pavol Cerny, Nate Foster, Nilesh Jagnik +1
cs.DB2015
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis
Sudip Roy, Lucja Kot, Gabriel Bender +5
cs.PL2015
Efficient Synthesis of Network Updates
Jedidiah McClurg, Hossein Hojjat, Pavol Cerny +1
cs.NI2014
Merlin: A Language for Provisioning Network Resources
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi +4
cs.PL2019
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Matthias Eichholz, Eric Campbell, Nate Foster +2
cs.PL2016
Event-Driven Network Programming
Jedidiah McClurg, Hossein Hojjat, Nate Foster +1
cs.NI2016
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing
Praveen Kumar, Yang Yuan, Chris Yu +3
cs.PL2018
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, Nate Foster +2
cs.PL2019
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M Kahn +4
cs.PL2018
Probabilistic Program Equivalence for NetKAT
Steffen Smolka, Praveen Kumar, Nate Foster +4
cs.PL2015
A Fast Compiler for NetKAT
Steffen Smolka, Spiridon Eliopoulos, Nate Foster +1
cs.NI2015
Morpheus: Safe and Flexible Dynamic Updates for SDNs
Karla Saur, Joseph Collard, Nate Foster +3
cs.DC2018
NetChain: Scale-Free Sub-RTT Coordination (Extended Version)
Xin Jin, Xiaozhou Li, Haoyu Zhang +5