David Walker

Proc. ACM Program. Lang., 2023

SwitchLog: A Logic Programming Language for Network Switches.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2023

Test Coverage for Network Configurations.

[BibT_eX]

[DOI]

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

NAP: Programming Data Planes with Approximate Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 6th on European P4 Workshop, 2023

2022

Safe, modular packet pipeline programming.

[BibT_eX]

[DOI]

Devon Loehr

Proc. ACM Program. Lang., 2022

Technical Report: Match-reference regular expressions and lenses.

[BibT_eX]

[DOI]

CoRR, 2022

Synthesizing state machines for data planes.

[BibT_eX]

[DOI]

Proceedings of the SOSR '22: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, October 19, 2022

Modular Switch Programming Under Resource Constraints.

[BibT_eX]

[DOI]

Mary Hogan

Shir Landau Feibish

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Kirigami, the Verifiable Art of Network Cutting.

[BibT_eX]

[DOI]

Timothy Alberdingk Thijm

Ryan Beckett

Aarti Gupta

Proceedings of the 30th IEEE International Conference on Network Protocols, 2022

ACORN: Network Control Plane Abstraction using Route Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

ProbNV: probabilistic verification of network control planes.

[BibT_eX]

[DOI]

Nick Giannarakis

Alexandra Silva

Proc. ACM Program. Lang., 2021

Test coverage metrics for the network.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

Lucid: a language for control in the data plane.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

Abstract interpretation of distributed network control planes.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Adaptive Weighted Traffic Splitting in Programmable Data Planes.

[BibT_eX]

[DOI]

Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020

Data-driven inference of representation invariants.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

NV: an intermediate language for verification of network control planes.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Contra: A Programmable System for Performance-aware Routing.

[BibT_eX]

[DOI]

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Enabling Programmable Transport Protocols in High-Speed NICs.

[BibT_eX]

[DOI]

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Elastic Switch Programming with P4All.

[BibT_eX]

[DOI]

Mary Hogan

Shir Landau Feibish

Rob Harrison

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

Synthesizing symmetric lenses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Contra: A Programmable System for Performance-aware Routing.

[BibT_eX]

[DOI]

CoRR, 2019

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2019

NV: An intermediate language for network verification.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Synthesizing bijective lenses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Control plane compression.

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

2017

Programming Distributed Control Planes: Invited Demo: Demo.

[BibT_eX]

[DOI]

Proceedings of the Symposium on SDN Research, 2017

A General Approach to Network Configuration Verification.

[BibT_eX]

[DOI]

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Network configuration synthesis with abstract topologies.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

HotCocoa: Hardware Congestion Control Abstractions.

[BibT_eX]

[DOI]

Monia Ghobadi

Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Palo Alto, CA, USA, 2017

2016

CacheFlow: Dependency-Aware Rule-Caching for Software-Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the Symposium on SDN Research, 2016

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

SNAP: Stateful Network-Wide Abstractions for Packet Processing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Confluences in programming languages research (keynote).

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Example-directed synthesis: a type-theoretic interpretation.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Temporal NetKAT.

[BibT_eX]

[DOI]

Ryan Beckett

Michael Greenberg

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Compiling Path Queries.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

Hardware-Software Co-Design for Network Performance Measurement.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

2015

HONE: Joint Host-Network Traffic Management in Software-Defined Networks.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2015

Tracking the Flow of Ideas through the Programming Languages Literature.

[BibT_eX]

[DOI]

Michael Greenberg

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

CoVisor: A Compositional Hypervisor for Software-Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Modular protections against non-control data attacks.

[BibT_eX]

[DOI]

J. Comput. Secur., 2014

P4: programming protocol-independent packet processors.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2014

Compiling path queries in software-defined networks.

[BibT_eX]

[DOI]

Srinivas Narayana

Proceedings of the third workshop on Hot topics in software defined networking, 2014

Infinite CacheFlow in software-defined networks.

[BibT_eX]

[DOI]

Proceedings of the third workshop on Hot topics in software defined networking, 2014

Incremental update for a compositional SDN hypervisor.

[BibT_eX]

[DOI]

Xin Jin

Proceedings of the third workshop on Hot topics in software defined networking, 2014

An assertion language for debugging SDN applications.

[BibT_eX]

[DOI]

Proceedings of the third workshop on Hot topics in software defined networking, 2014

NetkAT: semantic foundations for networks.

[BibT_eX]

[DOI]

Carolyn Jane Anderson

Nate Foster

Arjun Guha

Jean-Baptiste Jeannin

Dexter Kozen

Cole Schlesinger

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Concurrent NetCore: from policies to pipelines.

[BibT_eX]

[DOI]

Cole Schlesinger

Michael Greenberg

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Transparent, Live Migration of a Software-Defined Network.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, 2014

2013

Modular SDN Programming with Pyretic.

[BibT_eX]

[DOI]

Programming Protocol-Independent Packet Processors.

[BibT_eX]

[DOI]

CoRR, 2013

Languages for software-defined networks.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2013

Incremental consistent updates.

[BibT_eX]

[DOI]

Naga Praveen Katta

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Composing Software Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Optimizing the "one big switch" abstraction in software-defined networks.

[BibT_eX]

[DOI]

Proceedings of the Conference on emerging Networking Experiments and Technologies, 2013

2012

Abstractions for network update.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Policy transformation in software defined networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

A compiler and run-time system for network programming languages.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats.

[BibT_eX]

[DOI]

Kenny Qili Zhu

Proceedings of the Practical Aspects of Declarative Languages, 2012

2011

A survey of the practice of computational science.

[BibT_eX]

[DOI]

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Linear maps.

[BibT_eX]

[DOI]

Shuvendu K. Lahiri

Shaz Qadeer

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

Frenetic: a network programming language.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Forest: a language and toolkit for programming with filestores.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The PADS project: an overview.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

Consistent updates for software-defined networks: change you can believe in!

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

2010

Incremental learning of system log formats.

[BibT_eX]

[DOI]

Kenny Qili Zhu

ACM SIGOPS Oper. Syst. Rev., 2010

The next 700 data description languages.

[BibT_eX]

[DOI]

Yitzhak Mandelbaum

J. ACM, 2010

Concurrent Separation Logic for Pipelined Parallelization.

[BibT_eX]

[DOI]

Christian J. Bell

Andrew W. Appel

Proceedings of the Static Analysis - 17th International Symposium, 2010

Semantics and algorithms for data-dependent grammars.

[BibT_eX]

[DOI]

Trevor Jim

Yitzhak Mandelbaum

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A context-free markup language for semi-structured text.

[BibT_eX]

[DOI]

Qian Xi

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Faulty Logic: Reasoning about Fault Tolerant Programs.

[BibT_eX]

[DOI]

Matthew L. Meola

Proceedings of the Programming Languages and Systems, 2010

Frenetic: a high-level language for OpenFlow networks.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, 2010

2009

Composing expressive runtime security policies.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2009

Run-Time Enforcement of Nonsafety Policies.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2009

An overview of the Oregon programming languages summer school.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2009

Language support for processing distributed ad hoc data.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Ad Hoc Data and the Token Ambiguity Problem.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2009

2008

AspectML: A polymorphic aspect-oriented functional programming language.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

LearnPADS: automatic tool generation from ad hoc data.

[BibT_eX]

[DOI]

Kenny Qili Zhu

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

From dirt to shovels: fully automatic tool generation from ad hoc data.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

PADS/ML: a functional data description language.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Fault-tolerant typed assembly language.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

A type-theoretic interpretation of pointcuts and advice.

[BibT_eX]

[DOI]

Steve Zdancewic

Sci. Comput. Program., 2006

PADS: an end-to-end system for processing ad hoc data.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Harmless advice.

[BibT_eX]

[DOI]

Daniel S. Dantas

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

LAUNCHPADS: A System for Processing Ad Hoc Data.

[BibT_eX]

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Static typing for a faulty lambda calculus.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Expressing heap-shape contracts in linear logic.

[BibT_eX]

[DOI]

Frances Perry

Proceedings of the Generative Programming and Component Engineering, 2006

ILC: A Foundation for Automated Reasoning About Pointer Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

2005

Edit automata: enforcement mechanisms for run-time security policies.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Composing security policies with polymer.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Certifying Compilation for a Language with Stack Allocation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Poly<sub>AML</sub>: a polymorphic aspect-oriented functional programming language.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Enforcing Non-safety Security Policies with Program Monitors.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2005

2004

Specifying Properties of Concurrent Computations in CLF.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

Modal Proofs as Distributed Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2004

2003

A Concurrent Logical Framework: The Propositional Fragment.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

The logical approach to stack typing.

[BibT_eX]

[DOI]

Amal J. Ahmed

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Reasoning about Hierarchical Storage.

[BibT_eX]

[DOI]

Amal J. Ahmed

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

A theory of aspects.

[BibT_eX]

[DOI]

Steve Zdancewic

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

An effective theory of type refinements.

[BibT_eX]

[DOI]

Yitzhak Mandelbaum

Robert Harper

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Stack-based typed assembly language.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

Types and Effects for Non-interfering Program Monitors.

[BibT_eX]

[DOI]

Jarred Ligatti

Proceedings of the Software Security -- Theories and Systems, 2002

2001

On Regions and Linear Types.

[BibT_eX]

[DOI]

Kevin Watkins

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Typed memory management via static capabilities.

[BibT_eX]

[DOI]

Karl Crary

ACM Trans. Program. Lang. Syst., 2000

Alias Types for Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Types in Compilation, Third International Workshop, 2000

A Type System for Expressive Security Policies.

[BibT_eX]

[DOI]

Proceedings of the POPL 2000, 2000

Alias Types.

[BibT_eX]

[DOI]

Frederick Smith

Proceedings of the Programming Languages and Systems, 2000

1999

From system F to typed assembly language.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

Typed Memory Management in a Calculus of Capabilities.

[BibT_eX]

[DOI]

Karl Crary

Proceedings of the POPL '99, 1999

1993

Modal Logics for Mobile Processes.

[BibT_eX]

[DOI]

Robin Milner

Joachim Parrow

Theor. Comput. Sci., 1993

1992

A Calculus of Mobile Processes, II

[BibT_eX]

[DOI]

Robin Milner

Joachim Parrow

Inf. Comput., September, 1992

A Calculus of Mobile Processes, I

[BibT_eX]

[DOI]

Robin Milner

Joachim Parrow