• 4936 Citations
  • 35 h-Index
19982019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1998 2019

Filter
Article
2016
9 Citations (Scopus)

Example-directed synthesis: A type-theoretic interpretation

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

Research output: Contribution to journalArticle

Semantics
Specifications
Theorem proving
Specification languages
Acoustic waves
2015
19 Citations (Scopus)

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

Network layers
Visibility
Scalability
Software
Traffic management
2014
3 Citations (Scopus)

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

Pipelines
Switches
Controllers
Processing
Flow control
2 Citations (Scopus)

Modular protections against non-control data attacks

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

Research output: Contribution to journalArticle

Semantics
Data structures
Servers
Acoustic waves
Experiments
77 Citations (Scopus)

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

Semantics
Acoustic waves
High level languages
Syntactics
Computer programming
490 Citations (Scopus)

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., Jan 1 2014, In : Computer Communication Review. 44, 3, p. 87-95 9 p.

Research output: Contribution to journalArticle

Computer programming
Program processors
Network protocols
Switches
High level languages
2013
104 Citations (Scopus)

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

Switches
Monitoring
Network management
Computer networks
Computer programming
2012
85 Citations (Scopus)

A compiler and run-time system for network programming languages

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

Research output: Contribution to journalArticle

Computer programming languages
Switches
Network architecture
Semantics
Statistics
2011
2 Citations (Scopus)

Forest: A language and toolkit for programming with filestores

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

Research output: Contribution to journalArticle

Computer programming languages
Semantics
Inference engines
UNIX
Error detection
230 Citations (Scopus)

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

Computer programming languages
Switches
High level languages
Query languages
Computer programming
2010
4 Citations (Scopus)

A context-free markup language for semi-structured text

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

Research output: Contribution to journalArticle

Context free grammars
Markup languages
Semantics
Syntactics
XML
9 Citations (Scopus)

Incremental learning of system log formats

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

Research output: Contribution to journalArticle

Processing
12 Citations (Scopus)

Semantics and algorithms for data-dependent grammars

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

Research output: Contribution to journalArticle

Semantics
Engines
Specifications
Context free grammars
Computer programming languages
16 Citations (Scopus)

The next 700 data description languages

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

Research output: Contribution to journalArticle

Data description
Semantics
Specifications
Data storage equipment
2009
22 Citations (Scopus)

Composing expressive runtime security policies

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

Research output: Contribution to journalArticle

Computer system firewalls
Computer operating systems
Polymers
Flow control
Semantics
110 Citations (Scopus)

Run-time enforcement of nonsafety policies

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

Research output: Contribution to journalArticle

Monitoring
2008
30 Citations (Scopus)

AspectML: A polymorphic aspect-oriented functional programming language

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

Research output: Contribution to journalArticle

Aspect oriented programming
Functional programming
Computer programming languages
Labels
Polymorphism
12 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Shovels
Data description
Data visualization
Printing
Engines
15 Citations (Scopus)

Specifying Properties of Concurrent Computations in CLF

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

Research output: Contribution to journalArticle

Concurrent
Semantics
π-calculus
Concurrent Systems
Type Systems
2007
2 Citations (Scopus)

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

Fault tolerance
Hardware
Codes (standards)
Redundancy
Transistors
8 Citations (Scopus)

PADS/ML: A functional data description language

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

Research output: Contribution to journalArticle

Data description
Printing
Semantics
Engines
2006
14 Citations (Scopus)

A type-theoretic interpretation of pointcuts and advice

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

Research output: Contribution to journalArticle

Aspect oriented programming
Computer programming languages
Semantics
Syntactics
Labels
31 Citations (Scopus)

Harmless advice

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

Research output: Contribution to journalArticle

Object oriented programming
Flow control
1 Citation (Scopus)

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

Transistors
Fault tolerance
Neutrons
Hardware
17 Citations (Scopus)

The next 700 data description languages

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

Research output: Contribution to journalArticle

Data description
Semantics
XML
Specifications
Data storage equipment
2005
10 Citations (Scopus)

Composing security policies with polymer

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

Research output: Contribution to journalArticle

Polymers
Chemical analysis
Electronic mail
Semantics
222 Citations (Scopus)

Edit automata: Enforcement mechanisms for run-time security policies

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

Research output: Contribution to journalArticle

Application programs
Monitoring
8 Citations (Scopus)

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

Aspect oriented programming
Functional programming
Computer programming languages
Labels
Polymorphism
2004
41 Citations (Scopus)

A concurrent logical framework: The propositional fragment

Watkins, K., Cervesato, I., Pfenning, F. & Walker, D. P., Dec 1 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3085, p. 355-377 23 p.

Research output: Contribution to journalArticle

Concurrent
Fragment
Type Theory
Petri nets
Linear Logic
20 Citations (Scopus)
Distributed Programming
Computer programming languages
Programming Languages
Modal Logic
Type Systems
2003
3 Citations (Scopus)

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

Data storage equipment
Acoustic waves
4 Citations (Scopus)
Monitor
Security Policy
Formal Specification
Terminate
Policy
2002
36 Citations (Scopus)

Stack-based typed assembly language

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

Research output: Contribution to journalArticle

Machine oriented languages
Reduced instruction set computing
Chemical activation
Virtual machine
2000
76 Citations (Scopus)

Typed memory management via static capabilities

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

Research output: Contribution to journalArticle

Data storage equipment
Syntactics
84 Citations (Scopus)
Access control
1999
343 Citations (Scopus)

From system F to typed assembly language

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

Research output: Contribution to journalArticle

Abstract data types
Reduced instruction set computing
High level languages
123 Citations (Scopus)

Typed memory management in a calculus of capabilities

Crary, K., Walker, D. P. & Morrisett, G., Jan 1 1999, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 262-275 14 p.

Research output: Contribution to journalArticle

Data storage equipment
Computer programming languages
1998
193 Citations (Scopus)

From system F to typed assembly language

Morrisett, G., Walker, D. P., Crary, K. & Glew, N., Jan 1 1998, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 85-97 13 p.

Research output: Contribution to journalArticle

Abstract data types
Reduced instruction set computing
High level languages
Scheduling