David Walker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
103
Venues
33
Active years
1989–2026
Best venue rank
A*
Where they publish
- A*SIGCOMM15 papers
- A*POPL12 papers
- NationalNSDI9 papers
- AICFP8 papers
- BCONCUR8 papers
- A*PLDI7 papers
- NationalHOTNETS5 papers
- AESOP5 papers
- CPADL3 papers
- AGECCO2 papers
- ACoNEXT2 papers
- BSAS2 papers
- A*SIGMOD2 papers
- CICSoft2 papers
- A*LICS2 papers
- BEuroPar2 papers
- BFMCAD1 paper
- BICNP1 paper
- A*CAV1 paper
- CHealthCom1 paper
- BCLOUD1 paper
- AICDT1 paper
- ASC1 paper
- CPPDP1 paper
- CISCAS1 paper
- BGPCE1 paper
- AESORICS1 paper
- AHotOS1 paper
- CICCE1 paper
- BFOSSACS1 paper
- A*ICALP1 paper
- BCSL1 paper
- A*CHI1 paper
Papers
103 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NSDI | Count-Based Abstractions for Performance Verification of Contention Points. | Amir Seyhani, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo |
| 2025 | GECCO | Local Optima Networks (LONs) and Search Trajectory Networks (STNs) for Noisy Combinatorial Problems. | John Payne, Aishwaryaprajna, David Walker, Edward C. Keedwell |
| 2024 | HOTNETS | Buffy: A Formal Language-Based Framework for Network Performance Analysis. | Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo |
| 2024 | NSDI | Sequence Abstractions for Flexible, Line-Rate Network Monitoring. | Andrew Johnson, Ryan Beckett, Xiaoqi Chen, Ratul Mahajan, David Walker |
| 2024 | SIGCOMM | Relational Network Verification. | Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai |
| 2023 | GECCO | Extrema Graphs: Fitness Landscape Analysis to the Extreme! | Sophie Sadler, Alma A. M. Rahat, David Walker, Daniel Archambault |
| 2023 | NSDI | Test Coverage for Network Configurations. | Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker |
| 2023 | PADL | SwitchLog: A Logic Programming Language for Network Switches. | Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker |
| 2022 | FMCAD | ACORN: Network Control Plane Abstraction using Route Nondeterminism. | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker |
| 2022 | ICNP | Kirigami, the Verifiable Art of Network Cutting. | Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker |
| 2022 | NSDI | Modular Switch Programming Under Resource Constraints. | Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker |
| 2021 | SIGCOMM | Lucid: a language for control in the data plane. | John Sonchack, Devon Loehr, Jennifer Rexford, David Walker |
| 2021 | SIGCOMM | Test coverage metrics for the network. | Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker |
| 2020 | HOTNETS | Elastic Switch Programming with P4All. | Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison |
| 2020 | NSDI | Enabling Programmable Transport Protocols in High-Speed NICs. | Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff |
| 2020 | NSDI | Contra: A Programmable System for Performance-aware Routing. | Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker |
| 2020 | PLDI | NV: an intermediate language for verification of network control planes. | Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker |
| 2020 | PLDI | Data-driven inference of representation invariants. | Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker |
| 2019 | CAV | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. | Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker |
| 2019 | SIGCOMM | NV: An intermediate language for network verification. | Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker |
| 2018 | SIGCOMM | Control plane compression. | Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker |
| 2017 | HealthCom | Wearable accelerometer based extended sleep position recognition. | Sarah Fallmann, Rick van Veen, Liming Chen, David Walker, Feng Chen, Chengsheng Pan |
| 2017 | HOTNETS | HotCocoa: Hardware Congestion Control Abstractions. | Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker |
| 2017 | PLDI | Network configuration synthesis with abstract topologies. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2017 | SIGCOMM | A General Approach to Network Configuration Verification. | Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker |
| 2016 | HOTNETS | Hardware-Software Co-Design for Network Performance Measurement. | Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Mohammad Alizadeh, David Walker, Jennifer Rexford, Vimalkumar Jeyakumar, Changhoon Kim |
| 2016 | NSDI | Compiling Path Queries. | Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker |
| 2016 | PLDI | Temporal NetKAT. | Ryan Beckett, Michael Greenberg, David Walker |
| 2016 | POPL | Example-directed synthesis: a type-theoretic interpretation. | Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic |
| 2016 | POPL | Confluences in programming languages research (keynote). | David Walker |
| 2016 | SIGCOMM | SNAP: Stateful Network-Wide Abstractions for Packet Processing. | Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker |
| 2016 | SIGCOMM | Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker |
| 2015 | NSDI | CoVisor: A Compositional Hypervisor for Software-Defined Networks. | Xin Jin, Jennifer Gossels, Jennifer Rexford, David Walker |
| 2014 | CLOUD | Transparent, Live Migration of a Software-Defined Network. | Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker |
| 2014 | ICFP | Concurrent NetCore: from policies to pipelines. | Cole Schlesinger, Michael Greenberg, David Walker |
| 2014 | POPL | NetkAT: semantic foundations for networks. | Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker |
| 2014 | SIGCOMM | An assertion language for debugging SDN applications. | Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker |
| 2014 | SIGCOMM | Incremental update for a compositional SDN hypervisor. | Xin Jin, Jennifer Rexford, David Walker |
| 2014 | SIGCOMM | Infinite CacheFlow in software-defined networks. | Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker |
| 2014 | SIGCOMM | Compiling path queries in software-defined networks. | Srinivas Narayana, Jennifer Rexford, David Walker |
| 2013 | CoNEXT | Optimizing the "one big switch" abstraction in software-defined networks. | Nanxi Kang, Zhenming Liu, Jennifer Rexford, David Walker |
| 2013 | NSDI | Composing Software Defined Networks. | Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker |
| 2013 | SIGCOMM | Incremental consistent updates. | Naga Praveen Katta, Jennifer Rexford, David Walker |
| 2012 | PADL | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. | Kenny Qili Zhu, Kathleen Fisher, David Walker |
| 2012 | POPL | A compiler and run-time system for network programming languages. | Christopher Monsanto, Nate Foster, Rob Harrison, David Walker |
| 2012 | SIGCOMM | Policy transformation in software defined networks. | Nanxi Kang, Joshua Reich, Jennifer Rexford, David Walker |
| 2012 | SIGCOMM | Abstractions for network update. | Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker |
| 2011 | HOTNETS | Consistent updates for software-defined networks: change you can believe in! | Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker |
| 2011 | ICDT | The PADS project: an overview. | Kathleen Fisher, David Walker |
| 2011 | ICFP | Forest: a language and toolkit for programming with filestores. | Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu |
| 2011 | ICFP | Frenetic: a network programming language. | Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker |
| 2011 | SC | A survey of the practice of computational science. | Prakash Prabhu, Thomas B. Jablin, Arun Raman, Yun Zhang, Jialu Huang, Hanjun Kim, Nick P. Johnson, Feng Liu, Soumyadeep Ghosh, Stephen R. Beard, Taewook Oh, Matthew Zoufaly, David Walker, David I. August |
| 2010 | CoNEXT | Frenetic: a high-level language for OpenFlow networks. | Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker |
| 2010 | ESOP | Faulty Logic: Reasoning about Fault Tolerant Programs. | Matthew L. Meola, David Walker |
| 2010 | PLDI | A context-free markup language for semi-structured text. | Qian Xi, David Walker |
| 2010 | POPL | Semantics and algorithms for data-dependent grammars. | Trevor Jim, Yitzhak Mandelbaum, David Walker |
| 2010 | SAS | Concurrent Separation Logic for Pipelined Parallelization. | Christian J. Bell, Andrew W. Appel, David Walker |
| 2009 | PADL | Ad Hoc Data and the Token Ambiguity Problem. | Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu |
| 2009 | PPDP | Language support for processing distributed ad hoc data. | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker |
| 2008 | POPL | From dirt to shovels: fully automatic tool generation from ad hoc data. | Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White |
| 2008 | SIGMOD | LearnPADS: automatic tool generation from ad hoc data. | Kathleen Fisher, David Walker, Kenny Qili Zhu |
| 2008 | SAS | Reasoning about Control Flow in the Presence of Transient Faults. | Frances Perry, David Walker |
| 2007 | ISCAS | A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz. | Shayan Farahvash, Chee Quek, William Roberts, David Walker, Mohamed Mostafa, Hauw Liem, Robert Koupal |
| 2007 | PLDI | Fault-tolerant typed assembly language. | Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker |
| 2007 | POPL | PADS/ML: a functional data description language. | Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernndez, Artem Gleyzer |
| 2006 | ESOP | ILC: A Foundation for Automated Reasoning About Pointer Programs. | Limin Jia, David Walker |
| 2006 | GPCE | Expressing heap-shape contracts in linear logic. | Frances Perry, Limin Jia, David Walker |
| 2006 | ICFP | Static typing for a faulty lambda calculus. | David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
| 2006 | ICSoft | Towards a quality model for grid portals. | Mara ngeles Moraga, Coral Calero, Mario Piattini, David Walker |
| 2006 | ICSoft | Towards a Quality Model for Grid Portals. | Mara ngeles Moraga, Coral Calero, Mario Piattini, David Walker |
| 2006 | POPL | Harmless advice. | Daniel S. Dantas, David Walker |
| 2006 | POPL | The next 700 data description languages. | Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
| 2006 | SIGMOD | PADS: an end-to-end system for processing ad hoc data. | Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernndez, Kathleen Fisher, Robert Gruber, Xuan Zheng |
| 2005 | ESORICS | Enforcing Non-safety Security Policies with Program Monitors. | Jay Ligatti, Lujo Bauer, David Walker |
| 2005 | HotOS | Patch (1) Considered Harmful. | Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker |
| 2005 | ICFP | Poly | Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich |
| 2005 | LICS | Certifying Compilation for a Language with Stack Allocation. | Limin Jia, Frances Spalding, David Walker, Neal Glew |
| 2005 | PLDI | Composing security policies with polymer. | Lujo Bauer, Jay Ligatti, David Walker |
| 2004 | ESOP | Modal Proofs as Distributed Programs (Extended Abstract). | Limin Jia, David Walker |
| 2004 | EuroPar | Topic 7: Applications on High Performance Computers. | Peter Arbenz, Rolf Hempel, David Walker |
| 2003 | ICFP | An effective theory of type refinements. | Yitzhak Mandelbaum, David Walker, Robert Harper |
| 2003 | ICFP | A theory of aspects. | David Walker, Steve Zdancewic, Jay Ligatti |
| 2003 | LICS | Reasoning about Hierarchical Storage. | Amal J. Ahmed, Limin Jia, David Walker |
| 2002 | ICCE | A "Low-Tech" Design Experiment Improving Student Work. | David Walker |
| 2001 | CONCUR | On Barbed Equivalences in pi-Calculus. | Davide Sangiorgi, David Walker |
| 2001 | ICFP | On Regions and Linear Types. | David Walker, Kevin Watkins |
| 2000 | ESOP | Alias Types. | Frederick Smith, David Walker, J. Gregory Morrisett |
| 2000 | FOSSACS | On Synchronous and Asynchronous Mobile Processes. | Paola Quaglia, David Walker |
| 2000 | POPL | A Type System for Expressive Security Policies. | David Walker |
| 1999 | POPL | Typed Memory Management in a Calculus of Capabilities. | Karl Crary, David Walker, J. Gregory Morrisett |
| 1998 | EuroPar | Theory and Algorithms for Parallel Computation. | Bill McColl, David Walker |
| 1998 | POPL | From System F to Typed Assembly Language. | J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |
| 1997 | CONCUR | A Rigorous Analysis of Concurrent Operations on B-Trees. | Anna Philippou, David Walker |
| 1997 | ICALP | On Confluence in the pi-Calculus. | Anna Philippou, David Walker |
| 1996 | CONCUR | On Transformations of Concurrent Object Programs. | Anna Philippou, David Walker |
| 1996 | CSL | Social Confluence in Client-Server Systems. | Anna Philippou, David Walker |
| 1995 | CONCUR | A Polymorphic Type System for the Polyadic pi-calculus. | Xinxin Liu, David Walker |
| 1995 | CONCUR | On Sharing and Determinacy in Concurrent Systems. | Anna Philippou, David Walker |
| 1994 | CHI | A comparison of methods for teaching information systems design. | Penny Collings, David Walker, Frank Hicks, Anne McMahon, Errol Martin |
| 1994 | CONCUR | On Bisimulation in the pi-calculus. | David Walker |
| 1994 | ESOP | Algebraic Proofs of Properties of Objects. | David Walker |
| 1991 | CONCUR | Modal Logics for Mobile Processes. | Robin Milner, Joachim Parrow, David Walker |
| 1989 | CONCUR | Some Results on the pi-Calculus. | David Walker |