• 5679 Citations
  • 36 h-Index
19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Don't mind the gap: Bridging network-wide objectives and device-level configurations

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Oct 2019, In : Computer Communication Review. 49, 5, p. 104-106 3 p.

Research output: Contribution to journalArticle

Open Access
2017

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D., Jun 14 2017, In : ACM SIGPLAN Notices. 52, 6, p. 437-451 15 p.

Research output: Contribution to journalArticle

Open Access
1 Scopus citations
2016

Example-directed synthesis: A type-theoretic interpretation

Frankle, J., Osera, P. M., Walker, D. & Zdancewic, S., Apr 8 2016, In : ACM SIGPLAN Notices. 51, 1, p. 802-815 14 p.

Research output: Contribution to journalArticle

14 Scopus citations
2015

HONE: Joint Host-Network Traffic Management in Software-Defined Networks

Sun, P., Yu, M., Freedman, M. J., Rexford, J. L. & Walker, D. P., Jan 1 2015, In : Journal of Network and Systems Management. 23, 2, p. 374-399 26 p.

Research output: Contribution to journalArticle

24 Scopus citations
2014

Concurrent NetCore: From policies to pipelines

Schlesinger, C., Greenberg, M. & Walker, D. P., Sep 1 2014, In : ACM SIGPLAN Notices. 49, 9, p. 11-24 14 p.

Research output: Contribution to journalArticle

5 Scopus citations

Modular protections against non-control data attacks

Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D. & Zorn, B., Jan 1 2014, In : Journal of Computer Security. 22, 5, p. 699-742 44 p.

Research output: Contribution to journalArticle

3 Scopus citations

NetKAT: Semantic foundations for networks

Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C. & Walker, D. P., Jan 13 2014, In : ACM SIGPLAN Notices. 49, 1, p. 113-126 14 p.

Research output: Contribution to journalArticle

86 Scopus citations

P4: Programming protocol-independent packet processors

Bosshart, P., Daly, D., Gibb, G., Izzard, M., McKeown, N., Rexford, J. L., Schlesinger, C., Talayco, D., Vahdat, A., Varghese, G. & Walker, D. P., Jul 2014, In : Computer Communication Review. 44, 3, p. 87-95 9 p.

Research output: Contribution to journalArticle

714 Scopus citations
2013

Languages for software-defined networks

Foster, N., Guha, A., Reitblatt, M., Story, A., Freedman, M. J., Katta, N. P., Monsanto, C., Reich, J., Rexford, J. L., Schlesinger, C., Walker, D. P. & Harrison, R., Feb 20 2013, In : IEEE Communications Magazine. 51, 2, p. 128-134 7 p., 6461197.

Research output: Contribution to journalArticle

114 Scopus citations
2012

A compiler and run-time system for network programming languages

Monsanto, C., Foster, N., Harrison, R. & Walker, D., Jan 1 2012, In : ACM SIGPLAN Notices. 47, 1, p. 217-230 14 p.

Research output: Contribution to journalArticle

95 Scopus citations
2011

Forest: A language and toolkit for programming with filestores

Fisher, K., Foster, N., Walker, D. & Zhu, K. Q., Sep 1 2011, In : ACM SIGPLAN Notices. 46, 9, p. 292-306 15 p.

Research output: Contribution to journalArticle

2 Scopus citations

Frenetic: A network programming language

Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., Sep 1 2011, In : ACM SIGPLAN Notices. 46, 9, p. 279-291 13 p.

Research output: Contribution to journalArticle

260 Scopus citations
2010

A context-free markup language for semi-structured text

Xi, Q. & Walker, D., Jun 1 2010, In : ACM SIGPLAN Notices. 45, 6, p. 221-232 12 p.

Research output: Contribution to journalArticle

4 Scopus citations

Incremental learning of system log formats

Zhu, K. Q., Fisher, K. & Walker, D., Mar 12 2010, In : Operating Systems Review (ACM). 44, 1, p. 85-90 6 p.

Research output: Contribution to journalArticle

10 Scopus citations

Semantics and algorithms for data-dependent grammars

Jim, T., Mandelbaum, Y. & Walker, D., Jan 2010, In : ACM SIGPLAN Notices. 45, 1, p. 417-430 14 p.

Research output: Contribution to journalArticle

16 Scopus citations

The next 700 data description languages

Fisher, K., Mandelbaum, Y. & Walker, D., Jan 1 2010, In : Journal of the ACM. 57, 2, 10.

Research output: Contribution to journalArticle

18 Scopus citations
2009

Composing expressive runtime security policies

Bauer, L., Ligatti, J. & Walker, D., May 1 2009, In : ACM Transactions on Software Engineering and Methodology. 18, 3, 9.

Research output: Contribution to journalArticle

22 Scopus citations

Run-time enforcement of nonsafety policies

Ligatti, J., Bauer, L. & Walker, D., Jan 1 2009, In : ACM Transactions on Information and System Security. 12, 3, 19.

Research output: Contribution to journalArticle

114 Scopus citations
2008

AspectML: A polymorphic aspect-oriented functional programming language

Dantas, D. S., Walker, D., Washburn, G. & Weirich, S., May 1 2008, In : ACM Transactions on Programming Languages and Systems. 30, 3, 14.

Research output: Contribution to journalArticle

31 Scopus citations

From dirt to shovels fully automatic tool generation from ad hoc data

Fisher, K., Walker, D., Zhu, K. Q. & White, P., Jan 1 2008, In : ACM SIGPLAN Notices. 43, 1, p. 421-434 14 p.

Research output: Contribution to journalArticle

16 Scopus citations

Specifying Properties of Concurrent Computations in CLF

Watkins, K., Cervesato, I., Pfenning, F. & Walker, D., Feb 24 2008, In : Electronic Notes in Theoretical Computer Science. 199, p. 67-87 21 p.

Research output: Contribution to journalArticle

16 Scopus citations
2007

Fault-tolerant typed assembly language

Perry, F., Mackey, L., Reis, G. A., Ligatti, J., August, D. I. & Walker, D. P., Jun 1 2007, In : ACM SIGPLAN Notices. 42, 6, p. 42-53 12 p.

Research output: Contribution to journalArticle

3 Scopus citations

PADS/ML: A functional data description language

Mandelbaum, Y., Fisher, K., Walker, D., Fernandez, M. & Gleyzer, A., Jan 1 2007, In : ACM SIGPLAN Notices. 42, 1, p. 77-83 7 p.

Research output: Contribution to journalArticle

8 Scopus citations
2006

A type-theoretic interpretation of pointcuts and advice

Ligatti, J., Walker, D. & Zdancewic, S., Dec 15 2006, In : Science of Computer Programming. 63, 3, p. 240-266 27 p.

Research output: Contribution to journalArticle

14 Scopus citations

Harmless advice

Dantas, D. S. & Walker, D., Jun 26 2006, In : ACM SIGPLAN Notices. 41, 1, p. 383-396 14 p.

Research output: Contribution to journalArticle

31 Scopus citations

Static typing for a faulty lambda calculus

Walker, D. P., Mackey, L., Ligatti, J., Reis, G. A. & August, D. I., Sep 1 2006, In : ACM SIGPLAN Notices. 41, 9, p. 38-49 12 p.

Research output: Contribution to journalArticle

1 Scopus citations

The next 700 data description languages

Fisher, K., Mandelbaum, Y. & Walker, D., Jun 26 2006, In : ACM SIGPLAN Notices. 41, 1, p. 2-15 14 p.

Research output: Contribution to journalArticle

17 Scopus citations
2005

Composing security policies with polymer

Bauer, L., Ligatti, J. & Walker, D., Dec 1 2005, In : ACM SIGPLAN Notices. 40, 6, p. 305-314 10 p.

Research output: Contribution to journalArticle

11 Scopus citations

Edit automata: Enforcement mechanisms for run-time security policies

Ligatti, J., Bauer, L. & Walker, D., Feb 1 2005, In : International Journal of Information Security. 4, 1-2, p. 2-16 15 p.

Research output: Contribution to journalArticle

233 Scopus citations

PolyAML: A polymorphic aspect-oriented functional programming language

Dantas, D. S., Walker, D. P., Washburn, G. & Weirich, S., Dec 1 2005, In : ACM SIGPLAN Notices. 40, 9, p. 306-319 14 p.

Research output: Contribution to journalArticle

8 Scopus citations
2004
20 Scopus citations
2003

The logical approach to stack typing

Ahmed, A. & Walker, D. P., Jan 1 2003, In : ACM SIGPLAN Notices. 38, 3, p. 74-85 12 p.

Research output: Contribution to journalArticle

3 Scopus citations
4 Scopus citations
2002

Stack-based typed assembly language

Morrisett, G., Crary, K., Glew, N. & Walker, D., Aug 27 2002, In : Journal of Functional Programming. 12, 1, p. 43-88 46 p.

Research output: Contribution to journalArticle

37 Scopus citations
2000

Typed memory management via static capabilities

Walker, D., Crary, K. & Morrisett, G., Jul 2000, In : ACM Transactions on Programming Languages and Systems. 22, 4, p. 701-771 71 p.

Research output: Contribution to journalArticle

78 Scopus citations
84 Scopus citations
1999

From system F to typed assembly language

Morrisett, G., Walker, D., Crary, K. & Glew, N., May 1999, In : ACM Transactions on Programming Languages and Systems. 21, 3, p. 527-568 42 p.

Research output: Contribution to journalArticle

351 Scopus citations