99 citations · 140 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014★ 3 cited
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…
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…