Leonid Ryzhyk

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