Date Posted: 10/27/2016

The ICFP '15 paper "A Fast Compiler for NetKAT" by Steffen Smolka (Cornell PhD student), Spiros Eliopoulos (Inhabited Type; former Cornell research staff), Nate Foster (Cornell CS faculty), and Arjun Guha (UMass faculty; former Cornell postdoc) was selected as a SIGPLAN Research Highlight. Highlights are committee-selected conference papers that are of high quality and broad appeal.