David Walker
Identifiers
- name variant David Walker 0.60 · backfill
Papers (26)
- CB-VER: A Stable Foundation for Modular Control Plane Verification cs.NI · 2026 · author #3
- Pseudosymmetry in Tetragonal Perovskite SrIrO$_3$ Synthesized under High Pressure cond-mat.mtrl-sci · 2024 · author #8
- Evolutionary Computation and Explainable AI: A Roadmap to Understandable Intelligent Systems cs.NE · 2024 · author #9
- Automated Optimization of Parameterized Data-Plane Programs with Parasol cs.NI · 2024 · author #6
- Impersonating a Superconductor: High-Pressure BaCoO$_3$, an Insulating Ferromagnet cond-mat.mtrl-sci · 2023 · author #4
- Generalised 3D Morton and Hilbert Orderings cs.CG · 2023 · author #1
- Saggitarius: A DSL for Specifying Grammatical Domains cs.PL · 2023 · author #5
- Algorithms for Encoding and Decoding 3D Hilbert Orderings cs.DS · 2023 · author #1
- Massively parallel quantum chemistry: PFAS on over 1 million cloud vCPUs physics.chem-ph · 2023 · author #4
- The Impact of Space-Filling Curves on Data Movement in Parallel Systems cs.DC · 2023 · author #1
- Experimental Investigation of Condensation Predictions for Dust-Enriched Systems astro-ph.EP · 2023 · author #3
- Trace Element Partitioning between CAI-Type Melts and Grossite, Melilite, Hibonite, and Olivine astro-ph.EP · 2023 · author #3
- Non-centrosymmetric Sr$_{2}$IrO$_{4}$ obtained under High Pressure cond-mat.str-el · 2023 · author #7
- Technical Report: Match-reference regular expressions and lenses cs.PL · 2022 · author #4
- ACORN: Network Control Plane Abstraction using Route Nondeterminism cs.NI · 2022 · author #4
- Modular Control Plane Verification via Temporal Invariants cs.LO · 2022 · author #4
- Kirigami, the Verifiable Art of Network Cutting cs.NI · 2022 · author #4
- Characterisation of neonatal cardiac dynamics using ordinal partition network math.DS · 2021 · author #3
- Lucid: A Language for Control in the Data Plane cs.NI · 2021 · author #4
- Visualising Evolution History in Multi- and Many-Objective Optimisation cs.NE · 2020 · author #2
- Data-Driven Inference of Representation Invariants cs.PL · 2020 · author #4
- Synthesizing Symmetric Lenses cs.PL · 2018 · author #5
- Control Plane Compression cs.NI · 2018 · author #4
- Synthesizing Bijective Lenses cs.PL · 2017 · author #4
- SNAP: Stateful Network-Wide Abstractions for Packet Processing cs.NI · 2015 · author #5
- Programming Protocol-Independent Packet Processors cs.NI · 2013 · author #10
Mentions
- 2406.07811 #9 · arxiv_oai · confidence 0.70 David Walker
- 2407.07984 #8 · arxiv_oai · confidence 0.70 David Walker
- 2402.11155 #6 · arxiv_oai · confidence 0.70 David Walker
- 2312.14955 #4 · arxiv_oai · confidence 0.70 David Walker
- 2301.05282 #7 · arxiv_oai · confidence 0.70 David Walker
- 2309.15199 #1 · arxiv_oai · confidence 0.70 David Walker
- 2308.05673 #1 · arxiv_oai · confidence 0.70 David Walker
- 2308.12329 #5 · arxiv_oai · confidence 0.70 David Walker
- 2307.10675 #4 · arxiv_oai · confidence 0.70 David Walker
- 2307.07828 #1 · arxiv_oai · confidence 0.70 David Walker
- 2307.00643 #3 · arxiv_oai · confidence 0.70 David Walker
- 2306.15001 #3 · arxiv_oai · confidence 0.70 David Walker
- 2204.10303 #4 · arxiv_oai · confidence 0.70 David Walker
- 2202.06098 #4 · arxiv_oai · confidence 0.70 David Walker
- 2212.04439 #4 · arxiv_oai · confidence 0.70 David Walker
- 2206.02100 #4 · arxiv_oai · confidence 0.70 David Walker
- 2112.06458 #3 · arxiv_oai · confidence 0.70 David Walker
- 2107.02244 #4 · arxiv_oai · confidence 0.70 David Walker
- 2006.12309 #2 · arxiv_oai · confidence 0.70 David Walker
- 2003.12106 #4 · arxiv_oai · confidence 0.70 David Walker
- 1810.11527 #5 · arxiv_oai · confidence 0.70 David Walker
- 1806.08744 #4 · arxiv_oai · confidence 0.70 David Walker
- 1710.03248 #4 · arxiv_oai · confidence 0.70 David Walker
- 1512.00822 #5 · arxiv_oai · confidence 0.70 David Walker
- 1312.1719 #10 · arxiv_oai · confidence 0.70 David Walker
- 1312.1719 #10 · backfill · confidence 0.70 David Walker
- 2604.03539 #3 · arxiv_oai · confidence 0.70 David Walker
Frequent Coauthors
- Aarti Gupta 5 shared papers
- Anders Miltner 5 shared papers
- Jennifer Rexford 4 shared papers
- Kathleen Fisher 4 shared papers
- Ryan Beckett 4 shared papers
- Devon Loehr 3 shared papers
- Haozhe Wang 3 shared papers
- Weiwei Xie 3 shared papers
- Benjamin C. Pierce 2 shared papers
- Denton S. Ebel 2 shared papers
- Gokce Ustunisik 2 shared papers
- John Sonchack 2 shared papers
- Kemp W. Plumb 2 shared papers
- Steve Zdancewic 2 shared papers
- Timothy Alberdingk Thijm 2 shared papers
- Alan E. Rask 1 shared papers
- Alan Judi 1 shared papers
- Alberto de la Torre 1 shared papers
- Alexander Brownlee 1 shared papers
- Amin Vahdat 1 shared papers