Leonid Ryzhyk

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 24

Top Topics

Information Flow Control

Preemptive Scheduling

Declarative Programming

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Incremental Computation on Streams and Its Applications to Databases. SIGMOD Rec. 53 (1) (2024)
Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. Proc. VLDB Endow. 16 (7) (2023)
Mihai Budiu, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Automatic Incremental View Maintenance for Rich Query Languages. CoRR (2022)
Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu
Full-stack SDN. HotNets (2022)
Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv
Cloud-Scale Runtime Verification of Serverless Applications. SoCC (2021)
Lalith Suresh, João Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch
Building Scalable and Flexible Cluster Managers Using Declarative Programming. OSDI (2020)
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc
BDD-Based Algorithms for Packet Classification. FMCAD (2019)
Leonid Ryzhyk, Mihai Budiu
Differential Datalog. Datalog (2019)
Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki
Synthesizing Cluster Management Code for Distributed Systems. HotOS (2019)
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv
Simple and precise static analysis of untrusted Linux kernel extensions. PLDI (2019)
Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev
RedLeaf: Towards An Operating System for Safe and Verified Firmware. HotOS (2019)
Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv
Automating Cluster Management with Weave. CoRR (2019)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure serverless computing using dynamic information flow control. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein
Secure Serverless Computing Using Dynamic Information Flow Control. CoRR (2018)
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
Verifying Properties of Binarized Deep Neural Networks. AAAI (2018)
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
Verifying Properties of Binarized Deep Neural Networks. CoRR (2017)
Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese
Correct by Construction Networks Using Stepwise Refinement. NSDI (2017)
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety. HotOS (2017)
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk
System Programming in Rust: Beyond Safety. ACM SIGOPS Oper. Syst. Rev. 51 (1) (2017)
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
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50 (2-3) (2017)
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
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Leonid Ryzhyk, Adam Walker
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. SYNT@CAV (2016)
Alexander Legg, Nina Narodytska, Leonid Ryzhyk
A SAT-Based Counterexample Guided Method for Unbounded Synthesis. CAV (2) (2016)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. CoRR (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
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
Optimizing Solution Quality in Synchronization Synthesis. CoRR (2015)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. CAV (2) (2015)
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
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR (2015)
Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk
SAT-Based Strategy Extraction in Reachability Games. AAAI (2015)
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
Solving Games without Controllable Predecessor. CAV (2014)
Adam Walker, Leonid Ryzhyk
Predicate abstraction for reactive synthesis. FMCAD (2014)
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
User-Guided Device Driver Synthesis. OSDI (2014)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-Free Synthesis for Concurrency. CAV (2014)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu
Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Regression-free Synthesis for Concurrency. CoRR (2014)
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. CAV (2013)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! PLOS@SOSP (2013)
Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu
Automatic Verification of Message-Based Device Drivers SSV (2012)
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski
What If You Could Actually Trust Your Kernel? HotOS (2011)
Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu
Static analysis of device drivers: we can do better! APSys (2011)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved device driver reliability through hardware verification reuse. ASPLOS (2011)
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser
Improved Device Driver Reliability Through Verification Reuse. HotDep (2010)
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk
The road to trustworthy systems. STC@CCS (2010)
Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser
The case for active device drivers. ApSys (2010)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser
Automatic device driver synthesis with termite. SOSP (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser
Dingo: taming device drivers. EuroSys (2009)
Leonid Ryzhyk, Ihor Kuz, Gernot Heiser
Formalising device driver interfaces. PLOS@SOSP (2007)