Browsing by Author Walker, David
Showing results 1 to 20 of 32
next >
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2019 | Abstract interpretation of distributed network control planes | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 2016 | Compiling Path Queries | Narayana, Srinivas; Arashloo, Mina T; Rexford, Jennifer; Walker, David |
| 2013 | Composing Software Defined Networks | Monsanto, Christopher; Reich, Joshua; Foster, Nate; Rexford, Jennifer; Walker, David |
| Aug-2014 | Concurrent NetCore: from policies to pipelines | Schlesinger, Cole; Greenberg, Michael; Walker, David |
| Jan-2016 | Confluences in programming languages research (keynote) | Walker, David |
| 2020 | Contra: A Programmable System for Performance-aware Routing | Hsu, Kuo-Feng; Beckett, Ryan; Chen, Ang; Rexford, Jennifer; Tammana, Praveen; et al |
| Aug-2018 | Control plane compression | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 2015 | CoVisor: A Compositional Hypervisor for Software-Defined Networks | Jin, Xin; Gossels, Jennifer; Rexford, Jennifer; Walker, David |
| Jun-2020 | Data-driven inference of representation invariants | Miltner, Anders; Padhi, Saswat; Millstein, Todd; Walker, David |
| Nov-2019 | Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming | Beckett, Ryan; Mahajan, Ratul; Millstein, Todd; Padhye, Jitendra; Walker, David |
| 2019 | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement | Giannarakis, Nick; Beckett, Ryan; Mahajan, Ratul; Walker, David |
| 2020 | Enabling Programmable Transport Protocols in High-Speed NICs | Arashloo, Mina T; Lavrov, Alexey; Ghobadi, Manya; Rexford, Jennifer; Walker, David; et al |
| Jan-2016 | Example-directed synthesis: a type-theoretic interpretation | Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve |
| Sep-2011 | Forest: a language and toolkit for programming with filestores | Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q |
| Sep-2011 | Frenetic: a network programming language | Foster, Nate; Harrison, Rob; Freedman, Michael J; Monsanto, Christopher; Rexford, Jennifer; et al |
| Aug-2017 | A general approach to network configuration verification | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 2015 | HONE: Joint Host-Network Traffic Management in Software-Defined Networks | Sun, Peng; Yu, Minlan; Freedman, Michael J; Rexford, Jennifer; Walker, David |
| Aug-2014 | Infinite CacheFlow in software-defined networks | Katta, Naga; Alipourfard, Omid; Rexford, Jennifer; Walker, David |
| 14-Feb-2013 | Languages for software-defined networks | Foster, N; Guha, A; Reitblatt, M; Story, A; Freedman, Michael J.; et al |
| 2012 | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats | Zhu, Kenny Q; Fisher, Kathleen; Walker, David |