Skip to main content

Browsing by Author Walker, David

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 9 to 28 of 32 < previous   next >
Publication DateArticle TitleAuthor(s)
Jun-2020Data-driven inference of representation invariantsMiltner, Anders; Padhi, Saswat; Millstein, Todd; Walker, David
Nov-2019Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programmingBeckett, Ryan; Mahajan, Ratul; Millstein, Todd; Padhye, Jitendra; Walker, David
2019Efficient Verification of Network Fault Tolerance via Counterexample-Guided RefinementGiannarakis, Nick; Beckett, Ryan; Mahajan, Ratul; Walker, David
2020Enabling Programmable Transport Protocols in High-Speed NICsArashloo, Mina T; Lavrov, Alexey; Ghobadi, Manya; Rexford, Jennifer; Walker, David; et al
Jan-2016Example-directed synthesis: a type-theoretic interpretationFrankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve
Sep-2011Forest: a language and toolkit for programming with filestoresFisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q
Sep-2011Frenetic: a network programming languageFoster, Nate; Harrison, Rob; Freedman, Michael J; Monsanto, Christopher; Rexford, Jennifer; et al
Aug-2017A general approach to network configuration verificationBeckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David
2015HONE: Joint Host-Network Traffic Management in Software-Defined NetworksSun, Peng; Yu, Minlan; Freedman, Michael J; Rexford, Jennifer; Walker, David
Aug-2014Infinite CacheFlow in software-defined networksKatta, Naga; Alipourfard, Omid; Rexford, Jennifer; Walker, David
14-Feb-2013Languages for software-defined networksFoster, N; Guha, A; Reitblatt, M; Story, A; Freedman, Michael J.; et al
2012LearnPADS + + : Incremental Inference of Ad Hoc Data FormatsZhu, Kenny Q; Fisher, Kathleen; Walker, David
2014Modular protections against non-control data attacksSchlesinger, Cole; Pattabiraman, Karthik; Swamy, Nikhil; Walker, David; Zorn, Benjamin
Jan-2014NetKAT: semantic foundations for networksAnderson, Carolyn J; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; et al
Aug-2019NV: An intermediate language for network verificationBeckett, Ryan; Giannarakis, Nick; Loher, Devon; Walker, David
Dec-2013Optimizing the "one big switch" abstraction in software-defined networksKang, Nanxi; Liu, Zhenming; Rexford, Jennifer; Walker, David
28-Jul-2014P4: Programming protocol-independent packet processorsBosshart, P; Daly, D; Gibb, G; Izzard, M; McKeown, N; et al
2012Policy transformation in software defined networksKang, Nanxi; Reich, Jennifer; Rexford, Joshua; Walker, David
2012Policy transformation in software defined networksKang, Nanxi; Reich, Joshua; Rexford, Jennifer; Walker, David
22-Aug-2016SNAP: Stateful network-wide abstractions for packet processingArashloo, MT; Koral, Y; Greenberg, M; Rexford, Jennifer L.; Walker, David