1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2021★ 1 cited
Optimizing Regular Expressions via Rewrite-Guided Synthesis
Jedidiah McClurg, Miles Claver, Jackson Garner +3
Regular expressions are pervasive in modern systems. Many real-world regular expressions are inefficient, sometimes to the extent that they are vulnerable to complexity-based attac…
cs.NI2016★ 1 cited
Optimal Consistent Network Updates in Polynomial Time
Pavol Cerny, Nate Foster, Nilesh Jagnik +1
Software-defined networking (SDN) allows operators to control the behavior of a network by programatically managing the forwarding rules installed on switches. However, as is commo…