Seguir
David Walker
David Walker
Dirección de correo verificada de cs.princeton.edu - Página principal
Título
Citado por
Citado por
Año
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
32942014
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
11811999
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
10712011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
8542012
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
7692013
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
5552014
Edit automata: Enforcement mechanisms for run-time security policies
J Ligatti, L Bauer, D Walker
International Journal of Information Security 4, 2-16, 2005
4482005
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
3762013
Alias types
F Smith, D Walker, G Morrisett
European Symposium on Programming, 366-381, 2000
3362000
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
3332012
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
3251999
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
2892011
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
2762017
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
2692013
Alias types for recursive data structures
D Walker, G Morrisett
International Workshop on Types in Compilation, 177-206, 2000
2632000
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
2602009
Incremental consistent updates
NP Katta, J Rexford, D Walker
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013
2492013
Modular sdn programming with pyretic
J Reich, C Monsanto, N Foster, J Rexford, D Walker
Technical Reprot of USENIX 30, 2013
2452013
Composing security policies with polymer
L Bauer, J Ligatti, D Walker
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
2412005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20