Contact
CSE 592
arvindcs.washington.edu
Areas of interest:
Distributed systems, networks, systems for machine learning
Principles for Internet Congestion Management
SIGCOMM, 2024.
, Relational Network Verification
SIGCOMM, 2024.
, An Architecture For Edge Networking Services
SIGCOMM, 2024.
, Understanding the Host Network
SIGCOMM, 2024.
, Punica: Multi-tenant LoRA serving
MLSys, 2024.
, CC-NIC: a Cache-Coherent Interface to the NIC
ASPLOS, 2024.
, SuperNIC: An FPGA-Based, Cloud-Oriented SmartNIC
FPGA, 2024.
, How I Learned to Stop Worrying About CCA Contention
HotNets, 2023.
, Application Defined Networks
HotNets, 2023.
, Dissecting Overheads of Service Mesh Sidecars
SOCC, 2023.
, A Cloud-Scale Characterization of Remote Procedure Calls
SOSP, 2023.
, Anticipatory Resource Allocation for ML Training
SOCC, 2023.
, Unleashing SmartNIC Packet Processing Performance in P4
SIGCOMM, 2023.
, Host Congestion Control
SIGCOMM, 2023.
, eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
OSDI, 2023.
, Dremel: Adaptive Configuration Tuning of RocksDB KV-Store
SIGMETRICS, 2022.
, Runtime Programmable Switches
NSDI, 2022.
, Xenic: SmartNIC-Accelerated Distributed Transactions
SOSP, 2021.
, Offloading Load Balancers onto SmartNICs
ApSys, 2021.
, Bertha: Tunneling through the Network API
Hotnets, 2020.
, Remote Memory Calls
Hotnets, 2020.
, On the Future of Congestion Control for the Public Internet
Hotnets, 2020.
, A Public Option for the Core
SIGCOMM, 2020.
, End the Senseless Killing: Improving Memory Management for Mobile Operating Systems
Usenix ATC, 2020.
, Meerkat: Multicore-Scalable Replicated Transactions Following the Zero-Coordination Principle
Eurosys, 2020.
, PLink: Discovering and Exploiting Datacenter Network Locality for Efficient Cloud-based Distributed Training
MLSys, 2020.
, A Hardware–Software Blueprint for Flexible Deep Learning Specialization
IEEE Micro 39, 2019.
, Zooming in on Wide-area Latencies to a Global Cloud Provider
SIGCOMM, 2019.
, Offloading Distributed Applications onto SmartNICs using iPipe
SIGCOMM, 2019.
, E3: Energy-Efficient Microservices on SmartNIC-Accelerated Servers
Usenix ATC, 2019.
, Practical Safe Linux Kernel Extensibility
HotOS, 2019.
, TCP Acceleration as an OS Service
Eurosys, 2019.
, Learning to Optimize Tensor Programs
NeurIPS, 2018.
, Revisiting Network Support for RDMA
SIGCOMM, 2018.
, MultiNyx: A Multi-level Abstraction Framework for Systematic Analysis of Hypervisors
Eurosys, 2018.
, Approximating Fair Queueing on Reconfigurable Switches
NSDI, 2018.
, Towards Geo-Distributed Machine Learning
IEEE Data Engineering Bulletin, 2017.
, High-Resolution Measurement of Data Center μbursts
IMC, 2017.
, Curator: Self-Managing Storage for Enterprise Clusters
NSDI, 2017.
, SCL: Simplifying Distributed SDN Control Planes
NSDI, 2017.
, RackCC: Rack-level Congestion Control
Hotnets, 2016.
, Scalable verification of Border Gateway Protocol configurations with an SMT solver
OOPSLA 2016, Object-Oriented Programming Systems, Languages, and Applications, 2016.
, https://www.youtube.com/watch?v=eKB5Vj0PsIk talk video
https://bagpipe.uwplse.org Bagpipe homepage
Radiatus: a Shared-Nothing Server-Side Web Architecture
SOCC, 2016.
, Characterizing Private Clouds: A Large-Scale Empirical Analysis of Enterprise Clusters
SOCC, 2016.
, Diamond: Automating Data Management and Storage for Wide-area, Reactive Applications
USENIX Conference on Operating Systems Design and Implementation (OSDI), 2016.
, Formal Semantics and Automated Verification for the Border Gateway Protocol
NetPL 2016: ACM SIGCOMM Workshop on Networking and Programming Languages (NetPL 2016), 2016.
, https://github.com/uwplse/uwplse-bagpipe Bagpipe implementation
MCDNN: An Approximation-Based Execution Framework for Deep Stream Processing Under Resource Constraints
MobiSys, 2016.
, Caching Doesn’t Improve Mobile Web Performance (Much)
Usenix ATC, 2016.
, Satellite: Joint Analysis of CDNs and Network-Level Interference
Usenix ATC, 2016.
, High Performance Packet Processing with FlexNIC
ASPLOS, 2016.
, Specifying and checking file system crash-consistency models
ASPLOS, 2016.
, Minimizing Faulty Executions of Distributed Systems
NSDI, 2016.
, Speeding up Web Page Loads with Shandian
NSDI, 2016.
, Bagpipe: Verified BGP configuration checking
University of Washington Department of Computer Science and Engineering:UW-CSE-16-01-01, 2016.
, https://github.com/uwplse/uwplse-bagpipe Bagpipe implementation
https://homes.cs.washington.edu/~mernst/pubs/bgp-configuration-tr160101.pdf PDF
Rollback Recovery for Middleboxes
Sigcomm, 2015.
, MetaSync: File Synchronization Across Multiple Untrusted Storage Services
Usenix ATC, 2015.
, Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms
IEEE Transactions on Software Engineering 41:4, 2015.
, https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-i... ICSE 2013 slides (PDF)
https://github.com/ModelInference/synoptic InvariMint implementation
https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-t... PDF
FlexNIC: Rethinking Network DMA
HotOS, 2015.
, Arrakis: The Operating System is the Control Plane
OSDI, 2014.
, A Highly Available Software Defined Fabric
HotNets, 2014.
, How Much Can We Micro-Cache Web Pages?
IMC, 2014.
, One Tunnel is (Often) Enough
Sigcomm, 2014.
, Towards High-Performance Application-Level Storage Management
HotStorage, 2014.
, Machine Fault Tolerance for Reliable Datacenter Systems
APSYS, 2014.
, Inferring models of concurrent systems from logs of their behavior with CSight
ICSE 2014, Proceedings of the 36th International Conference on Software Engineering, 2014.
, https://github.com/ModelInference/synoptic CSight implementation
https://homes.cs.washington.edu/~mernst/pubs/concurrent-models-icse2014.pdf PDF
https://homes.cs.washington.edu/~mernst/pubs/concurrent-models-icse2014-... slides (PDF)
GlimpseData: Towards Continuous Vision-Based Personal Analytics
Workshop on Physical Analytics, 2014.
, Inferring models of concurrent systems from logs of their behavior with CSight
University of British Columbia, 2014.
\urlhttps://hdl.handle.net/2429/46122
, https://github.com/ModelInference/synoptic CSight implementation
How speedy is SPDY?
Proc. of NSDI, 2014.
, PoiRoot: Investigating the Root Cause of Interdomain Path Changes
Proc. of Sigcomm, 2013.
, Expressive Privacy Control with Pseudonyms
Proc. of Sigcomm, 2013.
, Unifying FSM-inference algorithms through declarative specification
ICSE 2013, Proceedings of the 35th International Conference on Software Engineering, 2013.
, https://homes.cs.washington.edu/~mernst/pubs/fsm-inference-declarative-t... TR UW-CSE-13-03-01
https://github.com/ModelInference/synoptic InvariMint implementation
Unifying FSM-inference algorithms through declarative specification
University of Washington Department of Computer Science and Engineering:UW-CSE-13-03-01, 2013.
, F10: Fault Tolerant Engineered Networks
Proc. of NSDI, 2013.
, Demystifying Page Load Performance with WProf
Proc. of NSDI, 2013.
, FreeDOM: a New Baseline for the Web
Proc. of HotNets, 2012.
, Unifying FSM-inference algorithms through declarative specification
University of Washington Department of Computer Science and Engineering:UW-CSE-12-08-02, 2012.
, Making Middleboxes Someone Else’s Problem: Network Processing as a Cloud Service
Proc. of Sigcomm, 2012.
, LIFEGUARD: Practical Repair of Persistent Route Failures
Proc. of Sigcomm, 2012.
, FairCloud: Sharing The Network In Cloud Computing
Proc. of Sigcomm, 2012.
, Mining temporal invariants from partially ordered logs
SIGOPS Operating Systems Review 45:3, 2011.
, Machiavellian Routing: Poisoning ISPs to Avoid Routing Problems
Proc. of HotNets, 2011.
, Tor Instead of IP
Proc. of HotNets, 2011.
, FairCloud: Sharing The Network In Cloud Computing
Proc. of HotNets, 2011.
, Bandsaw: Log-powered test scenario generation for distributed systems
SOSP WIP: Proceedings of the 23rd ACM Symposium on Operating Systems Principles, Work In Progress Track, 2011.
, Mining temporal invariants from partially ordered logs
SLAML 2011: Workshop on Managing Large-Scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques (SLAML '11), 2011.
Article No. 3
, Scalable Consistency in Scatter
Proc. of SOSP, 2011.
, deSEO: Combating Search-Result Poisoning
Proc. of Usenix Security, 2011.
, ETTM: A Scalable Fault Tolerant Network Manager
Proc. of NSDI, 2011.
, Heat-seeking honeypots: design and experience
Proc. of WWW, 2011.
, Retaining Sandbox Containment Despite Bugs in Privileged Memory-safe Code
Proc. of CCS, 2010.
, Reverse Traceroute
Proc. of NSDI, 2010.
, Searching the searchers using SearchAudit
Proc. of Usenix Security, 2010.
, Resolving IP Aliases with Prespecified Timestamps
Proc. of IMC, 2010.
, Privacy-preserving P2P data sharing with OneSwarm
Proc. of Sigcomm, 2010.
, A Cost Comparison of Datacenter Network Architectures
Proc. of CoNEXT, 2010.
, Contracts: Practical Contribution Incentives for P2P Live Streaming
Proc. of NSDI, 2010.
, Comet: An Active Distributed Key-Value Store
Proc. of OSDI, 2010.
, Seattle: The Internet as a Testbed
Proc. of SIGCSE, 2009.
, Studying Spamming Botnets using Botlab
Proc. of NSDI, 2009.
, Pitfalls for ISP-friendly P2P Design
Proc. of Hotnets, 2009.
, Moving Beyond End-to-End Path Information to Optimize CDN Performance
Proc. of IMC, 2009.
, iPlane Nano: Path Prediction for Peer-to-Peer Applications
Proc. of NSDI, 2009.
, An End to the Middle
Proc. of HotOS, 2009.
, Privacy-Preserving Location Tracking of Lost or Stolen Devices: Cryptographic Techniques and Replacing Trusted Third Parties with DHTs
Proc. of Usenix Security, 2008.
, Studying blackholes in the Internet with Hubble
NSDI, 2008.
, Phalanx: Withstanding multimillion-node botnets
Proc. of NSDI, 2008.
, P4P: Provider Portal for (P2P) Applications
Proc. of Sigcomm, 2008.
, Challenges and Directions for Monitoring P2P File Sharing Networks -or- Why My Printer Received a DMCA Takedown Notice
Proc. of HotSec, 2008.
, Consensus routing: the Internet as a distributed system
Proc. of NSDI, 2008.
, One hop Reputations for Peer to Peer File Sharing Workloads
Proc. of NSDI, 2008.
, Do incentives build robustness in BitTorrent?
Proc. of the 4th USENIX Symp. on Networked Systems Design and Implementation (NSDI), 2007.
, Best student paper award.
Profiling a million user DHT
Proc. of IMC, 2007.
, Leveraging BitTorrent for End Host Measurements
Proc. of PAM, 2007.
, Building BitTyrant and a (More) Strategic BitTorrent Client
;login:, 2007.
, A case for holistic incentive design
Proc. of FuDiCo, 2007.
, Do incentives build robustness in BitTorrent?
Proc. of NSDI, 2007.
, Secure Routing
Network Security and Wiley, 2006.
, Towards IP Geolocation using Delay and Topology Measurements
Proc. of IMC, 2006.
, PCP: Efficient Endpoint Congestion Control
Proc. of NSDI, 2006.
, Optimal Capacity Sharing of Network with Multiple Overlays
Proc. of IWQoS, 2006.
, A Structural Approach to Latency Prediction
Proc. of IMC, 2006.
, iPlane: An Information Plane for Distributed Services
Proc. of OSDI, 2006.
, Oasis: An Overlay-Aware Network Stack
Operating Systems Review, 2006.
, Stable Route Selection for Interdomain Traffic Engineering
IEEE Network, 2005.
, Network Localization in Partially Localizable Networks
Proc. of Infocom, 2005.
, Combining Flexibility and Scalability in a Peer-to-Peer Publish/Subscribe System
Proc. of Middleware, 2005.
, Bridging the digital divide: storage media + postal network = generic high-b/w communication
ACM Transactions on Storage Systems, 2005.
, A Collision Model for Randomized Routing in Fat-Tree Networks
Journal of Parallel and Distributed Computing, 2005.
, Brushwood: Distributed Trees in Peer-to-Peer Systems
Proc. of IPTPS, 2005.
, Overlay Mesh Construction Using Interleaved Spanning Trees
Proc. of Infocom, 2004.
, Segank: A Distributed Mobile Storage System
Proc. of FAST, 2004.
, Turning the Postal System into a Generic Digital Communication Mechanism
Proc. of Sigcomm, 2004.
, Network-Embedded Programmable Storage and Its Applications
Proc. of IFIP Conference on Networking, 2004.
, Managing a Portfolio of Overlay Paths
Proc. of NOSSDAV, 2004.
, A Transport Layer Approach for Improving End-to-End Performance Using Redundant Paths
Proc. of Usenix Annual Technical Conference, 2004.
, Highly Secure and Efficient Routing
Proc. of Infocom, 2004.
, Load Balancing and Locality in Range-Queriable Data Structures
Proc. of PODC, 2004.
, Modeling Hard Disk Power Consumption
Proc. of FAST, 2003.
, Polynomial-time algorithms for enforcing sequential consistency in SPMD programs with arrays
Proc. of Languages and Compilers for Parallel Computing, 2003.
, Hardness results for multicast cost sharing
Theoretical Computer Science, 2003.
, Considering the Energy Consumption of Mobile Storage Alternatives
Proc. of IEEE Symposium on Modeling Analysis and Simulation of Computer Systems, 2003.
, Exploiting Bias in the Hysteresis Bit of 2-bit Saturating Counters in Branch Predictors
Journal of Instruction Level Parallelism, 2003.
, Approximation and Collusion in Multicast Cost Sharing
Games and Economic Behavior, 2003.
, PersonalRAID: Mobile Storage for Distributed and Disconnected Computers
Proc. of FAST, 2002.
, Probabilistic Packet Scheduling: Achieving Proportional Bandwidth Allocation
Proc. of Infocom, 2002.
, Configuring and Scheduling an Eager-Writing Disk Array
Proc. of FAST, 2002.
, Approximation and Collusion in Multicast Cost Sharing
Proc. of ACM Conference on E-Commerce, 2001.
, Trading Capacity for Performance in Disk Array
Proc. of OSDI, 2000.
, Titanium: A High-Performance Java Dialect
Proc. of ACM Workshop on Java for High-Performance Network Computing. Also in Concurrency: Practice and Experience, 1998.
, Modeling Communication Pipeline Latency
Proc. of SIGMETRICS, 1998.
, Evaluation of Architectural Support for Global Address-Based Communication in Large Scale Parallel Machines
Proc. of ASPLOS, 1996.
, Analyses and Optimizations for Shared Address Space Programs
Journal of Parallel and Distributed Computation, 1996.
, Towards Modeling the Performance of a Fast Connected Components Algorithm on Parallel Machines
Proc. of Supercomputing, 1995.
, Portable Parallel Irregular Applications.
Proc. of Workshop on Parallel Symbolic Languages and Systems, 1995.
, Runtime Support for Portable Distributed Data Structures
Proc. of Workshop on Languages Compilers and and Runtime Systems for Scalable Computers, 1995.
, Optimizing Parallel Programs with Explicit Synchronization
Proc. of PLDI, 1995.
, Efficient Parallel Algorithms for Permutation Graphs
Journal of Parallel and Distributed Computing, 1995.
, Empirical Evaluation of the CRAY-T3D: A Compiler Perspective
Proc. of ISCA, 1995.
, Optimizing Parallel SPMD Programs
Proc. of Workshop on Languages and Compilers for Parallel Computing, 1994.
, Connected Components on Distributed Memory Machines
Proc. of Parallel Algorithms Dimacs Series in Discrete Mathematics and Theoretical Computer Science, 1994.
, Data Structures for Irregular Applications
Proc. of DIMACS Workshop on Parallel Algorithms for Unstructured and Dynamic Problems, 1993.
, Parallel Programming in Split-C
Proc. of Supercomputing, 1993.
, Connected domination and Steiner set on Weighted Permutation Graphs
Information Processing Letters, 1993.
,