Остановите войну!
for scientists:
default search action
David 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
2020 – today
- 2024
- [i21]Mary Hogan, Devon Loehr, John Sonchack, Shir Landau Feibish, Jennifer Rexford, David Walker:
Automated Optimization of Parameterized Data-Plane Programs with Parasol. CoRR abs/2402.11155 (2024) - 2023
- [j41]Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker:
Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. 7(OOPSLA2): 2023-2051 (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) - [c130]Mengying Pan, Hyojoon Kim, Jennifer Rexford, David Walker:
NAP: Programming Data Planes with Approximate Data Structures. EuroP4@CoNEXT 2023: 33-39 - [c129]Sophie Sadler, Alma A. M. Rahat, David Walker, Daniel Archambault:
Extrema Graphs: Fitness Landscape Analysis to the Extreme! GECCO Companion 2023: 2081-2089 - [c128]Michal Darowski, Muhammad Faisal Aftab, Hongyu Li, David Walker, Guoyu Yu, Chenghui An, Christian W. Omlin:
Towards Data-Driven Material Removal Rate Estimation in Bonnet Polishing. ICCMA 2023: 473-479 - [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 - [i20]David Walker, Anthony Skjellum:
The Impact of Space-Filling Curves on Data Movement in Parallel Systems. CoRR abs/2307.07828 (2023) - [i19]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) - [i18]David Walker:
Algorithms for 3D Hilbert Encoding and Decoding. CoRR abs/2308.05673 (2023) - [i17]Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker:
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR abs/2308.12329 (2023) - [i16]David Walker:
Generalised 3D Morton and Hilbert Orderings. CoRR abs/2309.15199 (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]Jay Ligatti, David Walker, Steve Zdancewic:
A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006) - [c55]Limin Jia, David Walker:
ILC: A Foundation for Automated Reasoning About Pointer Programs. ESOP 2006: 131-145 - [c54]Frances Perry, Limin Jia, David Walker:
Expressing heap-shape contracts in linear logic. GPCE 2006: 101-110 - [c53]David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August:
Static typing for a faulty lambda calculus. ICFP 2006: 38-49 - [c52]María Ángeles Moraga, Coral Calero, Mario Piattini, David Walker:
Towards a Quality Model for Grid Portals. ICSOFT (Selected Papers) 2006: 195-203 - [c51]María Ángeles Moraga, Coral Calero, Mario Piattini, David Walker:
Towards a quality model for grid portals. ICSOFT (1) 2006: 333-338 - [c50]Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker:
LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X 2006: 90-91 - [c49]Kathleen Fisher, Yitzhak Mandelbaum, David Walker:
The next 700 data description languages. POPL 2006: 2-15 - [c48]Daniel S. Dantas, David Walker:
Harmless advice. POPL 2006: 383-396 - [c47]Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng:
PADS: an end-to-end system for processing ad hoc data. SIGMOD Conference 2006: 727-729 - 2005
- [j15]Paola Quaglia, David Walker:
Types and full abstraction for polyadic pi-calculus. Inf. Comput. 200(2): 215-246 (2005) - [j14]Jay Ligatti, Lujo Bauer, David Walker:
Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec. 4(1-2): 2-16 (2005) - [c46]Jay Ligatti, Lujo Bauer, David Walker:
Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373 - [c45]Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, David Walker:
Patch (1) Considered Harmful. HotOS 2005 - [c44]Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich:
PolyAML: a polymorphic aspect-oriented functional programming language. ICFP 2005: 306-319 - [c43]Limin Jia, Frances Spalding, David Walker, Neal Glew:
Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416 - [c42]Lujo Bauer, Jay Ligatti, David Walker:
Composing security policies with polymer. PLDI 2005: 305-314 - 2004
- [c41]Limin Jia, David Walker:
Modal Proofs as Distributed Programs (Extended Abstract). ESOP 2004: 219-233 - [c40]Peter Arbenz, Rolf Hempel, David Walker:
Topic 7: Applications on High Performance Computers. Euro-Par 2004: 476 - [c39]Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker:
Dynamic Typing with Dependent Types. IFIP TCS 2004: 437-450 - [c38]Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker:
Specifying Properties of Concurrent Computations in CLF. LFM@IJCAR 2004: 67-87 - [i1]David Zinman, David Walker, Jianping Jiang:
Management Information Base for Telephony Routing over IP (TRIP). RFC 3872: 1-53 (2004) - 2003
- [j13]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003) - [c37]Corey J. Schumacher, Phillip R. Chandler, Steven J. Rasmussen, David Walker:
Task allocation for wide area search munitions with variable path length. ACC 2003: 3472-3477 - [c36]David Walker, Steve Zdancewic, Jay Ligatti:
A theory of aspects. ICFP 2003: 127-139 - [c35]Yitzhak Mandelbaum, David Walker, Robert Harper:
An effective theory of type refinements. ICFP 2003: 213-225 - [c34]Amal J. Ahmed, Limin Jia, David Walker:
Reasoning about Hierarchical Storage. LICS 2003: 33-44 - [c33]Amal J. Ahmed, David Walker:
The logical approach to stack typing. TLDI 2003: 74-85 - [c32]Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker:
A Concurrent Logical Framework: The Propositional Fragment. TYPES 2003: 355-377 - 2002
- [j12]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002) - [c31]David Walker:
A "Low-Tech" Design Experiment Improving Student Work. ICCE 2002: 849-850 - [c30]Lujo Bauer, Jarred Ligatti, David Walker:
Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171 - 2001
- [b2]Davide Sangiorgi, David Walker:
The Pi-Calculus - a theory of mobile processes. Cambridge University Press 2001, ISBN 978-0-521-78177-0, pp. I-XII, 1-580 - [j11]Anna Philippou, David Walker:
A Process-Calculus Analysis of Concurrent Operations on B-Trees. J. Comput. Syst. Sci. 62(1): 73-122 (2001) - [c29]Davide Sangiorgi, David Walker:
On Barbed Equivalences in pi-Calculus. CONCUR 2001: 292-304 - [c28]David Walker, Kevin Watkins:
On Regions and Linear Types. ICFP 2001: 181-192 - 2000
- [b1]David Walker:
Typed Memory Management. Cornell University, USA, 2000 - [j10]David Walker, Karl Crary, J. Gregory Morrisett:
Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000) - [c27]Xinxin Liu, David Walker:
Concurrent objects as mobile processes. Proof, Language, and Interaction 2000: 639-658 - [c26]Frederick Smith, David Walker, J. Gregory Morrisett:
Alias Types. ESOP 2000: 366-381 - [c25]Paola Quaglia, David Walker:
On Synchronous and Asynchronous Mobile Processes. FoSSaCS 2000: 283-296 - [c24]David Walker:
A Type System for Expressive Security Policies. POPL 2000: 254-267 - [c23]David Walker, J. Gregory Morrisett:
Alias Types for Recursive Data Structures. Types in Compilation 2000: 177-206
1990 – 1999
- 1999
- [j9]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew:
From system F to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3): 527-568 (1999) - [c22]Karl Crary, David Walker, J. Gregory Morrisett:
Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275 - 1998
- [j8]Anna Philippou, David Walker:
On Transformations of Concurrent-Object Programs. Theor. Comput. Sci. 195(2): 259-289 (1998) - [j7]Xinxin Liu, David Walker:
Partial Confluence of Proceses and Systems of Objects. Theor. Comput. Sci. 206(1-2): 127-162 (1998) - [c21]Bill McColl, David Walker:
Theory and Algorithms for Parallel Computation. Euro-Par 1998: 863-864 - [c20]Paola Quaglia, David Walker:
On Encoding p-pi in m-pi. FSTTCS 1998: 42-53 - [c19]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew:
From System F to Typed Assembly Language. POPL 1998: 85-97 - [c18]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker:
Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52 - 1997
- [j6]Linda Smith, D. Brett Ridgely, David Walker, Jim Luke:
Application of a mixed H2/H∞ approach with a singular H∞constraint. Int. J. Syst. Sci. 28(1): 55-64 (1997) - [c17]Anna Philippou, David Walker:
A Rigorous Analysis of Concurrent Operations on B-Trees. CONCUR 1997: 361-375 - [c16]Anna Philippou, David Walker:
On Confluence in the pi-Calculus. ICALP 1997: 314-324 - [c15]Penny Collings, Dale Kleeman, Avon Richards-Smith, David Walker:
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. PACIS 1997: 19 - 1996
- [c14]Anna Philippou, David Walker:
On Transformations of Concurrent Object Programs. CONCUR 1996: 131-146 - [c13]Anna Philippou, David Walker:
Social Confluence in Client-Server Systems. CSL 1996: 385-398 - 1995
- [j5]David Walker:
Objects in the pi-Calculus. Inf. Comput. 116(2): 253-271 (1995) - [c12]Xinxin Liu, David Walker:
A Polymorphic Type System for the Polyadic pi-calculus. CONCUR 1995: 103-116 - [c11]Anna Philippou, David Walker:
On Sharing and Determinacy in Concurrent Systems. CONCUR 1995: 456-470 - [c10]Penny Collings, David Walker:
Applications to support student group work. CSCL 1995: 75-79 - [c9]Xinxin Liu, David Walker:
Confluence of Processes and Systems of Objects. TAPSOFT 1995: 217-231 - 1994
- [c8]Penny Collings, David Walker, Frank Hicks, Anne McMahon, Errol Martin:
A comparison of methods for teaching information systems design. CHI Conference Companion 1994: 245-246 - [c7]David Walker:
On Bisimulation in the pi-calculus. CONCUR 1994: 315-330 - [c6]David Walker:
Algebraic Proofs of Properties of Objects. ESOP 1994: 501-516 - 1993
- [j4]Robin Milner, Joachim Parrow, David Walker:
Modal Logics for Mobile Processes. Theor. Comput. Sci. 114(1): 149-171 (1993) - 1992
- [j3]Robin Milner, Joachim Parrow, David Walker:
A Calculus of Mobile Processes, I. Inf. Comput. 100(1): 1-40 (1992) - [j2]Robin Milner, Joachim Parrow, David Walker:
A Calculus of Mobile Processes, II. Inf. Comput. 100(1): 41-77 (1992) - 1991
- [j1]Colin Stirling, David Walker:
Local Model Checking in the Modal mu-Calculus. Theor. Comput. Sci. 89(1): 161-177 (1991) - [c5]Robin Milner, Joachim Parrow, David Walker:
Modal Logics for Mobile Processes. CONCUR 1991: 45-60 - [c4]David Walker:
Pi-Calculus Semantics of Object-Oriented Programming Languages. TACS 1991: 532-547
1980 – 1989
- 1989
- [c3]Colin Stirling, David Walker:
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. Automatic Verification Methods for Finite State Systems 1989: 166-178 - [c2]David Walker:
Some Results on the pi-Calculus. Concurrency: Theory, Language, And Architecture 1989: 21-35 - [c1]Colin Stirling, David Walker:
Local Model Checking in the Modal Mu-Calculus. TAPSOFT, Vol.1 1989: 369-383
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-27 23:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint