Michael Lopez, C. Jasson Casey, Gabriel Dos Reis, Colton Chojnacki. Safer SDN programming through Arbiter. In Christian Kästner, Aniruddha S. Gokhale, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015. pages 65-74, ACM, 2015. [doi]
Abstract is missing.