Detecting and resolving packet filter conflicts, Proceedings IEEE INFOCOM 2000, The Conference on Computer Communications, Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies, pp.1203-1212, 2000. ,

Computational Geometry: Algorithms and Applications, 2008. ,

Lower bounds for high dimensional nearest neighbor search and related problems, Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, pp.312-321, 1999. ,

Forwarding metamorphosis: Fast programmable match-action processing in hardware for SDN, Proceedings of the ACM SIGCOMM 2013 Conference on SIGCOMM, SIGCOMM '13, pp.99-110, 2013. ,

Source-specific routing, IFIP Networking, 2015. ,

URL : https://hal.archives-ouvertes.fr/hal-00947234

Klee's measure problem made easy, 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS, pp.410-419, 2013. ,

New algorithms for subset query, partial match, orthogonal range searching, and related problems, Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, vol.2380, pp.451-462, 2002. ,

On the intersection of orthogonal objects, Information Processing Letters, vol.13, issue.4, pp.177-181, 1981. ,

Internet packet filter management and rectangle geometry, Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, pp.827-835, 2001. ,

Reaching the Promised Land of Communications, Proceedings IEEE INFOCOM 2000, The Conference on Computer Communications, Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies, pp.1193-1202, 2000. ,

Algorithms for packet classification. IEEE Network: The Magazine of Global Internetworking, vol.15, pp.24-32, 2001. ,

Incremental consistent updates, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pp.49-54, 2013. ,

Real Time Network Policy Checking using Header Space Analysis, NSDI, 2013. ,

Header space analysis: Static checking for networks, 2011. ,

Header space analysis: Static checking for networks, Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12), pp.113-126, 2012. ,

HSA/NetPlumber source code repository ,

VeriFlow : Verifying Network-Wide Invariants in Real Time, NSDI, 2013. ,

Outsourcing the routing control logic: Better internet routing based on SDN principles, Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-XI, pp.55-60, 2012. ,

Debugging the Data Plane with Anteater, SIGCOMM, 2011. ,

Efficient enumeration of solutions produced by closure operations, 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, vol.47, pp.1-52, 2016. ,

URL : https://hal.archives-ouvertes.fr/hal-01388505

Composing software-defined networks, Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi'13, pp.1-14, 2013. ,

Unifying the landscape of cell-probe lower bounds, SIAM J. Comput, vol.40, issue.3, pp.827-847, 2011. ,

CPP: Consistent Packet Processing for Openflow, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pp.97-102, 2013. ,

Partial-match retrieval algorithms, SIAM J. Comput, vol.5, issue.1, pp.19-50, 1976. ,

, Route Views Project. BGP traces

Multi-layer packet classification with graphics processing units, CoNEXT, 2014. ,

USENIX Association. the smallest collection of combinations of R that contains R ? {H} and that is weakly complete, Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation, NSDI'14, pp.87-99, 2014. ,