34 citations · 103 across the 10 of their papers we have counts for
12 papers
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
Mihai Budiu, Frank McSherry, Leonid Ryzhyk +1
Incremental view maintenance has been for a long time a central problem in database theory. Many solutions have been proposed for restricted classes of database languages, such as…
Automating Cluster Management with Weave
Lalith Suresh, Joao Loff, Faria Kalim +7
Modern cluster management systems like Kubernetes and Openstack grapple with hard combinatorial optimization problems: load balancing, placement, scheduling, and configuration. Cur…
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi +4
The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information…
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk +2
Understanding properties of deep neural networks is an important challenge in deep learning. In this paper, we take a step in this direction by proposing a rigorous way of verifyin…
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Leonid Ryzhyk, Adam Walker
We summarise our experience developing and using Termite, the first reactive synthesis tool intended for use by software development practitioners. We identify the main barriers to…
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Swen Jacobs, Roderick Bloem, Romain Brenguier +13
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchm…