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 19 to 32 of 32 < previous 
Publication DateArticle TitleAuthor(s)
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
Nov-2011A survey of the practice of computational sciencePrabhu, Prakash; Jablin, Thomas B; Raman, Arun; Zhang, Yun; Huang, Jialu; et al
Jul-2018Synthesizing quotient lensesMaina, Solomon; Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C; Walker, David; et al
Jun-2016Temporal NetKATBeckett, Ryan; Greenberg, Michael; Walker, David
2015Tracking the Flow of Ideas through the Programming Languages LiteratureGreenberg, Michael; Fisher, Kathleen; Walker, David