Ryzhyk, Leonid

1. Verifying Properties of Binarized Deep Neural Networks
   2017/09/19 by Narodytska, Nina, Kasiviswanathan, Shiva Prasad, Ryzhyk, Leonid +2 · 6 citations
   #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
2. DBSP: Automatic Incremental View Maintenance for Rich Query Languages
   2022/03/30 by Budiu, Mihai, McSherry, Frank, Ryzhyk, Leonid +1 · 3 citations
   #Databases (cs.DB) #FOS: Computer and information sciences
3. Secure Serverless Computing Using Dynamic Information Flow Control
   2018/02/25 by Alpernas, Kalev, Flanagan, Cormac, Fouladi, Sadjad +4 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
4. Automating Cluster Management with Weave
   2019/09/06 by Lalith Suresh, João Loff, Suresh, Lalith +17 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)