David Walker

According to our database1, David Walker authored at least 160 papers between 1989 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Safe, modular packet pipeline programming.
Proc. ACM Program. Lang., 2022

Modular Control Plane Verification via Temporal Invariants.
CoRR, 2022

Kirigami, the Verifiable Art of Network Cutting.
CoRR, 2022

A computational method to track the evolution of business models in the Digital Economy.
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021
Estimating Coastal Winds by Assimilating High-Frequency Radar Spectrum Data in SWAN.
Sensors, 2021

ProbNV: probabilistic verification of network control planes.
Proc. ACM Program. Lang., 2021

Test coverage metrics for the network.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

Lucid: a language for control in the data plane.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020
Abstract interpretation of distributed network control planes.
Proc. ACM Program. Lang., 2020

Adaptive Weighted Traffic Splitting in Programmable Data Planes.
Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020

Data-driven inference of representation invariants.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

NV: an intermediate language for verification of network control planes.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Contra: A Programmable System for Performance-aware Routing.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Enabling Programmable Transport Protocols in High-Speed NICs.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Elastic Switch Programming with P4All.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019
Synthesizing symmetric lenses.
Proc. ACM Program. Lang., 2019

Contra: A Programmable System for Performance-aware Routing.
CoRR, 2019

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming.
Comput. Commun. Rev., 2019

Improvements to the Construction of Bubble Inception Formulae for Use With Transformer Insulation.
IEEE Access, 2019

NV: An intermediate language for network verification.
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Synthesizing bijective lenses.
Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.
Proc. ACM Program. Lang., 2018

Control plane compression.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

2017
Programming Distributed Control Planes: Invited Demo: Demo.
Proceedings of the Symposium on SDN Research, 2017

A General Approach to Network Configuration Verification.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Network configuration synthesis with abstract topologies.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

HotCocoa: Hardware Congestion Control Abstractions.
Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Palo Alto, CA, USA, 2017

Wearable accelerometer based extended sleep position recognition.
Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017

2016
CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks.
Proceedings of the Symposium on SDN Research, 2016

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

SNAP: Stateful Network-Wide Abstractions for Packet Processing.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Confluences in programming languages research (keynote).
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Example-directed synthesis: a type-theoretic interpretation.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Temporal NetKAT.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Compiling Path Queries.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Hardware-Software Co-Design for Network Performance Measurement.
Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015
HONE: Joint Host-Network Traffic Management in Software-Defined Networks.
J. Netw. Syst. Manag., 2015

Tracking the Flow of Ideas through the Programming Languages Literature.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

CoVisor: A Compositional Hypervisor for Software-Defined Networks.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014
Modular protections against non-control data attacks.
J. Comput. Secur., 2014

P4: programming protocol-independent packet processors.
Comput. Commun. Rev., 2014

Compiling path queries in software-defined networks.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

Infinite CacheFlow in software-defined networks.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

Incremental update for a compositional SDN hypervisor.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

An assertion language for debugging SDN applications.
Proceedings of the third workshop on Hot topics in software defined networking, 2014

NetkAT: semantic foundations for networks.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Concurrent NetCore: from policies to pipelines.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Transparent, Live Migration of a Software-Defined Network.
Proceedings of the ACM Symposium on Cloud Computing, 2014

2013
Modular SDN Programming with Pyretic.
login Usenix Mag., 2013

Programming Protocol-Independent Packet Processors.
CoRR, 2013

Languages for software-defined networks.
IEEE Commun. Mag., 2013

Incremental consistent updates.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Composing Software Defined Networks.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Optimizing the "one big switch" abstraction in software-defined networks.
Proceedings of the Conference on emerging Networking Experiments and Technologies, 2013

2012
Collaboration without Rules - A New Perspective on Stability Operations.
Proceedings of the 2012 International Conference on Social Informatics (SocialInformatics), 2012

Abstractions for network update.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Policy transformation in software defined networks.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

A compiler and run-time system for network programming languages.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats.
Proceedings of the Practical Aspects of Declarative Languages, 2012

The lay of the land: a brief survey of problem understanding.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Cyber - Transparencies, Assurance and Deterrence.
Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

2011
Clinical application of SPHARM-PDM to quantify temporomandibular joint osteoarthritis.
Comput. Medical Imaging Graph., 2011

Une Suite d'interaction de fouille basée sur la compréhension du langage naturel (An Interaction Mining Suite Based On Natural Language Understanding).
Proceedings of the Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Démonstrations, 2011

A survey of the practice of computational science.
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Linear maps.
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

Frenetic: a network programming language.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Forest: a language and toolkit for programming with filestores.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The PADS project: an overview.
Proceedings of the Database Theory, 2011

Consistent updates for software-defined networks: change you can believe in!
Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Interaction Mining: the new Frontier of Call Center Analytics.
Proceedings of the 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, 2011

2010
Incremental learning of system log formats.
ACM SIGOPS Oper. Syst. Rev., 2010

The next 700 data description languages.
J. ACM, 2010

Concurrent Separation Logic for Pipelined Parallelization.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Semantics and algorithms for data-dependent grammars.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A context-free markup language for semi-structured text.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Faulty Logic: Reasoning about Fault Tolerant Programs.
Proceedings of the Programming Languages and Systems, 2010

Frenetic: a high-level language for OpenFlow networks.
Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, 2010

2009
Composing expressive runtime security policies.
ACM Trans. Softw. Eng. Methodol., 2009

Run-Time Enforcement of Nonsafety Policies.
ACM Trans. Inf. Syst. Secur., 2009

An overview of the Oregon programming languages summer school.
ACM SIGPLAN Notices, 2009

Growth and characterisation of dilute antimonide nitride materials for long-wavelength applications.
Microelectron. J., 2009

Language support for processing distributed ad hoc data.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Ad Hoc Data and the Token Ambiguity Problem.
Proceedings of the Practical Aspects of Declarative Languages, 2009

2008
AspectML: A polymorphic aspect-oriented functional programming language.
ACM Trans. Program. Lang. Syst., 2008

Specifying Properties of Concurrent Computations in CLF.
Electron. Notes Theor. Comput. Sci., 2008

LearnPADS: automatic tool generation from ad hoc data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Reasoning about Control Flow in the Presence of Transient Faults.
Proceedings of the Static Analysis, 15th International Symposium, 2008

From dirt to shovels: fully automatic tool generation from ad hoc data.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Public Health Information Fusion for Situation Awareness.
Proceedings of the Biosurveillance and Biosecurity, International Workshop, 2008

2007
Management Information Base for the Session Initiation Protocol (SIP).
RFC, April, 2007

Dynamic computational workflows: Discovery, optimisation and scheduling.
Sci. Program., 2007

PADS/ML: a functional data description language.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Fault-tolerant typed assembly language.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2006
A type-theoretic interpretation of pointcuts and advice.
Sci. Comput. Program., 2006

PADS: an end-to-end system for processing ad hoc data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Harmless advice.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

LAUNCHPADS: A System for Processing Ad Hoc Data.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Towards a quality model for grid portals.
Proceedings of the ICSOFT 2006, 2006

Static typing for a faulty lambda calculus.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Expressing heap-shape contracts in linear logic.
Proceedings of the Generative Programming and Component Engineering, 2006

ILC: A Foundation for Automated Reasoning About Pointer Programs.
Proceedings of the Programming Languages and Systems, 2006

2005
Edit automata: enforcement mechanisms for run-time security policies.
Int. J. Inf. Sec., 2005

Types and full abstraction for polyadic <i>pi</i>-calculus.
Inf. Comput., 2005

Composing security policies with polymer.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Certifying Compilation for a Language with Stack Allocation.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Poly<sub>AML</sub>: a polymorphic aspect-oriented functional programming language.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Patch (1) Considered Harmful.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Enforcing Non-safety Security Policies with Program Monitors.
Proceedings of the Computer Security, 2005

2004
Management Information Base for Telephony Routing over IP (TRIP).
RFC, September, 2004

Dynamic Typing with Dependent Types.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Topic 7: Applications on High Performance Computers.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Modal Proofs as Distributed Programs (Extended Abstract).
Proceedings of the Programming Languages and Systems, 2004

2003
A Concurrent Logical Framework: The Propositional Fragment.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

The logical approach to stack typing.
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Reasoning about Hierarchical Storage.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

A theory of aspects.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

An effective theory of type refinements.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Task allocation for wide area search munitions with variable path length.
Proceedings of the American Control Conference, 2003

2002
Stack-based typed assembly language.
J. Funct. Program., 2002

Types and Effects for Non-interfering Program Monitors.
Proceedings of the Software Security -- Theories and Systems, 2002

A "Low-Tech" Design Experiment Improving Student Work.
Proceedings of the International Conference on Computers in Education, 2002

2001
A Process-Calculus Analysis of Concurrent Operations on B-Trees.
J. Comput. Syst. Sci., 2001

On Regions and Linear Types.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

On Barbed Equivalences in pi-Calculus.
Proceedings of the CONCUR 2001, 2001

The Pi-Calculus - a theory of mobile processes.
Cambridge University Press, ISBN: 978-0-521-78177-0, 2001

2000
Typed Memory Management.
PhD thesis, 2000

Typed memory management via static capabilities.
ACM Trans. Program. Lang. Syst., 2000

Alias Types for Recursive Data Structures.
Proceedings of the Types in Compilation, Third International Workshop, 2000

A Type System for Expressive Security Policies.
Proceedings of the POPL 2000, 2000

On Synchronous and Asynchronous Mobile Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

Alias Types.
Proceedings of the Programming Languages and Systems, 2000

Concurrent objects as mobile processes.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
From system F to typed assembly language.
ACM Trans. Program. Lang. Syst., 1999

Typed Memory Management in a Calculus of Capabilities.
Proceedings of the POPL '99, 1999

1998
On Transformations of Concurrent-Object Programs.
Theor. Comput. Sci., 1998

Partial Confluence of Proceses and Systems of Objects.
Theor. Comput. Sci., 1998

On Encoding p-pi in m-pi.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Theory and Algorithms for Parallel Computation.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
Application of a mixed <i>H</i><sub>2</sub>/<i>H</i><sub>∞</sub> approach with a singular <i>H</i><sub>∞</sub>constraint.
Int. J. Syst. Sci., 1997

Developing new group work practices: An evaluation of the design and use of groupware-based work systems for a graduate student course in Information System.
Proceedings of the Third Pacific Asia Conference on Information Systems, 1997

On Confluence in the pi-Calculus.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

A Rigorous Analysis of Concurrent Operations on B-Trees.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Social Confluence in Client-Server Systems.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995
Objects in the pi-Calculus
Inf. Comput., February, 1995

Confluence of Processes and Systems of Objects.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Applications to support student group work.
Proceedings of the First International Conference on Computer Support for Collaborative Learning, 1995

On Sharing and Determinacy in Concurrent Systems.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

A Polymorphic Type System for the Polyadic pi-calculus.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Algebraic Proofs of Properties of Objects.
Proceedings of the Programming Languages and Systems, 1994

On Bisimulation in the pi-calculus.
Proceedings of the CONCUR '94, 1994

A comparison of methods for teaching information systems design.
Proceedings of the Conference on Human Factors in Computing Systems, 1994

1993
Modal Logics for Mobile Processes.
Theor. Comput. Sci., 1993

1992
A Calculus of Mobile Processes, II
Inf. Comput., September, 1992

A Calculus of Mobile Processes, I
Inf. Comput., September, 1992

1991
Local Model Checking in the Modal mu-Calculus.
Theor. Comput. Sci., 1991

Pi-Calculus Semantics of Object-Oriented Programming Languages.
Proceedings of the Theoretical Aspects of Computer Software, 1991

1989
Some Results on the pi-Calculus.
Proceedings of the Concurrency: Theory, 1989

CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989


  Loading...