photo  

Leonid Ryzhyk

Co-Founder, CTO @ Feldera
leonid@feldera.com

Research

Before starting Feldera, I got my PhD from the University of New South Wales and NICTA, worked as researcher at NICTA (2009-2013), a postdoc at the University of Toronto (2013-2014) and at the Carnegie Mellon University (2014-2015), and a researcher at Samsung Research America and VMware Research. The main theme of my work is applying formal methods to build better operating systems, networks, and databases.

I have worked on the following projects:

  • Feldera: A continuous analytics platform
  • DBSP: A framework for streaming and incremental computation
  • DDlog: A differential programming language
  • Nerpa: An SDN programming language
  • Cocoon: Correct by construction networking
  • Termite: Automatic device driver synthesis
  • Liss: Synchronization synthesis for systems code
  • Bilby: Automatic verification and synthesis of file systems
  • Dingo: A reliable device driver framework

Conference and journal publications

Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen DBSP: Automatic Incremental View Maintenance for Rich Query Languages (best research paper award) [PDF] VLDB'2023
Kalev Alpernas, Aurojit Panda, Leonid Ryzhyk, Mooly Sagiv Cloud-Scale Runtime Verification of Serverless Applications [PDF] SoCC'2021
Lalith Suresh, Joao Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, and Michael Gasch Building Scalable and Flexible Cluster Managers Using Declarative Programming [PDF] OSDI'20
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc BDD-Based Algorithms for Packet Classification [PDF] FMCAD'19
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 [PDF] PLDI'19
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith WinsteinSecure Serverless Computing Using Dynamic Information Flow Control [PDF] OOPSLA'18
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Neural Networks [PDF] AAAI'18
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamarić, Leonid Ryzhyk System Programming in Rust: Beyond Safety [PDF] OSR'18
Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, and George Varghese Correct by Construction Networks using Stepwise Refinement [PDF] NSDI'17
Pavol Cerny, Edmund Clarke, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis [PDF] FMSD'16
Alexander Legg, Nina Narodytska, Leonid Ryzhyk A SAT-Based Counterexample Guided Method for Unbounded Synthesis [PDF] CAV'16
Pavol Cerny, Edmund Clarke, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis [PDF][Technical report] CAV'15
Niklas Een, Alexander Legg, Nina Narodytska, and Leonid Ryzhyk SAT-based Strategy Extraction in Reachability Games [PDF] AAAI'15
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, and Mona Vij User-Guided Device Driver Synthesis [PDF] OSDI'14
Adam Walker and Leonid Ryzhyk Predicate Abstraction for Reactive Synthesis [PDF][Technical report] FMCAD'14
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach Regression-Free Synthesis for Concurrency [PDF] CAV'14
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, and Adam Walker Solving Games without Controllable Predecessor [PDF] CAV'14
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk and Yanjin Zhu Automatic Verification of Active Device Drivers ACM SIGOPS Operating Systems Review, Volume 48 Issue 1, January 2014 [PDF] OSR
Mona Vij, John Keys, Arun Raghunath, Scott Hahn, Vincent Zimmer, Leonid Ryzhyk, Adam Walker and Alexander Legg Device Driver Synthesis Intel Technology Journal, Volume 17, Issue 2 December 2013 [PDF] Intel Tech J
Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach Efficient Synthesis for Concurrency using Semantics-Preserving Transformations [PDF] CAV'13
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu Automatic Verification of Message-Based Device Drivers [PDF] SSV'12
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser Improved Device Driver Reliability through Hardware Verification Reuse [PDF] ASPLOS'11
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic Device Driver Synthesis with Termite [PDF] SOSP'09,
Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming Device Drivers [PDF] EuroSys'09,

Other publications

Lalith Suresh, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira Automating Cluster Management with Weave [PDF] CoRR
Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev RedLeaf: Towards An Operating System for Safe and Verified Firmware [PDF] HotOS'19
Lalith Suresh, Joao Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki Synthesizing cluster management code for distributed systems [PDF] HotOS'19
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamarić, Leonid Ryzhyk System Programming in Rust: Beyond Safety [PDF] HotOS'17
Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Nina Narodytska, Cole Schlesinger, Douglas B. Terry, and George Varghese Towards Correct-by-Construction SDN [PDF] NetPL'16
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 Third Reactive Synthesis Competition (SYNTCOMP 2016) [PDF] SYNTCOMP'16
Leonid Ryzhyk, Adam Walker Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned [PDF] SYNT'16
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, and Adam Walker The Second Reactive Synthesis Competition (SYNTCOMP 2015) [PDF] SYNTCOMP'15
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, and Adam Walker The First Reactive Synthesis Competition (SYNTCOMP 2014) [PDF] SYNTCOMP 2014
Gabi Keller, Toby Murray, Sidney Amani, Liam O'Connor-Davis, Zilin Chen, Leonid Ryzhyk, Gerwin Klein and Gernot Heiser File systems deserve verification too! [PDF] PLOS'13
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu Active Device Drivers [PDF] NICTA TR
Sidney Amani, Leonid Ryzhyk, Alastair Donaldson, Gernot Heiser, Alexander Legg and Yanjin Zhu Static analysis of device drivers: we can do better! ApSys'11
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski What if you could actually Trust your kernel? [PDF] HotOS'11
Leonid Ryzhyk On the Construction of Reliable Device Drivers [PDF] PhD thesis,
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz and Leonid Ryzhyk The Road to Trustworthy Systems [PDF] STC'10
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser Improved Device Driver Reliability through Verification Reuse [PDF] HotDep'10
Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser The Case for Active Device Drivers [PDF] ApSys'10
Leonid Ryzhyk, Ihor Kuz and Gernot Heiser Formalising device driver interfaces [PDF] PLOS'07,
Leonid Ryzhyk, Timothy Bourke and Ihor Kuz Reliable device drivers require well-defined protocols [PDF] HotDep'07,
Leonid Ryzhyk and Ihor Kuz Towards operating system support for application-specific fault-tolerance protocols [PDF] WOSSA'06