research
∙
11/04/2022
This is not the End: Rethinking Serverless Function Termination
Elastic scaling is one of the central benefits provided by serverless pl...
share
research
∙
07/26/2022
Finding Deep-Learning Compilation Bugs with NNSmith
Deep-learning (DL) compilers such as TVM and TensorRT are increasingly u...
research
∙
07/15/2022
3PO: Programmed Far-Memory Prefetching for Oblivious Applications
Using memory located on remote machines, or far memory, as a swap space ...
research
∙
06/20/2022
Measuring the Effect of Training Data on Deep Learning Predictions via Randomized Experiments
We develop a new, principled algorithm for estimating the contribution o...
research
∙
05/13/2022
Blockaid: Data Access Policy Enforcement for Web Applications
Modern web applications serve large amounts of sensitive user data, acce...
research
∙
06/18/2021
AutoTune: Improving End-to-end Performance and Resource Efficiency for Microservice Applications
Most large web-scale applications are now built by composing collections...
research
∙
06/02/2021
Some Complexity Results for Stateful Network Verification
In modern networks, forwarding of packets often depends on the history o...
research
∙
01/29/2021
Isolation mechanisms for high-speed packet-processing pipelines
Data-plane programmability is now mainstream, both in the form of progra...
research
∙
04/21/2020
How to Train your DNN: The Network Operator Edition
Deep Neural Nets have hit quite a crest, But physical networks are where...
research
∙
03/08/2019
Certifying Safety when Implementing Consensus
Ensuring the correctness of distributed system implementations remains a...
research
∙
06/21/2018
Revisiting Network Support for RDMA
The advent of RoCE (RDMA over Converged Ethernet) has led to a significa...
research
∙
11/02/2017
ThrottleBot - Performance without Insight
Large scale applications are increasingly built by composing sets of mic...
research
∙
08/19/2017
Abstractions for Verifying Isolation Properties in Stateful Networks
Modern networks achieve robustness and scalability by maintaining states...
research
∙
08/19/2017