99 citations · 140 across the 5 of their papers we have counts for
5 papers
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…
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…
Event-Driven Network Programming
Jedidiah McClurg, Hossein Hojjat, Nate Foster +1
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to g…
Development of a Translator from LLVM to ACL2
David S. Hardin, Jennifer A. Davis, David A. Greve +1
In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystem…
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…