Cole Schlesinger
Galois (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Software-Defined Networks and 5G, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Software Engineering Research
Most-Cited Works
- → P4(2014)2,732 cited
- → Abstractions for network update(2012)578 cited
- → NetKAT(2014)366 cited
- → Languages for software-defined networks(2013)171 cited
- → Splendid isolation(2012)121 cited
- → p4v(2018)121 cited
- → Verifying higher-order programs with the dijkstra monad(2013)103 cited
- → Transparent, Live Migration of a Software-Defined Network(2014)49 cited