99 citations · 122 across the 3 of their papers we have counts for
3 papers
cs.PL2014★ 23 cited
Toward Synthesis of Network Updates
Andrew Noyes, Todd Warszawski, Pavol Černý +1
Updates to network configurations are notoriously difficult to implement correctly. Even if the old and new configurations are correct, the update process can introduce transient e…
cs.PL2014★ 99 cited
Efficient Synthesis of Network Updates
Jedidiah McClurg, Hossein Hojjat, Pavol Cerny +1
Software-defined networking (SDN) is revolutionizing the networking industry, but current SDN programming platforms do not provide automated mechanisms for updating global configur…
cs.PL2010
Algorithmic Verification of Single-Pass List Processing Programs
Rajeev Alur, Pavol Cerny
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) sequen…