Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster. Efficient synthesis of network updates. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 196-207, ACM, 2015. [doi]
Abstract is missing.