David Walker
Princeton University(US)
Publications by Year
Research Areas
Software-Defined Networks and 5G, Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques
Most-Cited Works
- → P4(2014)2,731 cited
- → From system F to typed assembly language(1999)584 cited
- → Frenetic(2011)581 cited
- → Abstractions for network update(2012)578 cited
- Composing software-defined networks(2013)
- → Edit automata: enforcement mechanisms for run-time security policies(2004)394 cited
- → NetKAT(2014)366 cited
- → Optimizing the "one big switch" abstraction in software-defined networks(2013)282 cited