arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Rob Harrison

22 papers · 1994–2021

1994: 11995: 01996: 01997: 01998: 01999: 12000: 02001: 02002: 02003: 02004: 12005: 02006: 12007: 02008: 02009: 02010: 12011: 32012: 22013: 22014: 12015: 02016: 12017: 12018: 22019: 02020: 32021: 2
1994peak 3 in 20112021

Frequent co-authors

Papers

showing 1–22 of 22 RSS

Frenetic

Nate Foster, Rob Harrison, Michael J. Freedman +4 more

Computer Networks and Communications · ACM SIGPLAN Notices · · cited 585× · DOI ↗ · more like this ·

Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today's networks lack modern features - they are usually defined at the low level of abstraction supplied by the underlying hardware and they fail to provide even rudimentary support for modular programming. As a result, network programs tend to be complicated, error-prone, and difficult to maintain. This paper presents Frenetic, a high-level language for programming distributed collections of network switches. Frenetic provides a declarative query language for classifying and aggregating network traffic as well as a functional reactive combinator library for describing high-level packet-forwarding policies. Unlike prior work in this domain, these constructs are - by design - fully compositional, which…

Sonata

Arpit Gupta, Rob Harrison, Marco Canini +3 more

Computer Networks and Communications · King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology) · · cited 264× · DOI ↗ · more like this ·

Managing and securing networks requires collecting and analyzing network traffic data in real time. Existing telemetry systems do not allow operators to express the range of queries needed to perform management or scale to large traffic volumes and rates. We present Sonata, an expressive and scalable telemetry system that coordinates joint collection and analysis of network traffic. Sonata provides a declarative interface to express queries for a wide range of common telemetry tasks; to enable real-time execution, Sonata partitions each query across the stream processor and the data plane, running as much of the query as it can on the network switch, at line rate. To optimize the use of limited switch memory, Sonata dynamically refines each query to ensure that available resources focus only on traffic that satisfies the query. Our evaluation shows that Sonata can support a wide range…

A compiler and run-time system for network programming languages

Christopher Monsanto, Nate Foster, Rob Harrison +1 more

Computer Networks and Communications · ACM SIGPLAN Notices · · cited 203× · DOI ↗ · more like this ·

Software-defined networks (SDNs) are a new kind of network architecture in which a controller machine manages a distributed collection of switches by instructing them to install or uninstall packet-forwarding rules and report traffic statistics. The recently formed Open Networking Consortium, whose members include Google, Facebook, Microsoft, Verizon, and others, hopes to use this architecture to transform the way that enterprise and data center networks are implemented. In this paper, we define a high-level, declarative language, called NetCore, for expressing packet-forwarding policies on SDNs. NetCore is expressive, compositional, and has a formal semantics. To ensure that a majority of packets are processed efficiently on switches---instead of on the controller---we present new compilation algorithms for NetCore and couple them with a new run-time system that issues rule…

Network-Wide Heavy Hitter Detection with Commodity Switches

Rob Harrison, Qizhe Cai, Arpit Gupta +1 more

Computer Networks and Communications · · cited 121× · DOI ↗ · more like this ·

Many network monitoring tasks identify subsets of traffic that stand out, e.g., top-k flows for a particular statistic. A Protocol Independent Switch Architecture (PISA) switch can identify these "heavy hitter" flows directly in the data plane, by aggregating traffic statistics across packets and comparing against a threshold. However, network operators often want to identify interesting traffic on a network-wide basis. To bridge the gap between line-rate monitoring and network-wide visibility, we present a distributed heavy-hitter detection scheme for networks modeled as one-big switch. We use adaptive thresholds to perform efficient threshold monitoring directly in the data plane. We implement our system using the P4 language, and evaluate it using real-world packet traces. We demonstrate that our solution can accurately detect network-wide heavy hitters with up to 70% savings in…

Sonata: Query-Driven Network Telemetry

Arpit Gupta, Rob Harrison, Ankita Pawar +5 more

cs.NI · · cited 27× · arXiv ↗ · more like this ·

Operating networks depends on collecting and analyzing measurement data. Current technologies do not make it easy to do so, typically because they separate data collection (e.g., packet capture or flow monitoring) from analysis, producing either too much data to answer a general question or too little data to answer a detailed question. In this paper, we present Sonata, a network telemetry system that uses a uniform query interface to drive the joint collection and analysis of network traffic. Sonata takes the advantage of two emerging technologies---streaming analytics platforms and programmable network devices---to facilitate joint collection and analysis. Sonata allows operators to more directly express network traffic analysis tasks in terms of a high-level language. The underlying runtime partitions each query into a portion that runs on the switch and another that runs on the…

PacketScope

Ross Teixeira, Rob Harrison, Arpit Gupta +1 more

Computer Networks and Communications · · cited 21× · DOI ↗ · more like this ·

As modern switches become increasingly more powerful, flexible, and programmable, network operators have an ever greater need to monitor their behavior. Many existing systems provide the ability to observe and analyze traffic that arrives at switches, but do not provide visibility into the experience of packets within the switch. To fill this gap, we present PacketScope, a network telemetry system that lets us peek inside network switches to ask a suite of useful queries about how switches modify, drop, delay, and forward packets. PacketScope gives network operators an intuitive and powerful Spark-like dataflow language to express these queries. To minimize the overhead of PacketScope on switch metadata, our compiler uses a "tag little, compute early" strategy that tags packets with metadata as they move through the switch pipeline, and computes query results as early as possible to…

Carpe Elephants

Rob Harrison, Shir Landau Feibish, Arpit Gupta +3 more

Computer Networks and Communications · · cited 16× · DOI ↗ · more like this ·

Detecting "heavy hitter" flows is the core of many network security applications. While past work shows how to measure heavy hitters on a single switch, network operators often need to identify network-wide heavy hitters on a small timescale to react quickly to distributed attacks. Detecting network-wide heavy hitters efficiently requires striking a careful balance between the memory and processing resources required on each switch and the network-wide coordination protocol. We present Carpe, a distributed system for detecting network-wide heavy hitters with high accuracy under communication and state constraints. Our solution combines probabilistic counting techniques on the switches with probabilistic reporting to a central coordinator. Based on these reports, the coordinator adapts the reporting threshold and probability at each switch to the spatial locality of the flows.…

Elastic Switch Programming with P4All

Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo +3 more

Hardware and Architecture · · cited 15× · DOI ↗ · more like this ·

The P4 language enables a range of new network applications. However, it is still far from easy to implement and optimize P4 programs for PISA hardware. Programmers must engage in a tedious "trial and error" process wherein they write their program (guessing it will fit within the hardware) and then check by compiling it. If it fails, they repeat the process. In this paper, we argue that programmers should define elastic data structures that stretch automatically to make use of available switch resources. We present P4All, an extension of P4 that supports elastic switch programming. Elastic data structures also make P4All modules reusable across different applications and hardware targets, where resource needs and constraints may vary.Our design is oriented around use of symbolic primitives (integers that may take on a range of possible values at compile time), arrays, and loops. We…

Creating a Multifarious Cyber Science Major

Raymond W. Blaine, Jean R. S. Blair, C. M. Chewar +3 more

Information Systems · · cited 8× · DOI ↗ · more like this ·

Existing approaches to computing-based cyber undergraduate majors typically take one of two forms: a broad exploration of both technical and human aspects, or a deep technical exploration of a single discipline relevant to cybersecurity. This paper describes the creation of a third approach--a multifarious major, consistent with Cybersecurity Curricula 2017, the ABET Cybersecurity Program Criteria, and the National Security Agency Center for Academic Excellence--Cyber Operations criteria. Our novel curriculum relies on a 10-course common foundation extended by one of five possible concentrations, each of which is delivered through a disciplinary lens and specialized into a highly relevant computing interest area serving society's diverse cyber needs. The journey began years ago when we infused cybersecurity education throughout our programs, seeking to keep offerings and extracurricular…

Frenetic: A High-Level Language for OpenFlow Networks

Nate Foster, Rob Harrison, Matthew L. Meola +3 more

Hardware and Architecture · eCommons (Cornell University) · · cited 6× · OpenAlex ↗ · more like this ·

Most interfaces for programming network devices are defined at the low level of abstraction supported by the underlying hardware, which leads to complicated programs that are prone to errors. This paper proposes a high-level programming language for OpenFlow networks based on ideas originally developed in the functional programming community. Our language, called Frenetic, includes a rich pattern algebra for classifying packets, a “program like you see every packet ” abstraction, and a run-time system that automatically generates the low-level packet-processing rules. We describe the design and implementation of Frenetic, and show how to use it to implement common management tasks. 1.

Language Abstractions for Software-Defined Networks

Nate Foster, Michael J. Freedman, Rob Harrison +5 more

Computer Networks and Communications · · cited 3× · OpenAlex ↗ · more like this ·

Abstract : For the past 30 years, networks have been built the same way: out of special-purpose devices running distributed algorithms that provide functionality such as topology discovery, routing, traffic monitoring, and access control. Recent years, however, have seen growing interest in a new kind of network architecture in which a logically-centralized controller machine manages a distributed collection of programmable switches. These software-defined networks (SDNs) make it possible for programmers to directly control the behavior of the network by configuring the packet- forwarding rules installed on switches [6]. Figure 1 depicts the architecture of a traditional network, where each independent switch consists of tightly-integrated control and data planes, and of an SDN, where a collection of switches are managed by a single program running on the controller.1

DynamiQ: Planning for Dynamics in Network Streaming Analytics Systems

Rohan Bhatia, Arpit Gupta, Rob Harrison +2 more

cs.NI · · cited 0× · arXiv ↗ · more like this ·

The emergence of programmable data-plane targets has motivated a new hybrid design for network streaming analytics systems that combine these targets' fast packet processing speeds with the rich compute resources available at modern stream processors. However, these systems require careful query planning; that is, specifying the minute details of executing a given set of queries in a way that makes the best use of the limited resources and programmability offered by data-plane targets. We use such an existing system, Sonata, and real-world packet traces to understand how executing a fixed query workload is affected by the unknown dynamics of the traffic that defines the target's input workload. We observe that static query planning, as employed by Sonata, cannot handle even small changes in the input workload, wasting data-plane resources to the point where query execution is confined…

2013 Lush Science Prize

Rob Harrison

Computational Theory and Mathematics · Alternatives to Laboratory Animals · · cited 0× · DOI ↗ · more like this ·

The annual Lush Science Prize is designed to reward outstanding contributions to 21st Century Toxicology Research. A Background Paper is prepared each year prior to the judging process, in order to provide the judging panel with a brief overview of current developments in the field of Replacement alternatives, particularly those relevant to the concept of toxicity pathways. The Background Paper includes information on some key institutional developments in the area--such as the OECD's Adverse Outcome Pathway Project, the Hamner Institute's work, and the Human Toxome Project, and on the phenomenon of collaborative computer systems relevant to the field. From the literature review that was also performed as part of the background research, the two papers receiving the highest score were recommended for consideration by the judges for the 2013 Science Prize.

Review

Elaine Oneil, Rob Harrison, Kenneth Skog +2 more

Artificial Intelligence · · cited 0× · OpenAlex ↗ · more like this ·

This review on research on life cycle carbon accounting examines the complexities in accounting for carbon emissions given the many different ways that wood is used. Recent objectives to increase the use of renewable fuels have raised policy questions, with respect to the sustainability of managing our forests as well as the impacts of how best to use wood from our forests. There has been general support for the benefits of sustainably managing forests for carbon mitigation as expressed by the Intergovernmental Panel on Climate Change in 2007. However, there are many integrated carbon pools involved, which have led to conflicting implications for best practices and policy. In particular, sustainable management of forests for products produces substantially different impacts than a focus on a single stand or on specific carbon pools with each contributing to different policy…

The Next 10,000 BGP Gadgets: Lightweight Modeling for the Stable Paths Problem. Princeton COS598D course project report

Matvey Arye, Rob Harrison, Richard Wang

Sociology and Political Science · · cited 0× · OpenAlex ↗ · more like this ·

For the past ten years, the de facto interdomain routing protocol, the Border Gateway Protocol (BGP), has been been studied in the framework of the Stable Paths Problem (SPP). The SPP approach revealed several combinations of node topologies and configurations in which BGP cannot converge to a stable solution. These misbehaving “gadgets ” serve as counterexamples to desirable BGP behavior, which we would like to always converge on a stable solution. For just as long, researchers have been manually generating these gadgets by hand which is a labor intensive and incomplete process. We apply two different lightweight modeling techniques in order to automatically generate these misbehaving gadgets quickly and completely. We model the static Stable Paths Problem using Alloy and also the dynamic Stable Path Vector Protocol using the Promela/Spin platform. These two approaches serve as a case…

Toward a Lightweight Model of . . .

Matvey Arye, Rob Harrison, Richard Wang +2 more

Computer Networks and Communications · · cited 0× · OpenAlex ↗ · more like this ·

For the past ten years, researchers have used the Stable Paths Problem (SPP) to analyze the stability properties of the Border Gateway Protocol (BGP). Analysis of SPP has revealed several combinations of topologies and routing configurations (or gadgets) where BGP cannot converge to a unique stable solution. Researchers typically analyze SPP by hand, using a trial-and-error process to (i) generate small SPP instances that exhibit undesirable properties and (ii) prove sufficient conditions for SPP solvability. In this paper, we present a formal, machine-readable SPP model encoded in the Alloy lightweight modeling language. The model consists of nodes with ranked sets of permitted paths, and a set of predicates for analyzing SPP instances. We also present an automated way to generate the smallest set of unique gadgets with no stable solution, or multiple stable solutions, including some…

Frenetic: A Network Programming Language

Nate Foster, Rob Harrison, Michael J. Freedman +3 more

Artificial Intelligence · · cited 0× · OpenAlex ↗ · more like this ·

Modern networks provide a variety of interrelated services including routing, traffic monitoring, load balancing, and access control. Unfortunately, the languages used to program today’s networks lack modern features—they are usually defined at the low level of abstraction supplied by the underlying hardware and they fail to provide even rudimentary support for modular programming. As a result, network programs tend to be complicated, error-prone, and difficult to maintain. This paper presents Frenetic, a high-level language for programming distributed collections of network switches. Frenetic provides a declarative query language for classifying and aggregating network traffic as well as a functional reactive combinator library for describing high-level packet-forwarding policies. Unlike prior work in this domain, these constructs are—by design—fully compositional, which facilitates…

Securing Truck Data for Texas

Jolanda Prozzi, A. Mani, Rob Harrison

Transportation · · cited 0× · OpenAlex ↗ · more like this ·

Freight transportation is critical to the economic prosperity of any region. Associated intercity and interstate truck flows, however, have an important impact on mobility, system performance, the safety of the road network, and the funding of the state-maintained road infrastructure. With the passage of the Intermodal Surface Transportation Efficiency Act (ISTEA) of 1991, increasing interest in freight modeling has emerged within statewide planning efforts, particularly the evaluation of the current and future freight transportation capacities necessary to ensure freight mobility. Although freight demand models are thus starting to emerge as tools to inform transportation policies, a critical challenge in the development of these models remains—namely, insufficient and inferior quality freight data. In August 2003, the Texas Department of Transportation (TxDOT) contracted with the…

9. Performing Organization Name and Address

A Prozzi, Akshay Mani, Rob Harrison

Artificial Intelligence · · cited 0× · OpenAlex ↗ · more like this ·

Freight transportation is critical to the economic prosperity of any region. Associated intercity and interstate truck flows, however, have an important impact on mobility, system performance, the safety of the road network, and the funding of the state-maintained road infrastructure. With the passage of the Intermodal Surface Transportation Efficiency Act (ISTEA) of 1991, increasing interest in freight modeling has emerged within statewide planning efforts, particularly the evaluation of the current and future freight transportation capacities necessary to ensure freight mobility. Although freight demand models are thus starting to emerge as tools to inform transportation policies, a critical challenge in the development of these models remains—namely, insufficient and inferior quality freight data. In August 2003, the Texas Department of Transportation (TxDOT) contracted with the…

13. Type of Report and Period Covered

William James Wilde, Steve Waalkes, Rob Harrison

Artificial Intelligence · · cited 0× · OpenAlex ↗ · more like this ·

Project conducted in cooperation with the Federal Highway Administration. This report describes the development of a new life cycle cost analysis methodology for portland cement concrete pavements — one that considers all aspects of pavement design, construction, maintenance, and user impacts throughout the analysis period. It predicts pavement performance using state-of-the-art performance models and reliability concepts, from which it determines maintenance and rehabilitation needs. Any construction performed on a roadway has associated construction and user costs. Also associated with all highway pavement construction are external costs, upon which it is difficult if not impossible to place a value. This methodology models the effects of construction on all these aspects and, where the effects cannot yet be quantified, allows new models to be added. Reliability concepts are used with…

<title>Texas/Mexico toll bridge study</title>

Angela Jannini Weissmann, Mike Martello, Johann Andersen +2 more

Political Science and International Relations · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · · cited 0× · DOI ↗ · more like this ·

A recurring need of Texas border communities is the provision of more bridge crossings over the Rio Grande. Work has also focused on developing a comprehensive international study database requiring extensive bi-national networking, including visits to federal agencies in Mexico and the U.S., and to every border city. The final products consist of a comprehensive description of the Texas-Mexico border, electronically organized in data base format, as well as recommendations about the feasibility of additional toll bridges at each sector of the Texas- Mexico border.