Browsing by Author Walker, David
Showing results 9 to 28 of 32
< previous
next >
Publication Date | Article Title | Author(s) |
---|---|---|
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 |
2014 | Modular protections against non-control data attacks | Schlesinger, Cole; Pattabiraman, Karthik; Swamy, Nikhil; Walker, David; Zorn, Benjamin |
Jan-2014 | NetKAT: semantic foundations for networks | Anderson, Carolyn J; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; et al |
Aug-2019 | NV: An intermediate language for network verification | Beckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David |
Dec-2013 | Optimizing the "one big switch" abstraction in software-defined networks | Kang, Nanxi; Liu, Zhenming; Rexford, Jennifer; Walker, David |
28-Jul-2014 | P4: Programming protocol-independent packet processors | Bosshart, P; Daly, D; Gibb, G; Izzard, M; McKeown, N; et al |
2012 | Policy transformation in software defined networks | Kang, Nanxi; Reich, Jennifer; Rexford, Joshua; Walker, David |
2012 | Policy transformation in software defined networks | Kang, Nanxi; Reich, Joshua; Rexford, Jennifer; Walker, David |
22-Aug-2016 | SNAP: Stateful network-wide abstractions for packet processing | Arashloo, MT; Koral, Y; Greenberg, M; Rexford, Jennifer L.; Walker, David |