David Walker
David Walker
Verifierad e-postadress på cs.princeton.edu - Startsida
Titel
Citeras av
Citeras av
År
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
14732014
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
10921999
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
10921999
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
8782011
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
ACM SIGCOMM Computer Communication Review 42 (4), 323-334, 2012
7032012
Composing software defined networks
C Monsanto, J Reich, N Foster, J Rexford, D Walker
10th {USENIX} Symposium on Networked Systems Design and Implementation …, 2013
6362013
Edit automata: Enforcement mechanisms for run-time security policies
J Ligatti, L Bauer, D Walker
International Journal of Information Security 4 (1-2), 2-16, 2005
3932005
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
3522014
Alias types
F Smith, D Walker, G Morrisett
European Symposium on Programming, 366-381, 2000
3072000
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
3062013
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
2991999
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
2841999
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
2762012
Alias types for recursive data structures
D Walker, G Morrisett
International Workshop on Types in Compilation, 177-206, 2000
2462000
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
2392011
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
2342013
Composing security policies with polymer
L Bauer, J Ligatti, D Walker
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
2242005
Incremental consistent updates
NP Katta, J Rexford, D Walker
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013
2092013
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
2042009
A concurrent logical framework I: Judgments and properties
K Watkins, I Cervesato, F Pfenning, D Walker
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 2003
2012003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20