Suivre
David Walker
David Walker
Adresse e-mail validée de cs.princeton.edu - Page d'accueil
Titre
Citée par
Citée par
Année
P4: Programming protocol-independent packet processors
P Bosshart, D Daly, G Gibb, M Izzard, N McKeown, J Rexford, ...
ACM SIGCOMM Computer Communication Review 44 (3), 87-95, 2014
31602014
From System F to typed assembly language
G Morrisett, D Walker, K Crary, N Glew
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999
11731999
From System F to typed assembly language
G Morrisett, D Walker, K Crary, N Glew
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999
11731999
Frenetic: A network programming language
N Foster, R Harrison, MJ Freedman, C Monsanto, J Rexford, A Story, ...
ACM Sigplan Notices 46 (9), 279-291, 2011
10682011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
8502012
Composing software defined networks
C Monsanto, J Reich, N Foster, J Rexford, D Walker
10th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2013
7642013
NetKAT: Semantic foundations for networks
CJ Anderson, N Foster, A Guha, JB Jeannin, D Kozen, C Schlesinger, ...
Acm sigplan notices 49 (1), 113-126, 2014
5442014
Edit automata: Enforcement mechanisms for run-time security policies
J Ligatti, L Bauer, D Walker
International Journal of Information Security 4, 2-16, 2005
4442005
Optimizing the" one big switch" abstraction in software-defined networks
N Kang, Z Liu, J Rexford, D Walker
Proceedings of the ninth ACM conference on Emerging networking experiments …, 2013
3742013
Alias types
F Smith, D Walker, G Morrisett
European Symposium on Programming, 366-381, 2000
3382000
A compiler and run-time system for network programming languages
C Monsanto, N Foster, R Harrison, D Walker
Acm sigplan notices 47 (1), 217-230, 2012
3342012
TALx86: A realistic typed assembly language
K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ...
1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999
3211999
Typed memory management in a calculus of capabilities
K Crary, D Walker, G Morrisett
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
3151999
Consistent updates for software-defined networks: Change you can believe in!
M Reitblatt, N Foster, J Rexford, D Walker
Proceedings of the 10th ACM workshop on hot topics in networks, 1-6, 2011
2862011
Languages for software-defined networks
N Foster, A Guha, M Reitblatt, A Story, MJ Freedman, NP Katta, ...
IEEE Communications Magazine 51 (2), 128-134, 2013
2712013
Alias types for recursive data structures
D Walker, G Morrisett
International Workshop on Types in Compilation, 177-206, 2000
2622000
A general approach to network configuration verification
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017
2602017
Run-time enforcement of nonsafety policies
J Ligatti, L Bauer, D Walker
ACM Transactions on Information and System Security (TISSEC) 12 (3), 1-41, 2009
2542009
Modular sdn programming with pyretic
J Reich, C Monsanto, N Foster, J Rexford, D Walker
Technical Reprot of USENIX 30, 2013
2482013
Incremental consistent updates
NP Katta, J Rexford, D Walker
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013
2482013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20