Leonid Ryzhyk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
14
Active years
2007–2022
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | HOTNETS | Full-stack SDN. | Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu |
| 2021 | CLOUD | Cloud-Scale Runtime Verification of Serverless Applications. | Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv |
| 2020 | OSDI | Building Scalable and Flexible Cluster Managers Using Declarative Programming. | Lalith Suresh, Joo Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch |
| 2019 | FMCAD | BDD-Based Algorithms for Packet Classification. | Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc |
| 2019 | HotOS | RedLeaf: Towards An Operating System for Safe and Verified Firmware. | Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev |
| 2019 | HotOS | Synthesizing Cluster Management Code for Distributed Systems. | Lalith Suresh, Joo Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki |
| 2019 | PLDI | 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 |
| 2018 | AAAI | Verifying Properties of Binarized Deep Neural Networks. | Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh |
| 2017 | HotOS | System Programming in Rust: Beyond Safety. | Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk |
| 2017 | NSDI | Correct by Construction Networks Using Stepwise Refinement. | Leonid Ryzhyk, Nikolaj S. Bjrner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese |
| 2016 | CAV | A SAT-Based Counterexample Guided Method for Unbounded Synthesis. | Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2015 | AAAI | SAT-Based Strategy Extraction in Reachability Games. | Niklas En, Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2015 | CAV | 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 |
| 2014 | CAV | Regression-Free Synthesis for Concurrency. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2014 | CAV | Solving Games without Controllable Predecessor. | Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker |
| 2014 | FMCAD | Predicate abstraction for reactive synthesis. | Adam Walker, Leonid Ryzhyk |
| 2014 | OSDI | User-Guided Device Driver Synthesis. | Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij |
| 2013 | CAV | Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |
| 2011 | ASPLOS | Improved device driver reliability through hardware verification reuse. | Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser |
| 2011 | HotOS | What If You Could Actually Trust Your Kernel? | Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski |
| 2010 | CCS | The road to trustworthy systems. | Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk |
| 2010 | SIGCOMM | The case for active device drivers. | Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser |
| 2009 | EuroSys | Dingo: taming device drivers. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
| 2009 | SOSP | Automatic device driver synthesis with termite. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
| 2007 | SOSP | Formalising device driver interfaces. | Leonid Ryzhyk, Ihor Kuz, Gernot Heiser |