1 citations · 1 across the 4 of their papers we have counts for
4 papers
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid +4
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network…
Automated Optimization of Parameterized Data-Plane Programs with Parasol
Mary Hogan, Devon Loehr, John Sonchack +3
Programmable data planes allow for sophisticated applications that give operators the power to customize the functionality of their networks. Deploying these applications, however,…
Saggitarius: A DSL for Specifying Grammatical Domains
Anders Miltner, Devon Loehr, Arnold Mong +2
Common data types like dates, addresses, phone numbers and tables can have multiple textual representations, and many heavily-used languages, such as SQL, come in several dialects.…
The Impact of Space-Filling Curves on Data Movement in Parallel Systems
David Walker, Anthony Skjellum
Modern computer systems are characterized by deep memory hierarchies, composed of main memory, multiple layers of cache, and other specialized types of memory. In parallel and dist…