A Calculus of Mobile Processes, I - Robin Milner; Joachim Parrow; David Walker 001 (Inf. Comput., 1992)

A Calculus of Mobile Processes, II - Robin Milner; Joachim Parrow; David Walker 001 (Inf. Comput., 1992)

Modal Logics for Mobile Processes. - Robin Milner; Joachim Parrow; David Walker 001 (Theor. Comput. Sci., 1993)

Typed Memory Management in a Calculus of Capabilities. - Karl Crary; David Walker 001; J. Gregory Morrisett (POPL, 1999)

From system F to typed assembly language. - J. Gregory Morrisett; David Walker 001; Karl Crary; Neal Glew (ACM Trans. Program. Lang. Syst., 1999)

Alias Types. - Frederick Smith; David Walker 001; J. Gregory Morrisett (ESOP, 2000)

A Type System for Expressive Security Policies. - David Walker 001 (POPL, 2000)

Alias Types for Recursive Data Structures. - David Walker 001; J. Gregory Morrisett (Types in Compilation, 2000)

Typed memory management via static capabilities. - David Walker 001; Karl Crary; J. Gregory Morrisett (ACM Trans. Program. Lang. Syst., 2000)

On Regions and Linear Types. - David Walker 001; Kevin Watkins (ICFP, 2001)

Types and Effects for Non-interfering Program Monitors. - Lujo Bauer; Jarred Ligatti; David Walker 001 (ISSS, 2002)

An effective theory of type refinements. - Yitzhak Mandelbaum; David Walker 001; Robert Harper 001 (ICFP, 2003)

A theory of aspects. - David Walker 001; Steve Zdancewic; Jay Ligatti (ICFP, 2003)

Reasoning about Hierarchical Storage. - Amal J. Ahmed 001; Limin Jia 001; David Walker 001 (LICS, 2003)

The logical approach to stack typing. - Amal J. Ahmed 001; David Walker 001 (TLDI, 2003)

A Concurrent Logical Framework: The Propositional Fragment. - Kevin Watkins; Iliano Cervesato; Frank Pfenning; David Walker 001 (TYPES, 2003)

Stack-based typed assembly language. - J. Gregory Morrisett; Karl Crary; Neal Glew; David Walker 001 (J. Funct. Program., 2003)

Modal Proofs as Distributed Programs (Extended Abstract). - Limin Jia 001; David Walker 001 (ESOP, 2004)

Specifying Properties of Concurrent Computations in CLF. - Kevin Watkins; Iliano Cervesato; Frank Pfenning; David Walker 001 (LFM@IJCAR, 2004)

Enforcing Non-safety Security Policies with Program Monitors. - Jay Ligatti; Lujo Bauer; David Walker 001 (ESORICS, 2005)

PolyAML: a polymorphic aspect-oriented functional programming language. - Daniel S. Dantas; David Walker 001; Geoffrey Washburn; Stephanie Weirich (ICFP, 2005)

Certifying Compilation for a Language with Stack Allocation. - Limin Jia 001; Frances Spalding; David Walker 001; Neal Glew (LICS, 2005)

Composing security policies with polymer. - Lujo Bauer; Jay Ligatti; David Walker 001 (PLDI, 2005)

Edit automata: enforcement mechanisms for run-time security policies. - Jay Ligatti; Lujo Bauer; David Walker 001 (Int. J. Inf. Sec., 2005)

ILC: A Foundation for Automated Reasoning About Pointer Programs. - Limin Jia 001; David Walker 001 (ESOP, 2006)

Expressing heap-shape contracts in linear logic. - Frances Perry; Limin Jia 001; David Walker 001 (GPCE, 2006)

Static typing for a faulty lambda calculus. - David Walker 001; Lester W. Mackey; Jay Ligatti; George A. Reis; David I. August (ICFP, 2006)

LAUNCHPADS: A System for Processing Ad Hoc Data. - Mark Daly; Mary F. Fernández; Kathleen Fisher; Yitzhak Mandelbaum; David Walker 001 (PLAN-X, 2006)

Harmless advice. - Daniel S. Dantas; David Walker 001 (POPL, 2006)

PADS: an end-to-end system for processing ad hoc data. - Mark Daly; Yitzhak Mandelbaum; David Walker 001; Mary F. Fernández; Kathleen Fisher; Robert Gruber; Xuan Zheng (SIGMOD Conference, 2006)

A type-theoretic interpretation of pointcuts and advice. - Jay Ligatti; David Walker 001; Steve Zdancewic (Sci. Comput. Program., 2006)

Fault-tolerant typed assembly language. - Frances Perry; Lester W. Mackey; George A. Reis; Jay Ligatti; David I. August; David Walker 001 (PLDI, 2007)

PADS/ML: a functional data description language. - Yitzhak Mandelbaum; Kathleen Fisher; David Walker 001; Mary F. Fernández; Artem Gleyzer (POPL, 2007)

From dirt to shovels: fully automatic tool generation from ad hoc data. - Kathleen Fisher; David Walker 001; Kenny Qili Zhu; Peter White (POPL, 2008)

LearnPADS: automatic tool generation from ad hoc data. - Kathleen Fisher; David Walker 001; Kenny Qili Zhu (SIGMOD Conference, 2008)

AspectML: A polymorphic aspect-oriented functional programming language. - Daniel S. Dantas; David Walker 001; Geoffrey Washburn; Stephanie Weirich (ACM Trans. Program. Lang. Syst., 2008)

Ad Hoc Data and the Token Ambiguity Problem. - Qian Xi; Kathleen Fisher; David Walker 001; Kenny Qili Zhu (PADL, 2009)

Language support for processing distributed ad hoc data. - Kenny Qili Zhu; Daniel S. Dantas; Kathleen Fisher; Limin Jia 001; Yitzhak Mandelbaum; Vivek S. Pai; David Walker 001 (PPDP, 2009)

An overview of the Oregon programming languages summer school. - Jim Allen; Zena M. Ariola; Pierre-Louis Curien; Matthew Fluet; Jeffrey S. Foster; Dan Grossman; Robert Harper 001; Hugo Herbelin; Yannis Smaragdakis; David Walker 001; Steve Zdancewic (ACM SIGPLAN Notices, 2009)

Run-Time Enforcement of Nonsafety Policies. - Jay Ligatti; Lujo Bauer; David Walker 001 (ACM Trans. Inf. Syst. Secur., 2009)

Composing expressive runtime security policies. - Lujo Bauer; Jay Ligatti; David Walker 001 (ACM Trans. Softw. Eng. Methodol., 2009)

Frenetic: a high-level language for OpenFlow networks. - Nate Foster; Michael J. Freedman; Rob Harrison; Jennifer Rexford; Matthew L. Meola; David Walker 001 (PRESTO@CoNEXT, 2010)

Faulty Logic: Reasoning about Fault Tolerant Programs. - Matthew L. Meola; David Walker 001 (ESOP, 2010)

A context-free markup language for semi-structured text. - Qian Xi; David Walker 001 (PLDI, 2010)

Semantics and algorithms for data-dependent grammars. - Trevor Jim; Yitzhak Mandelbaum; David Walker 001 (POPL, 2010)

Concurrent Separation Logic for Pipelined Parallelization. - Christian J. Bell; Andrew W. Appel; David Walker 001 (SAS, 2010)

The next 700 data description languages. - Kathleen Fisher; Yitzhak Mandelbaum; David Walker 001 (J. ACM, 2010)

Incremental learning of system log formats. - Kenny Qili Zhu; Kathleen Fisher; David Walker 001 (ACM SIGOPS Oper. Syst. Rev., 2010)

Consistent updates for software-defined networks: change you can believe in! - Mark Reitblatt; Nate Foster; Jennifer Rexford; David Walker 001 (HotNets, 2011)

The PADS project: an overview. - Kathleen Fisher; David Walker 001 (ICDT, 2011)

Forest: a language and toolkit for programming with filestores. - Kathleen Fisher; Nate Foster; David Walker 001; Kenny Qili Zhu (ICFP, 2011)

Frenetic: a network programming language. - Nate Foster; Rob Harrison; Michael J. Freedman; Christopher Monsanto; Jennifer Rexford; Alec Story; David Walker 001 (ICFP, 2011)

Linear maps. - Shuvendu K. Lahiri; Shaz Qadeer; David Walker 001 (PLPV, 2011)

A survey of the practice of computational science. - Prakash Prabhu; Thomas B. Jablin; Arun Raman; Yun Zhang 005; Jialu Huang; Hanjun Kim 001; Nick P. Johnson; Feng Liu; Soumyadeep Ghosh; Stephen R. Beard; Taewook Oh; Matthew Zoufaly; et al. (SC State of the Practice Reports, 2011)

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. - Kenny Qili Zhu; Kathleen Fisher; David Walker 001 (PADL, 2012)

A compiler and run-time system for network programming languages. - Christopher Monsanto; Nate Foster; Rob Harrison; David Walker 001 (POPL, 2012)

Policy transformation in software defined networks. - Nanxi Kang; Joshua Reich; Jennifer Rexford; David Walker 001 (SIGCOMM, 2012)

Abstractions for network update. - Mark Reitblatt; Nate Foster; Jennifer Rexford; Cole Schlesinger; David Walker 001 (SIGCOMM, 2012)

Optimizing the "one big switch" abstraction in software-defined networks. - Nanxi Kang; Zhenming Liu; Jennifer Rexford; David Walker 001 (CoNEXT, 2013)

Composing Software Defined Networks. - Christopher Monsanto; Joshua Reich; Nate Foster; Jennifer Rexford; David Walker 001 (NSDI, 2013)

Incremental consistent updates. - Naga Praveen Katta; Jennifer Rexford; David Walker 001 (HotSDN, 2013)

Languages for software-defined networks. - Nate Foster; Arjun Guha; Mark Reitblatt; Alec Story; Michael J. Freedman; Naga Praveen Katta; Christopher Monsanto; Joshua Reich; Jennifer Rexford; Cole Schlesinger; David Walker 001; Rob Harrison (IEEE Commun. Mag., 2013)

Programming Protocol-Independent Packet Processors. - Pat Bosshart; Dan Daly; Martin Izzard; Nick McKeown; Jennifer Rexford; Dan Talayco; Amin Vahdat; George Varghese; David Walker 001 (CoRR, 2013)

Modular SDN Programming with Pyretic. - Joshua Reich; Christopher Monsanto; Nate Foster; Jennifer Rexford; David Walker 001 (login Usenix Mag., 2013)

Transparent, Live Migration of a Software-Defined Network. - Soudeh Ghorbani; Cole Schlesinger; Matthew Monaco; Eric Keller; Matthew Caesar 001; Jennifer Rexford; David Walker 001 (SoCC, 2014)

Concurrent NetCore: from policies to pipelines. - Cole Schlesinger; Michael Greenberg 002; David Walker 001 (ICFP, 2014)

NetkAT: semantic foundations for networks. - Carolyn Jane Anderson; Nate Foster; Arjun Guha; Jean-Baptiste Jeannin; Dexter Kozen; Cole Schlesinger; David Walker 001 (POPL, 2014)

An assertion language for debugging SDN applications. - Ryan Beckett; Xuan Kelvin Zou; Shuyuan Zhang; Sharad Malik; Jennifer Rexford; David Walker 001 (HotSDN, 2014)

Incremental update for a compositional SDN hypervisor. - Xin Jin 008; Jennifer Rexford; David Walker 001 (HotSDN, 2014)

Infinite CacheFlow in software-defined networks. - Naga Praveen Katta; Omid Alipourfard; Jennifer Rexford; David Walker 001 (HotSDN, 2014)

Compiling path queries in software-defined networks. - Srinivas Narayana; Jennifer Rexford; David Walker 001 (HotSDN, 2014)

P4: programming protocol-independent packet processors. - Pat Bosshart; Dan Daly; Glen Gibb; Martin Izzard; Nick McKeown; Jennifer Rexford; Cole Schlesinger; Dan Talayco; Amin Vahdat; George Varghese; David Walker 001 (Comput. Commun. Rev., 2014)

Modular protections against non-control data attacks. - Cole Schlesinger; Karthik Pattabiraman; Nikhil Swamy; David Walker 001; Benjamin G. Zorn (J. Comput. Secur., 2014)

CoVisor: A Compositional Hypervisor for Software-Defined Networks. - Xin Jin 008; Jennifer Gossels; Jennifer Rexford; David Walker 001 (NSDI, 2015)

Tracking the Flow of Ideas through the Programming Languages Literature. - Michael Greenberg 002; Kathleen Fisher; David Walker 001 (SNAPL, 2015)

HONE: Joint Host-Network Traffic Management in Software-Defined Networks. - Peng Sun; Minlan Yu; Michael J. Freedman; Jennifer Rexford; David Walker 001 (J. Netw. Syst. Manag., 2015)

Hardware-Software Co-Design for Network Performance Measurement. - Srinivas Narayana; Anirudh Sivaraman; Vikram Nathan; Mohammad Alizadeh; David Walker 001; Jennifer Rexford; Vimalkumar Jeyakumar; Changhoon Kim (HotNets, 2016)

Compiling Path Queries. - Srinivas Narayana; Mina Tahmasbi; Jennifer Rexford; David Walker 001 (NSDI, 2016)

Temporal NetKAT. - Ryan Beckett; Michael Greenberg 002; David Walker 001 (PLDI, 2016)

Example-directed synthesis: a type-theoretic interpretation. - Jonathan Frankle; Peter-Michael Osera; David Walker 001; Steve Zdancewic (POPL, 2016)

Confluences in programming languages research (keynote). - David Walker 001 (POPL, 2016)

SNAP: Stateful Network-Wide Abstractions for Packet Processing. - Mina Tahmasbi Arashloo; Yaron Koral; Michael Greenberg 002; Jennifer Rexford; David Walker 001 (SIGCOMM, 2016)

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (SIGCOMM, 2016)

CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks. - Naga Praveen Katta; Omid Alipourfard; Jennifer Rexford; David Walker 001 (SOSR, 2016)

HotCocoa: Hardware Congestion Control Abstractions. - Mina Tahmasbi Arashloo; Monia Ghobadi; Jennifer Rexford; David Walker 001 (HotNets, 2017)

Network configuration synthesis with abstract topologies. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (PLDI, 2017)

A General Approach to Network Configuration Verification. - Ryan Beckett; Aarti Gupta; Ratul Mahajan; David Walker 001 (SIGCOMM, 2017)

Programming Distributed Control Planes: Invited Demo: Demo. - Ryan Beckett; Ratul Mahajan; Jitendra Padhye; Todd D. Millstein; David Walker 001 (SOSR, 2017)

Control plane compression. - Ryan Beckett; Aarti Gupta; Ratul Mahajan; David Walker 001 (SIGCOMM, 2018)

Synthesizing quotient lenses. - Solomon Maina; Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

Synthesizing bijective lenses. - Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement. - Nick Giannarakis; Ryan Beckett; Ratul Mahajan; David Walker 001 (CAV (2), 2019)

NV: An intermediate language for network verification. - Ryan Beckett; Nick Giannarakis; Devon Loehr; David Walker 001 (NetPL@SIGCOMM, 2019)

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming. - Ryan Beckett; Ratul Mahajan; Todd D. Millstein; Jitendra Padhye; David Walker 001 (Comput. Commun. Rev., 2019)

Contra: A Programmable System for Performance-aware Routing. - Kuo-Feng Hsu; Ryan Beckett; Ang Chen 001; Jennifer Rexford; Praveen Tammana; David Walker 001 (CoRR, 2019)

Synthesizing symmetric lenses. - Anders Miltner; Solomon Maina; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2019)

Elastic Switch Programming with P4All. - Mary Hogan; Shir Landau Feibish; Mina Tahmasbi Arashloo; Jennifer Rexford; David Walker 001; Rob Harrison (HotNets, 2020)

Enabling Programmable Transport Protocols in High-Speed NICs. - Mina Tahmasbi Arashloo; Alexey Lavrov; Manya Ghobadi; Jennifer Rexford; David Walker 001; David Wentzlaff (NSDI, 2020)

Contra: A Programmable System for Performance-aware Routing. - Kuo-Feng Hsu; Ryan Beckett; Ang Chen 001; Jennifer Rexford; David Walker 001 (NSDI, 2020)

NV: an intermediate language for verification of network control planes. - Nick Giannarakis; Devon Loehr; Ryan Beckett; David Walker 001 (PLDI, 2020)

Data-driven inference of representation invariants. - Anders Miltner; Saswat Padhi; Todd D. Millstein; David Walker 001 (PLDI, 2020)

Adaptive Weighted Traffic Splitting in Programmable Data Planes. - Kuo-Feng Hsu; Praveen Tammana; Ryan Beckett; Ang Chen 001; Jennifer Rexford; David Walker 001 (SOSR, 2020)

Abstract interpretation of distributed network control planes. - Ryan Beckett; Aarti Gupta; Ratul Mahajan; David Walker 001 (Proc. ACM Program. Lang., 2020)

Lucid: a language for control in the data plane. - John Sonchack; Devon Loehr; Jennifer Rexford; David Walker 001 (SIGCOMM, 2021)

Test coverage metrics for the network. - Xieyang Xu; Ryan Beckett; Karthick Jayaraman; Ratul Mahajan; David Walker 001 (SIGCOMM, 2021)

ProbNV: probabilistic verification of network control planes. - Nick Giannarakis; Alexandra Silva 001; David Walker 001 (Proc. ACM Program. Lang., 2021)

ACORN: Network Control Plane Abstraction using Route Nondeterminism. - Divya Raghunathan; Ryan Beckett; Aarti Gupta; David Walker 001 (FMCAD, 2022)

Modular Switch Programming Under Resource Constraints. - Mary Hogan; Shir Landau Feibish; Mina Tahmasbi Arashloo; Jennifer Rexford; David Walker 001 (NSDI, 2022)

Synthesizing state machines for data planes. - Xiaoqi Chen; Andrew Johnson; Mengying Pan; David Walker 001 (SOSR, 2022)

Technical Report: Match-reference regular expressions and lenses. - Jeanne-Marie Musca; Anders Miltner; Kathleen Fisher; David Walker 001 (CoRR, 2022)

Safe, modular packet pipeline programming. - Devon Loehr; David Walker 001 (Proc. ACM Program. Lang., 2022)

NAP: Programming Data Planes with Approximate Data Structures. - Mengying Pan; Hyojoon Kim; Jennifer Rexford; David Walker 001 (EuroP4@CoNEXT, 2023)

Test Coverage for Network Configurations. - Xieyang Xu; Weixin Deng; Ryan Beckett; Ratul Mahajan; David Walker 001 (NSDI, 2023)

SwitchLog: A Logic Programming Language for Network Switches. - Vaibhav Mehta; Devon Loehr; John Sonchack; David Walker 001 (PADL, 2023)

Modular Control Plane Verification via Temporal Invariants. - Timothy Alberdingk Thijm; Ryan Beckett; Aarti Gupta; David Walker 001 (Proc. ACM Program. Lang., 2023)

Saggitarius: A DSL for Specifying Grammatical Domains. - Anders Miltner; Devon Loehr; Arnold Mong; Kathleen Fisher; David Walker 001 (Proc. ACM Program. Lang., 2023)

Buffy: A Formal Language-Based Framework for Network Performance Analysis. - Amir Seyhani; Junyi Zhao; Aarti Gupta; David Walker 001; Mina Tahmasbi Arashloo (HotNets, 2024)

Sequence Abstractions for Flexible, Line-Rate Network Monitoring. - Andrew Johnson; Ryan Beckett; Xiaoqi Chen; Ratul Mahajan; David Walker 001 (NSDI, 2024)

Relational Network Verification. - Xieyang Xu; Yifei Yuan 001; Zachary Kincaid; Arvind Krishnamurthy; Ratul Mahajan; David Walker 001; Ennan Zhai (SIGCOMM, 2024)

Automated Optimization of Parameterized Data-Plane Programs with Parasol. - Mary Hogan; Devon Loehr; John Sonchack; Shir Landau Feibish; Jennifer Rexford; David Walker 001 (CoRR, 2024)

Kirigami, the Verifiable Art of Network Cutting. - Timothy Alberdingk Thijm; Ryan Beckett; Aarti Gupta; David Walker 001 (IEEE/ACM Trans. Netw., 2024)