David Walker
#175,946
Most Influential Person Now
David Walker's AcademicInfluence.com Rankings
David Walkercomputer-science Degrees
Computer Science
#10902
World Rank
#11496
Historical Rank
Computer Engineering
#161
World Rank
#163
Historical Rank
Software Engineering
#321
World Rank
#327
Historical Rank
Database
#7905
World Rank
#8231
Historical Rank

Download Badge
Computer Science
Why Is David Walker Influential?
(Suggest an Edit or Addition)David Walker's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- P4: programming protocol-independent packet processors (2013) (1965)
- Frenetic: a network programming language (2011) (733)
- Abstractions for network update (2012) (650)
- Composing Software Defined Networks (2013) (594)
- NetKAT: semantic foundations for networks (2014) (424)
- Edit automata: enforcement mechanisms for run-time security policies (2005) (403)
- Optimizing the "one big switch" abstraction in software-defined networks (2013) (302)
- A compiler and run-time system for network programming languages (2012) (268)
- Typed memory management in a calculus of capabilities (1999) (260)
- Alias Types (2000) (253)
- TALx86: A Realistic Typed Assembly Language∗ (1999) (232)
- From system F to typed assembly language (1998) (218)
- Incremental consistent updates (2013) (205)
- Consistent updates for software-defined networks: change you can believe in! (2011) (203)
- Alias Types for Recursive Data Structures (2000) (203)
- Composing security policies with polymer (2005) (201)
- Languages for software-defined networks (2013) (197)
- Run-Time Enforcement of Nonsafety Policies (2009) (194)
- Modular SDN Programming with Pyretic (2013) (185)
- SNAP: Stateful Network-Wide Abstractions for Packet Processing (2015) (181)
- A concurrent logical framework I: Judgments and properties (2003) (175)
- A General Approach to Network Configuration Verification (2017) (169)
- A type system for expressive security policies (2000) (168)
- Infinite CacheFlow in software-defined networks (2014) (168)
- CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks (2016) (167)
- Stack-based typed assembly language (1998) (165)
- A theory of aspects (2003) (163)
- Harmless advice (2006) (162)
- Programming Protocol-Independent Packet Processors (2013) (160)
- CoVisor: A Compositional Hypervisor for Software-Defined Networks (2015) (150)
- Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations (2016) (122)
- More Enforceable Security Policies (2002) (116)
- Enforcing Non-safety Security Policies with Program Monitors (2005) (115)
- Typed memory management via static capabilities (2000) (110)
- Example-directed synthesis: a type-theoretic interpretation (2016) (100)
- Dynamic Typing with Dependent Types (2004) (99)
- An effective theory of type refinements (2003) (92)
- From dirt to shovels: fully automatic tool generation from ad hoc data (2008) (92)
- A Concurrent Logical Framework: The Propositional Fragment (2003) (90)
- Compiling Path Queries (2016) (86)
- A survey of the practice of computational science (2011) (86)
- Frenetic: a high-level language for OpenFlow networks (2010) (85)
- A Concurrent Logical Framework II: Examples and Applications (2003) (79)
- The next 700 data description languages (2006) (62)
- AspectML: A polymorphic aspect-oriented functional programming language (2008) (58)
- Modal Proofs as Distributed Programs (Extended Abstract) (2004) (57)
- Contra: A Programmable System for Performance-aware Routing (2019) (56)
- Enabling Programmable Transport Protocols in High-Speed NICs (2020) (56)
- Transparent, Live Migration of a Software-Defined Network (2014) (54)
- Policy enforcement via program monitoring (2006) (52)
- Semantics and algorithms for data-dependent grammars (2010) (52)
- Network configuration synthesis with abstract topologies (2017) (52)
- The PADS project: an overview (2011) (49)
- Control plane compression (2018) (46)
- PADS/ML: a functional data description language (2007) (46)
- Fault-tolerant typed assembly language (2007) (46)
- An assertion language for debugging SDN applications (2014) (45)
- Static typing for a faulty lambda calculus (2006) (43)
- From System F to Typed Assembly Language (Extended Version) (1997) (42)
- Concurrent NetCore: from policies to pipelines (2014) (42)
- Compiling path queries in software-defined networks (2014) (40)
- HONE: Joint Host-Network Traffic Management in Software-Defined Networks (2015) (40)
- Patch (1) Considered Harmful (2005) (39)
- Composing expressive runtime security policies (2009) (38)
- A type-theoretic interpretation of pointcuts and advice (2006) (38)
- The logical approach to stack typing (2003) (36)
- PolyAML: a polymorphic aspect-oriented functional programming language (2005) (36)
- On regions and linear types (extended abstract) (2001) (35)
- Reasoning about hierarchical storage (2003) (34)
- Temporal NetKAT (2016) (28)
- Concurrent Separation Logic for Pipelined Parallelization (2010) (28)
- Modular Protections against Non-control Data Attacks (2011) (26)
- Synthesizing bijective lenses (2017) (25)
- HotCocoa: Hardware Congestion Control Abstractions (2017) (25)
- ILC: A Foundation for Automated Reasoning About Pointer Programs (2006) (25)
- Types and Effects for Non-interfering Program Monitors (2002) (24)
- Adaptive Weighted Traffic Splitting in Programmable Data Planes (2020) (24)
- Abstract interpretation of distributed network control planes (2019) (23)
- LearnPADS: automatic tool generation from ad hoc data (2008) (22)
- The next 700 data description languages (2006) (22)
- Faulty Logic: Reasoning about Fault Tolerant Programs (2010) (21)
- A Language and System for Composing Security Policies (2004) (21)
- Specifying Properties of Concurrent Computations in CLF (2008) (20)
- Incremental update for a compositional SDN hypervisor (2014) (20)
- Incremental learning of system log formats (2010) (19)
- Data-driven inference of representation invariants (2020) (18)
- Aspects, Information Hiding and Modularity (2003) (18)
- Rule-Caching Algorithms for Software-Defined Networks (2014) (18)
- Alias Types for Recursive Data Structures (Extended Version) (2000) (16)
- NV: an intermediate language for verification of network control planes (2020) (15)
- Lucid: a language for control in the data plane (2021) (15)
- Forest: a language and toolkit for programming with filestores (2011) (15)
- Certifying compilation for a language with stack allocation (2005) (14)
- Typed Memory Management (2000) (14)
- Reasoning about Control Flow in the Presence of Transient Faults (2008) (14)
- Policy transformation in software defined networks (2012) (14)
- Composing Expressive Run-time Security Policies (2007) (13)
- Synthesizing symmetric lenses (2018) (12)
- Hardware-Software Co-Design for Network Performance Measurement (2016) (11)
- A Calculus for Composing Security Policies (2002) (11)
- Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (2019) (11)
- Elastic Switch Programming with P4All (2020) (10)
- Modular Switch Programming Under Resource Constraints (2022) (9)
- LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (2012) (9)
- Making Extensibility of System Software Practical with the C 4 Toolkit (2006) (9)
- PADS: an end-to-end system for processing ad hoc data (2006) (9)
- Enforcing Resource Usage Protocols via Scoped Methods (2004) (9)
- A context-free markup language for semi-structured text (2010) (8)
- Stack-based typed assembly language (2003) (8)
- Synthesizing quotient lenses (2018) (7)
- Expressing heap-shape contracts in linear logic (2006) (5)
- Edit Automata: Enforcement Mechanisms for (2003) (5)
- The theory and practice of data description (2006) (5)
- Analyzing polymorphic advice (2004) (5)
- Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming (2019) (4)
- Ad Hoc Data and the Token Ambiguity Problem (2009) (4)
- Kirigami, the Verifiable Art of Network Cutting (2022) (3)
- Modular Control Plane Verification via Temporal Invariants (2022) (3)
- LAUNCHPADS: A System for Processing Ad Hoc Data (2006) (3)
- ProbNV: probabilistic verification of network control planes (2021) (2)
- Co-Designing Software and Hardware for Declarative Network Performance Measurement (2016) (2)
- Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks C (2008) (2)
- CLF: A Dependent Logical Framework for Concurrent Computations∗ (2004) (2)
- Y ARRA : An Extension to C for Data Integrity and Partial Safety (2010) (2)
- Linear Logic, Heap-shape Patterns and Imperative Programming (2006) (2)
- Test coverage metrics for the network (2021) (2)
- Linear maps (2011) (2)
- A Dual Semantics for the Data Description Calculus ( Extended Abstract ) (2007) (2)
- Concurrent NetCore (2014) (2)
- Grid infrastructure based on multiple workflow engines (2005) (2)
- Parse Trees (2018) (1)
- Language support for processing distributed ad hoc data (2009) (1)
- Programmable Host-Network Traffic Management (2013) (1)
- NV: An intermediate language for network verification (2019) (1)
- Scaling Proof-Carrying Code to Production Compilers and Security Policies (2005) (1)
- Synthesizing state machines for data planes (2022) (0)
- Session details: Separation logic (2013) (0)
- Reasoning about software in the presence of transient faults (2008) (0)
- Strong Fault Tolerance for the Faulty Lambda Calculus (0)
- 5. Conclusion 4.4 Memory Management Sharing a Finite Number of Processors, Scheduling Preemption, Pruning (1995) (0)
- Now I Get It! Customizing and Simplifying the Get It Menu in Alma/Primo (2019) (0)
- Synthesizing Performance-Aware Routing Protocols from Network-Wide Policies (2018) (0)
- Lucid (2021) (0)
- ACORN: Network Control Plane Abstraction using Route Nondeterminism (2022) (0)
- Safe, modular packet pipeline programming (2022) (0)
- Demo : Programming Distributed Control Planes Invited Demo Ryan Beckett Princeton Ratul Mahajan Microsoft Jitendra Padhye Microsoft Todd Millstein (2017) (0)
- Software Artifact for NV: An Intermediate Language for Verification of Network Control Planes (2020) (0)
- Session details: Verification 1 (2014) (0)
- Behaviour Compatibility within Particular Contexts (0)
- Confluence in Lens Synthesis (2020) (0)
- Edit automata: enforcementmechanisms for run-time securitypolicies (0)
- Session details: Verification 1 (2010) (0)
- Confluences in programming languages research (keynote) (2016) (0)
- Welcome to POPL 2015 (2015) (0)
- Programming Distributed Control Planes: Invited Demo: Demo (2017) (0)
- PHP code library for Alma APIs (2017) (0)
- Session details: Verification (2010) (0)
- Session details: Keynote Address (2015) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With David Walker?
David Walker is affiliated with the following schools: