research
∙
03/30/2022
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
Incremental view maintenance has been for a long time a central problem ...
share
research
∙
09/06/2019
Automating Cluster Management with Weave
Modern cluster management systems like Kubernetes and Openstack grapple ...
research
∙
02/25/2018
Secure Serverless Computing Using Dynamic Information Flow Control
The rise of serverless computing provides an opportunity to rethink clou...
research
∙
09/19/2017
Verifying Properties of Binarized Deep Neural Networks
Understanding properties of deep neural networks is an important challen...
research
∙
11/27/2012
