2024
Programmable Host Networking (Dagstuhl Seminar 24291).
Dagstuhl Reports, 2024
Extracting Database Access-control Policies From Web Applications.
CoRR, 2024
A Decidable Case of Query Determinacy: Project-Select Views.
CoRR, 2024
On Scaling Up 3D Gaussian Splatting Training.
CoRR, 2024
An Architecture For Edge Networking Services.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ACM SIGCOMM 2024 Conference, 2024
Incremental Specialization of Network Programs.
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024
Efficient Auditing of Event-driven Web Applications.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024
2023
Can We Save the Public Internet?
Comput. Commun. Rev., October, 2023
Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions.
Proc. VLDB Endow., 2023
Application-Defined Receive Side Dispatching on the NIC.
CoRR, 2023
Bringing Reconfigurability to the Network Stack.
CoRR, 2023
Ensō: A Streaming Interface for NIC-Application Communication.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023
Access Control for Database Applications: Beyond Policy Enforcement.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023
Automatic Kernel Offload Using BPF.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023
Of Apples and Oranges: Fair Comparisons in Heterogenous Systems Evaluation.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023
How I Learned to Stop Worrying About CCA Contention.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023
Logical Memory Pools: Flexible and Local Disaggregated Memory.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023
Disaggregate Applications Along End-Host Data-Path.
Proceedings of the on CoNEXT Student Workshop 2023, 2023
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
2022
CostCO: An automatic cost modeling framework for secure multi-party computation.
IACR Cryptol. ePrint Arch., 2022
This is not the End: Rethinking Serverless Function Termination.
CoRR, 2022
Finding Deep-Learning Compilation Bugs with NNSmith.
CoRR, 2022
3PO: Programmed Far-Memory Prefetching for Oblivious Applications.
CoRR, 2022
Blockaid: Data Access Policy Enforcement for Web Applications.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
Isolation Mechanisms for High-Speed Packet-Processing Pipelines.
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022
Measuring the Effect of Training Data on Deep Learning Predictions via Randomized Experiments.
Proceedings of the International Conference on Machine Learning, 2022
The case for an internet primitive for fault localization.
Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022
2021
Cerebro: A Platform for Multi-Party Cryptographic Collaborative Learning.
IACR Cryptol. ePrint Arch., 2021
AutoTune: Improving End-to-end Performance and Resource Efficiency for Microservice Applications.
CoRR, 2021
Isolation mechanisms for packet-processing pipelines.
CoRR, 2021
Revitalizing the public internet by making it extensible.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Comput. Commun. Rev., 2021
We need kernel interposition over the network dataplane.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021
Cloud-Scale Runtime Verification of Serverless Applications.
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021
2020
How to Train your DNN: The Network Operator Edition.
CoRR, 2020
EGGS: Sparsity-Specific Code Generation.
Comput. Graph. Forum, 2020
Network architecture in the age of programmability.
Comput. Commun. Rev., 2020
A Public Option for the Core.
Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020
Bertha: Tunneling through the Network API.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020
Multitenancy for Fast and Programmable Networks in the Cloud.
Proceedings of the 12th USENIX Workshop on Hot Topics in Cloud Computing, 2020
Can far memory improve job throughput?
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020
Kappa: a programming framework for serverless computing.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020
Making edge-computing resilient.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020
2019
Some complexity results for stateful network verification.
Formal Methods Syst. Des., 2019
Certifying Safety when Implementing Consensus.
CoRR, 2019
Thoughts on load distribution and the role of programmable switches.
Comput. Commun. Rev., 2019
Enabling a permanent revolution in internet architecture.
Proceedings of the ACM Special Interest Group on Data Communication, 2019
2018
Revisiting network support for RDMA.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018
Open Carrier Interface: An Open Source Edge Computing Framework.
Proceedings of the 2018 Workshop on Networking for Emerging Applications and Technologies, 2018
CESSNA: Resilient Edge-Computing.
Proceedings of the 2018 Workshop on Mobile Edge Communications, 2018
Abstract Interpretation of Stateful Networks.
Proceedings of the Static Analysis - 25th International Symposium, 2018
ResQ: Enabling SLOs in Network Function Virtualization.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018
Monarch: Gaining Command on Geo-Distributed Graph Analytics.
Proceedings of the 10th USENIX Workshop on Hot Topics in Cloud Computing, 2018
Bridging the GAP: towards approximate graph analytics.
Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), 2018
Preserving Privacy at IXPs.
Proceedings of the 2nd Asia-Pacific Workshop on Networking, 2018
2017
A New Approach to Network Function Virtualization.
PhD thesis, 2017
System Programming in Rust: Beyond Safety.
ACM SIGOPS Oper. Syst. Rev., 2017
ThrottleBot - Performance without Insight.
CoRR, 2017
Modular Safety Verification for Stateful Networks.
CoRR, 2017
Drizzle: Fast and Adaptable Stream Processing at Scale.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
A High Performance Packet Core for Next Generation Cellular Networks.
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017
SCL: Simplifying Distributed SDN Control Planes.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017
Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017
Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017
2016
Open Network Interfaces for Carrier Networks.
Comput. Commun. Rev., 2016
Recursive SDN for Carrier Networks.
Comput. Commun. Rev., 2016
SoftFlow: A Middlebox Architecture for Open vSwitch.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
Ivy: safety verification by interactive generalization.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
NetBricks: Taking the V out of NFV.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
Minimizing Faulty Executions of Distributed Systems.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016
The quest for resilient (static) forwarding tables.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016
2015
E2: a framework for NFV applications.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015
New Directions for Network Verification.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
Rollback-Recovery for Middleboxes.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015
Route Bazaar: Automatic Interdomain Contract Negotiation.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015
2014
Verifying Isolation Properties in the Presence of Middleboxes.
CoRR, 2014
Exploring the Limits of Static Failover Routing.
CoRR, 2014
Troubleshooting blackbox SDN control software with minimal causal sequences.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ACM SIGCOMM 2014 Conference, 2014
The Power of Choice in Data-Aware Cluster Scheduling.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
PRAN: Programmable Radio Access Networks.
Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014
2013
HW Databases, Where art Thou?
Adv. Math. Commun., 2013
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013
Ensuring Connectivity via Data Plane Mechanisms.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013
The Case for Tiny Tasks in Compute Clusters.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
Network support for resource disaggregation in next-generation datacenters.
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013
BlinkDB: queries with bounded errors and bounded response times on very large data.
Proceedings of the Eighth Eurosys Conference 2013, 2013
2012
Blink and It's Done: Interactive Queries on Very Large Data.
Proc. VLDB Endow., 2012
On the Resilience of Routing Tables
CoRR, 2012
BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data
CoRR, 2012
Brief announcement: on the resilience of routing tables.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
A new approach to interdomain routing based on secure multi-party computation.
Proceedings of the 11th ACM Workshop on Hot Topics in Networks, 2012
2008
Model Restarts for Structural Symmetry Breaking.
Proceedings of the Principles and Practice of Constraint Programming, 2008