Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Walker
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j40]Timothy Alberdingk Thijm
, Ryan Beckett, Aarti Gupta, David Walker:
Modular Control Plane Verification via Temporal Invariants. Proc. ACM Program. Lang. 7(PLDI): 50-75 (2023)- [c128]Sophie Sadler, Alma A. M. Rahat, David Walker, Daniel Archambault:
Extrema Graphs: Fitness Landscape Analysis to the Extreme! GECCO Companion 2023: 2081-2089 - [c127]Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker:
Test Coverage for Network Configurations. NSDI 2023: 1717-1732 - [c126]Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker:
SwitchLog: A Logic Programming Language for Network Switches. PADL 2023: 180-196 - [i19]David Walker, Anthony Skjellum:
The Impact of Space-Filling Curves on Data Movement in Parallel Systems. CoRR abs/2307.07828 (2023) - [i18]Alan E. Rask, Lee Huntington, SungYeon Kim, David Walker, Andrew Wildman, Rodrigo Wang, Nicole Hazel, Alan Judi, James T. Pegg, Punit K. Jha, Zara Mayimfor, Carl Dukatz, Hassan Naseri, Ilan Gleiser, Maxime R. Hugues, Paul M. Zimmerman, Arman Zaribafiyan, Rudi Plesch, Takeshi Yamazaki:
Massively parallel quantum chemistry: PFAS on over 1 million cloud vCPUs. CoRR abs/2307.10675 (2023) - [i17]David Walker:
Algorithms for 3D Hilbert Encoding and Decoding. CoRR abs/2308.05673 (2023) - [i16]Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker:
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR abs/2308.12329 (2023) - 2022
- [j39]Devon Loehr, David Walker:
Safe, modular packet pipeline programming. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [c125]Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker:
ACORN: Network Control Plane Abstraction using Route Nondeterminism. FMCAD 2022: 261-272 - [c124]Zena Wood, David Walker, Glenn C. Parry:
A computational method to track the evolution of business models in the Digital Economy. HICSS 2022: 1-10 - [c123]Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker:
Kirigami, the Verifiable Art of Network Cutting. ICNP 2022: 1-12 - [c122]Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker:
Modular Switch Programming Under Resource Constraints. NSDI 2022: 193-207 - [c121]Xiaoqi Chen, Andrew Johnson, Mengying Pan, David Walker:
Synthesizing state machines for data planes. SOSR 2022: 81-88 - [i15]Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker:
Kirigami, the Verifiable Art of Network Cutting. CoRR abs/2202.06098 (2022) - [i14]Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker:
Modular Control Plane Verification via Temporal Invariants. CoRR abs/2204.10303 (2022) - [i13]Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker:
ACORN: Network Control Plane Abstraction using Route Nondeterminism. CoRR abs/2206.02100 (2022) - [i12]Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker:
Test Coverage for Network Configurations. CoRR abs/2209.12870 (2022) - [i11]Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker:
Technical Report: Match-reference regular expressions and lenses. CoRR abs/2212.04439 (2022) - 2021
- [j38]Nick Giannarakis, Alexandra Silva, David Walker:
ProbNV: probabilistic verification of network control planes. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [j37]Philip Muscarella, Kelsey Brunner, David Walker:
Estimating Coastal Winds by Assimilating High-Frequency Radar Spectrum Data in SWAN. Sensors 21(23): 7811 (2021) - [c120]John Sonchack, Devon Loehr, Jennifer Rexford, David Walker:
Lucid: a language for control in the data plane. SIGCOMM 2021: 731-747 - [c119]Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker:
Test coverage metrics for the network. SIGCOMM 2021: 775-787 - [i10]John Sonchack, Devon Loehr, Jennifer Rexford, David Walker:
Lucid: A Language for Control in the Data Plane. CoRR abs/2107.02244 (2021) - 2020
- [j36]Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker:
Abstract interpretation of distributed network control planes. Proc. ACM Program. Lang. 4(POPL): 42:1-42:27 (2020) - [c118]Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison:
Elastic Switch Programming with P4All. HotNets 2020: 168-174 - [c117]Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff:
Enabling Programmable Transport Protocols in High-Speed NICs. NSDI 2020: 93-109 - [c116]Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker:
Contra: A Programmable System for Performance-aware Routing. NSDI 2020: 701-721 - [c115]Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker:
Data-driven inference of representation invariants. PLDI 2020: 1-15 - [c114]Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker:
NV: an intermediate language for verification of network control planes. PLDI 2020: 958-973 - [c113]Kuo-Feng Hsu, Praveen Tammana, Ryan Beckett, Ang Chen, Jennifer Rexford, David Walker:
Adaptive Weighted Traffic Splitting in Programmable Data Planes. SOSR 2020: 103-109 - [i9]Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker:
Data-Driven Inference of Representation Invariants. CoRR abs/2003.12106 (2020)
2010 – 2019
- 2019
- [j35]James P. Hill, Zhongdong Wang, Qiang Liu, Shanika Matharage, Andree Hilker, David Walker:
Improvements to the Construction of Bubble Inception Formulae for Use With Transformer Insulation. IEEE Access 7: 171673-171683 (2019) - [j34]Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker:
Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. Comput. Commun. Rev. 49(5): 104-106 (2019) - [j33]Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3(ICFP): 95:1-95:28 (2019) - [c112]Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker:
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. CAV (2) 2019: 305-323 - [c111]Ryan Beckett, Nick Giannarakis, Devon Loehr, David Walker:
NV: An intermediate language for network verification. NetPL@SIGCOMM 2019: 3-4 - [i8]Kuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford, Praveen Tammana, David Walker:
Contra: A Programmable System for Performance-aware Routing. CoRR abs/1902.00849 (2019) - 2018
- [j32]Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2(ICFP): 80:1-80:29 (2018) - [j31]Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2(POPL): 1:1-1:30 (2018) - [c110]Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker:
Control plane compression. SIGCOMM 2018: 476-489 - [i7]Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker:
Control Plane Compression. CoRR abs/1806.08744 (2018) - [i6]Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing Symmetric Lenses. CoRR abs/1810.11527 (2018) - 2017
- [c109]Sarah Fallmann, Rick van Veen, Liming Chen, David Walker, Feng Chen, Chengsheng Pan:
Wearable accelerometer based extended sleep position recognition. Healthcom 2017: 1-6 - [c108]Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker:
HotCocoa: Hardware Congestion Control Abstractions. HotNets 2017: 108-114 - [c107]Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker:
Network configuration synthesis with abstract topologies. PLDI 2017: 437-451 - [c106]Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker:
A General Approach to Network Configuration Verification. SIGCOMM 2017: 155-168 - [c105]Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker:
Programming Distributed Control Planes: Invited Demo: Demo. SOSR 2017: 205-206 - [i5]Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing Bijective Lenses. CoRR abs/1710.03248 (2017) - 2016
- [c104]Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Mohammad Alizadeh, David Walker, Jennifer Rexford, Vimalkumar Jeyakumar, Changhoon Kim:
Hardware-Software Co-Design for Network Performance Measurement. HotNets 2016: 190-196 - [c103]Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker:
Compiling Path Queries. NSDI 2016: 207-222 - [c102]Ryan Beckett, Michael Greenberg, David Walker:
Temporal NetKAT. PLDI 2016: 386-401 - [c101]David Walker:
Confluences in programming languages research (keynote). POPL 2016: 4 - [c100]Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic:
Example-directed synthesis: a type-theoretic interpretation. POPL 2016: 802-815 - [c99]Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker:
SNAP: Stateful Network-Wide Abstractions for Packet Processing. SIGCOMM 2016: 29-43 - [c98]Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker:
Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. SIGCOMM 2016: 328-341 - [c97]Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker:
CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks. SOSR 2016: 6 - 2015
- [j30]Peng Sun, Minlan Yu, Michael J. Freedman, Jennifer Rexford, David Walker:
HONE: Joint Host-Network Traffic Management in Software-Defined Networks. J. Netw. Syst. Manag. 23(2): 374-399 (2015) - [c96]Xin Jin, Jennifer Gossels, Jennifer Rexford, David Walker:
CoVisor: A Compositional Hypervisor for Software-Defined Networks. NSDI 2015: 87-101 - [c95]Michael Greenberg, Kathleen Fisher, David Walker:
Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL 2015: 140-155 - [e1]Sriram K. Rajamani, David Walker:
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3300-9 [contents] - [i4]Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker:
SNAP: Stateful Network-Wide Abstractions for Packet Processing. CoRR abs/1512.00822 (2015) - 2014
- [j29]Pat Bosshart, Dan Daly, Glen Gibb, Martin Izzard, Nick McKeown, Jennifer Rexford, Cole Schlesinger, Dan Talayco, Amin Vahdat, George Varghese, David Walker:
P4: programming protocol-independent packet processors. Comput. Commun. Rev. 44(3): 87-95 (2014) - [j28]Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn:
Modular protections against non-control data attacks. J. Comput. Secur. 22(5): 699-742 (2014) - [c94]Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker:
Transparent, Live Migration of a Software-Defined Network. SoCC 2014: 3:1-3:14 - [c93]Cole Schlesinger, Michael Greenberg, David Walker:
Concurrent NetCore: from policies to pipelines. ICFP 2014: 11-24 - [c92]Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker:
NetkAT: semantic foundations for networks. POPL 2014: 113-126 - [c91]Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker:
An assertion language for debugging SDN applications. HotSDN 2014: 91-96 - [c90]Naga Praveen Katta, Omid Alipourfard, Jennifer Rexford, David Walker:
Infinite CacheFlow in software-defined networks. HotSDN 2014: 175-180 - [c89]Srinivas Narayana, Jennifer Rexford, David Walker:
Compiling path queries in software-defined networks. HotSDN 2014: 181-186 - [c88]Xin Jin, Jennifer Rexford, David Walker:
Incremental update for a compositional SDN hypervisor. HotSDN 2014: 187-192 - 2013
- [j27]Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison:
Languages for software-defined networks. IEEE Commun. Mag. 51(2): 128-134 (2013) - [j26]Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker:
Modular SDN Programming with Pyretic. login Usenix Mag. 38(5) (2013) - [c87]Nanxi Kang, Zhenming Liu, Jennifer Rexford, David Walker:
Optimizing the "one big switch" abstraction in software-defined networks. CoNEXT 2013: 13-24 - [c86]Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker:
Composing Software Defined Networks. NSDI 2013: 1-13 - [c85]Naga Praveen Katta, Jennifer Rexford, David Walker:
Incremental consistent updates. HotSDN 2013: 49-54 - [i3]Pat Bosshart, Dan Daly, Martin Izzard, Nick McKeown, Jennifer Rexford, Dan Talayco, Amin Vahdat, George Varghese, David Walker:
Programming Protocol-Independent Packet Processors. CoRR abs/1312.1719 (2013) - 2012
- [c84]Simon Reay Atkinson, David Walker, Kevin Beaulne, Liaquat Hossain:
Cyber - Transparencies, Assurance and Deterrence. CyberSecurity 2012: 119-126 - [c83]Kenny Qili Zhu, Kathleen Fisher, David Walker:
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL 2012: 168-182 - [c82]Christopher Monsanto, Nate Foster, Rob Harrison, David Walker:
A compiler and run-time system for network programming languages. POPL 2012: 217-230 - [c81]Nanxi Kang, Joshua Reich, Jennifer Rexford, David Walker:
Policy transformation in software defined networks. SIGCOMM 2012: 309-310 - [c80]Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker:
Abstractions for network update. SIGCOMM 2012: 323-334 - [c79]David Walker, Simon Reay Atkinson, Liaquat Hossain:
Collaboration without Rules - A New Perspective on Stability Operations. SocialInformatics 2012: 281-288 - 2011
- [j25]Beatriz Paniagua, Lucia H. S. Cevidanes, David Walker, Hongtu Zhu, Ruixin Guo, Martin Styner:
Clinical application of SPHARM-PDM to quantify temporomandibular joint osteoarthritis. Comput. Medical Imaging Graph. 35(5): 345-352 (2011) - [c78]Vincenzo Pallotta, Rodolfo Delmonte, Lammert Vrieling, David Walker:
Interaction Mining: the new Frontier of Call Center Analytics. DART@AI*IA 2011 - [c77]Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn:
Modular Protections against Non-control Data Attacks. CSF 2011: 131-145 - [c76]Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker:
Consistent updates for software-defined networks: change you can believe in! HotNets 2011: 7 - [c75]Kathleen Fisher, David Walker:
The PADS project: an overview. ICDT 2011: 11-17 - [c74]Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker:
Frenetic: a network programming language. ICFP 2011: 279-291 - [c73]Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu:
Forest: a language and toolkit for programming with filestores. ICFP 2011: 292-306 - [c72]Shuvendu K. Lahiri, Shaz Qadeer, David Walker:
Linear maps. PLPV 2011: 3-14 - [c71]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:
A survey of the practice of computational science. SC State of the Practice Reports 2011: 19:1-19:12 - [c70]Rodolfo Delmonte, Vincenzo Pallotta, Violeta Seretan, Lammert Vrieling, David Walker:
Une Suite d'interaction de fouille basée sur la compréhension du langage naturel (An Interaction Mining Suite Based On Natural Language Understanding). TALN (Demonstrations) 2011: 7 - 2010
- [j24]Kathleen Fisher, Yitzhak Mandelbaum, David Walker:
The next 700 data description languages. J. ACM 57(2): 10:1-10:51 (2010) - [j23]Kenny Qili Zhu, Kathleen Fisher, David Walker:
Incremental learning of system log formats. ACM SIGOPS Oper. Syst. Rev. 44(1): 85-90 (2010) - [c69]Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker:
Frenetic: a high-level language for OpenFlow networks. PRESTO@CoNEXT 2010: 6:1-6:6 - [c68]Matthew L. Meola, David Walker:
Faulty Logic: Reasoning about Fault Tolerant Programs. ESOP 2010: 468-487 - [c67]Qian Xi, David Walker:
A context-free markup language for semi-structured text. PLDI 2010: 221-232 - [c66]Trevor Jim, Yitzhak Mandelbaum, David Walker:
Semantics and algorithms for data-dependent grammars. POPL 2010: 417-430 - [c65]Christian J. Bell, Andrew W. Appel, David Walker:
Concurrent Separation Logic for Pipelined Parallelization. SAS 2010: 151-166
2000 – 2009
- 2009
- [j22]L. Buckle, S. D. Coomber, T. Ashley, P. H. Jefferson, David Walker, T. D. Veal, Chris F. McConville, P. A. Thomas:
Growth and characterisation of dilute antimonide nitride materials for long-wavelength applications. Microelectron. J. 40(3): 399-402 (2009) - [j21]Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic:
An overview of the Oregon programming languages summer school. ACM SIGPLAN Notices 44(11): 1-3 (2009) - [j20]Jay Ligatti, Lujo Bauer, David Walker:
Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12(3): 19:1-19:41 (2009) - [j19]Lujo Bauer, Jay Ligatti, David Walker:
Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18(3): 9:1-9:43 (2009) - [c64]Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu:
Ad Hoc Data and the Token Ambiguity Problem. PADL 2009: 91-106 - [c63]Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker:
Language support for processing distributed ad hoc data. PPDP 2009: 243-254 - 2008
- [j18]Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich:
AspectML: A polymorphic aspect-oriented functional programming language. ACM Trans. Program. Lang. Syst. 30(3): 14:1-14:60 (2008) - [c62]Henry Rolka, Jean C. O'Connor, David Walker:
Public Health Information Fusion for Situation Awareness. BioSecure 2008: 1-9 - [c61]Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White:
From dirt to shovels: fully automatic tool generation from ad hoc data. POPL 2008: 421-434 - [c60]Frances Perry, David Walker:
Reasoning about Control Flow in the Presence of Transient Faults. SAS 2008: 332-346 - [c59]Kathleen Fisher, David Walker, Kenny Qili Zhu:
LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference 2008: 1299-1302 - 2007
- [j17]David Walker, Ewa Deelman:
Dynamic computational workflows: Discovery, optimisation and scheduling. Sci. Program. 15(4): 191-192 (2007) - [c58]Shayan Farahvash, Chee Quek, William Roberts, David Walker, Mohamed Mostafa, Hauw Liem, Robert Koupal:
A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz. ISCAS 2007: 2128-2131 - [c57]Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker:
Fault-tolerant typed assembly language. PLDI 2007: 42-53 - [c56]Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer:
PADS/ML: a functional data description language. POPL 2007: 77-83 - [i2]Kevin Lingle, Jean-Francois Mule, Joon Maeng, David Walker:
Management Information Base for the Session Initiation Protocol (SIP). RFC 4780: 1-83 (2007) - 2006
- [j16]