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

Research Output 1998 2019

2019

Efficient verification of network fault tolerance via counterexample-guided refinement

Giannarakis, N., Beckett, R., Mahajan, R. & Walker, D. P., Jan 1 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 305-323 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Fault tolerance
Fault Tolerance
Counterexample
Refinement
Concretes

NV: An intermediate language for network verification

Beckett, R., Loher, D., Giannarakis, N. & Walker, D. P., Aug 14 2019, NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 3-4 2 p. (NetPL 2019 - Proceedings of the 2019 ACM SIGCOMM Workshop on Networking and Programming Languages, Part of SIGCOMM 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2018
4 Citations (Scopus)

Control plane compression

Beckett, R., Gupta, A., Mahajan, R. & Walker, D. P., Aug 7 2018, SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 476-489 14 p. (SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Electric network analysis
behavior control
network analysis
equivalence
simulation
2017
26 Citations (Scopus)

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R. & Walker, D. P., Aug 7 2017, SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 155-168 14 p. (SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Routers
Fault tolerance
Routing protocols
Resource allocation
equivalence

Demo: Programming distributed control planes: Invited Demo

Beckett, R., Mahajan, R., Padhye, J., Millstein, T. & Walker, D. P., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 205-206 2 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Propane
Routing protocols
Hardware
7 Citations (Scopus)

HotCocoa: Hardware congestion control abstractions

Arashloo, M. T., Ghobadi, M., Rexford, J. L. & Walker, D. P., Nov 30 2017, HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 108-114 7 p. (HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardware
Program processors
Mathematical operators
Network protocols
Processing
7 Citations (Scopus)

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D. P., Jun 14 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). Association for Computing Machinery, p. 437-451 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Topology
Propane
Fault tolerance
Concretes
Specifications
2016
52 Citations (Scopus)

CacheFlow: Dependency-aware rule-caching for software-defined networks

Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Mar 14 2016, Symposium on Software Defined Networking (SDN) Research, SOSR 2016. Association for Computing Machinery, Inc, a6. (Symposium on Software Defined Networking (SDN) Research, SOSR 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Associative storage
Switches
Hardware
Semantics
Processing
23 Citations (Scopus)

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

Beckett, R., Mahajan, R., Millstein, T., Padhye, J. & Walker, D. P., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 328-341 14 p. 2934909. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Routers
Propane
guarantee
Specifications
language
15 Citations (Scopus)

Example-directed synthesis: A type-theoretic interpretation

Frankle, J., Osera, P. M., Walker, D. P. & Zdancewic, S., Jan 11 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). Association for Computing Machinery, p. 802-815 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Specifications
Theorem proving
Specification languages
Acoustic waves
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
4 Citations (Scopus)

Hardware-software co-design for network performance measurement

Narayana, S., Sivaraman, A., Nathan, V., Alizadeh, M., Walker, D. P., Rexford, J. L., Jeyakumar, V. & Kim, C., Nov 9 2016, HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 190-196 7 p. (HotNets 2016 - Proceedings of the 15th ACM Workshop on Hot Topics in Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network performance
Switches
Hardware
Query languages
Information use
45 Citations (Scopus)

SNAP: Stateful network-wide abstractions for packet processing

Arashloo, M. T., Koral, Y., Greenberg, M., Rexford, J. L. & Walker, D. P., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 29-43 15 p. 2934892. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

abstraction
Switches
Processing
Topology
networking
7 Citations (Scopus)

Temporal NetKAT

Beckett, R., Greenberg, M. & Walker, D. P., Jun 2 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). Association for Computing Machinery, p. 386-401 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 13-17-June-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Temporal logic
Monitoring
Access control
Algebra
2015
77 Citations (Scopus)

CoVisor: A compositional hypervisor for software-defined networks

Jin, X., Gossels, J., Rexford, J. L. & Walker, D. P., Jan 1 2015, Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015. USENIX, p. 87-101 15 p. (Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controllers
Topology
Routers
Access control
Computer programming languages
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
2 Citations (Scopus)

Tracking the flow of ideas through the programming languages literature

Greenberg, M., Fisher, K. & Walker, D. P., May 1 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 140-155 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 32).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Learning systems

Welcome to POPL 2015

Rajamani, S. & Walker, D. P., Jan 1 2015, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 2015-January, p. iii

Research output: Contribution to journalEditorial

Welcome to POPL 2015

Rajamani, S. & Walker, D. P., Jan 1 2015, In : ACM SIGPLAN Notices. 50, 1, p. iii

Research output: Contribution to journalEditorial

2014
27 Citations (Scopus)

An assertion language for debugging SDN applications

Beckett, R., Zou, X. K., Zhang, S., Malik, S., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 91-96 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer debugging
Controllers
Software defined networking
Access control
Visibility
25 Citations (Scopus)

Compiling path queries in software-defined networks

Narayana, S., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 181-186 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Telecommunication traffic
Monitoring
Query languages
Computer programming
Agglomeration
10 Citations (Scopus)

Concurrent NetCore: From policies to pipelines

Schlesinger, C., Greenberg, M. & Walker, D. P., Jan 1 2014, ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery, p. 11-24 14 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pipelines
Switches
Processing
Controllers
Flow control
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
16 Citations (Scopus)

Incremental update for a compositional SDN hypervisor

Jin, X., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 187-192 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network management
Processing
Application programs
Algebra
Controllers
91 Citations (Scopus)

Infinite CacheFlow in software-defined networks

Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 175-180 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Associative storage
Semantics
Hardware
Routers
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
83 Citations (Scopus)

NetkAT: Semantic foundations for networks

Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C. & Walker, D. P., Feb 11 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 113-126 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Acoustic waves
High level languages
Syntactics
Computer programming
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
23 Citations (Scopus)

Transparent, live migration of a software-defined network

Ghorbani, S., Schlesinger, C., Monaco, M., Keller, E., Caesar, M., Rexford, J. L. & Walker, D. P., Nov 3 2014, Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014. Association for Computing Machinery, Inc, (Proceedings of the 5th ACM Symposium on Cloud Computing, SOCC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Controllers
Network management
Statistics
Experiments
2013
121 Citations (Scopus)

Incremental consistent updates

Katta, N. P., Rexford, J. L. & Walker, D. P., Sep 16 2013, HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. p. 49-54 6 p. (HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Experiments
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
164 Citations (Scopus)

Optimizing the "One big switch" abstraction in software-defined networks

Kang, N., Liu, Z., Rexford, J. L. & Walker, D. P., Jan 1 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 13-24 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Hardware
Data storage equipment
Controllers
2012
289 Citations (Scopus)

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., Sep 26 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 323-334 12 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Application programming interfaces (API)
Outages
Switches
Experiments
79 Citations (Scopus)

Abstractions for network update

Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 323-334 12 p. (Computer Communication Review; vol. 42, no. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Application programming interfaces (API)
Outages
Switches
Experiments
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
62 Citations (Scopus)

A compiler and run-time system for network programming languages

Monsanto, C., Foster, N., Harrison, R. & Walker, D. P., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 217-230 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

LearnPADS ++: Incremental inference of ad hoc data formats

Zhu, K. Q., Fisher, K. & Walker, D. P., Feb 21 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 168-182 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Streaming Data
Incremental Algorithm
Forcing
4 Citations (Scopus)

Policy transformation in software defined networks

Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 309-310 2 p. (Computer Communication Review; vol. 42, no. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Complex networks
Merging
Topology
Acoustic waves
6 Citations (Scopus)

Policy transformation in software defined networks

Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., Sep 26 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 309-310 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Complex networks
Merging
Topology
Acoustic waves
2011
18 Citations (Scopus)

A survey of the practice of computational science

Prabhu, P., Kim, H., Oh, T., Jablin, T. B., Johnson, N. P., Zoufaly, M., Raman, A., Liu, F., Walker, D. P., Zhang, Y., Ghosh, S., August, D. I., Huang, J. & Beard, S., Dec 13 2011, State of the Practice Reports, SC'11. 19. (State of the Practice Reports, SC'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer science
Productivity
113 Citations (Scopus)

Consistent updates for software-defined networks: Change you can believe in!

Reitblatt, M., Foster, N., Rexford, J. L. & Walker, D. P., Dec 19 2011, Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10. (Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Slate
Access control
Shielding
Computer programming languages
Semantics
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
4 Citations (Scopus)

Forest: A language and toolkit for programming with filestores

Fisher, K., Foster, N., Walker, D. P. & Zhu, K. Q., Oct 19 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 292-306 15 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
154 Citations (Scopus)

Frenetic: A network programming language

Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., Oct 19 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 279-291 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Switches
High level languages
Query languages
Computer programming
11 Citations (Scopus)

Linear maps

Lahiri, S. K., Qadeer, S. & Walker, D. P., Mar 7 2011, PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. p. 3-14 12 p. (PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Acoustic waves
7 Citations (Scopus)

Modular protections against non-control data attacks

Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D. P. & Zorn, B., Sep 16 2011, Proceedings - 24th IEEE Computer Security Foundations Symposium, CSF 2011. p. 131-145 15 p. 5992159. (Proceedings - IEEE Computer Security Foundations Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Data structures
Servers
Acoustic waves
19 Citations (Scopus)

The PADS project: An overview

Fisher, K. & Walker, D. P., Mar 11 2011, Database Theory - ICDT 2011: 14th International Conference on Database Theory, Proceedings. p. 11-17 7 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data description
Metadata
Computer programming languages
Semantics
2010
4 Citations (Scopus)

A context-free markup language for semi-structured text

Xi, Q. & Walker, D. P., Jul 23 2010, PLDI'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 221-232 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Context free grammars
Markup languages
Semantics
Syntactics
XML