Leonid Ryzhyk

According to our database, Leonid Ryzhyk authored at least 40 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen

Proc. VLDB Endow., 2023

2022

DBSP: Automatic Incremental View Maintenance for Rich Query Languages.

Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen

CoRR, 2022

Full-stack SDN.

Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu

Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

2021

Cloud-Scale Runtime Verification of Serverless Applications.

Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

Building Scalable and Flexible Cluster Managers Using Declarative Programming.

Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Automating Cluster Management with Weave.

Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv

CoRR, 2019

Simple and precise static analysis of untrusted Linux kernel extensions.

Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing Cluster Management Code for Distributed Systems.

Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

RedLeaf: Towards An Operating System for Safe and Verified Firmware.

Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

BDD-Based Algorithms for Packet Classification.

Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Differential Datalog.

Leonid Ryzhyk, Mihai Budiu

Proceedings of the Datalog 2.0 2019, 2019

2018

Secure serverless computing using dynamic information flow control.

Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein

Proc. ACM Program. Lang., 2018

Verifying Properties of Binarized Deep Neural Networks.

Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

The first reactive synthesis competition (SYNTCOMP 2014).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., 2017

System Programming in Rust: Beyond Safety.

Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk

ACM SIGOPS Oper. Syst. Rev., 2017

From non-preemptive to preemptive scheduling using synchronization synthesis.

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

Formal Methods Syst. Des., 2017

Correct by Construction Networks Using Stepwise Refinement.

Leonid Ryzhyk, Nikolaj S. Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016

Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned.

Leonid Ryzhyk, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A SAT-Based Counterexample Guided Method for Unbounded Synthesis.

Alexander Legg, Nina Narodytska, Leonid Ryzhyk

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Optimizing Solution Quality in Synchronization Synthesis.

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

CoRR, 2015

SAT-Based Strategy Extraction in Reachability Games.

Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

File systems deserve verification too!

Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser

ACM SIGOPS Oper. Syst. Rev., 2014

Automatic verification of active device drivers.

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu

ACM SIGOPS Oper. Syst. Rev., 2014

User-Guided Device Driver Synthesis.

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Predicate abstraction for reactive synthesis.

Adam Walker, Leonid Ryzhyk

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Solving Games without Controllable Predecessor.

Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Regression-Free Synthesis for Concurrency.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Automatic Verification of Message-Based Device Drivers

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

What If You Could Actually Trust Your Kernel?

Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Improved device driver reliability through hardware verification reuse.

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

Static analysis of device drivers: we can do better!

Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010

The case for active device drivers.

Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser

Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010

Improved Device Driver Reliability Through Verification Reuse.

Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

The road to trustworthy systems.

Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk

Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010

2009

Automatic device driver synthesis with termite.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Dingo: taming device drivers.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2007

Formalising device driver interfaces.

Leonid Ryzhyk, Ihor Kuz, Gernot Heiser

Proceedings of the 4th workshop on Programming languages and operating systems, 2007