Formalising device driver interfaces. - Leonid Ryzhyk; Ihor Kuz; Gernot Heiser (PLOS@SOSP, 2007)

Dingo: taming device drivers. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Gernot Heiser (EuroSys, 2009)

Automatic device driver synthesis with termite. - Leonid Ryzhyk; Peter Chubb; Ihor Kuz; Etienne Le Sueur; Gernot Heiser (SOSP, 2009)

On the construction of reliable device drivers. - Leonid Ryzhyk (2009)

The road to trustworthy systems. - Gernot Heiser; June Andronick; Kevin Elphinstone; Gerwin Klein; Ihor Kuz; Leonid Ryzhyk (STC@CCS, 2010)

Improved Device Driver Reliability Through Verification Reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (HotDep, 2010)

The case for active device drivers. - Leonid Ryzhyk; Yanjin Zhu; Gernot Heiser (ApSys, 2010)

Static analysis of device drivers: we can do better! - Sidney Amani; Leonid Ryzhyk; Alastair F. Donaldson; Gernot Heiser; Alexander Legg; Yanjin Zhu (APSys, 2011)

Improved device driver reliability through hardware verification reuse. - Leonid Ryzhyk; John Keys; Balachandra Mirla; Arun Raghunath; Mona Vij; Gernot Heiser (ASPLOS, 2011)

What If You Could Actually Trust Your Kernel? - Gernot Heiser; Leonid Ryzhyk; Michael von Tessin; Aleksander Budzynowski (HotOS, 2011)

Automatic Verification of Message-Based Device Drivers - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Leonid Ryzhyk; Yanjin Zhu (SSV, 2012)

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Thorsten Tarrach (CAV, 2013)

Regression-Free Synthesis for Concurrency. - Pavol Cerný; Thomas A. Henzinger; Arjun Radhakrishna; Leonid Ryzhyk; Thorsten Tarrach (CAV, 2014)

Solving Games without Controllable Predecessor. - Nina Narodytska; Alexander Legg; Fahiem Bacchus; Leonid Ryzhyk; Adam Walker (CAV, 2014)

Predicate abstraction for reactive synthesis. - Adam Walker; Leonid Ryzhyk (FMCAD, 2014)

User-Guided Device Driver Synthesis. - Leonid Ryzhyk; Adam Walker; John Keys; Alexander Legg; Arun Raghunath; Michael Stumm; Mona Vij (OSDI, 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)

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)

SAT-Based Strategy Extraction in Reachability Games. - Niklas Eén; Alexander Legg; Nina Narodytska; Leonid Ryzhyk (AAAI, 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)

The Second Reactive Synthesis Competition (SYNTCOMP 2015). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker (SYNT, 2015)

A SAT-Based Counterexample Guided Method for Unbounded Synthesis. - Alexander Legg; Nina Narodytska; Leonid Ryzhyk (CAV (2), 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. - Leonid Ryzhyk; Adam Walker (SYNT@CAV, 2016)

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 (NSDI, 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)

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)

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 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

Verifying Properties of Binarized Deep Neural Networks. - Nina Narodytska; Shiva Prasad Kasiviswanathan; Leonid Ryzhyk; Mooly Sagiv; Toby Walsh (AAAI, 2018)

Secure serverless computing using dynamic information flow control. - Kalev Alpernas; Cormac Flanagan; Sadjad Fouladi; Leonid Ryzhyk; Mooly Sagiv; Thomas Schmitz 001; Keith Winstein (Proc. ACM Program. Lang., 2018)

Differential Datalog. - Leonid Ryzhyk; Mihai Budiu (Datalog, 2019)

BDD-Based Algorithms for Packet Classification. - Nina Narodytska; Leonid Ryzhyk; Igor Ganichev; Soner Sevinc (FMCAD, 2019)

RedLeaf: Towards An Operating System for Safe and Verified Firmware. - Vikram Narayanan; Marek S. Baranowski; Leonid Ryzhyk; Zvonimir Rakamaric; Anton Burtsev (HotOS, 2019)

Synthesizing Cluster Management Code for Distributed Systems. - Lalith Suresh 001; João Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki (HotOS, 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 (PLDI, 2019)

Automating Cluster Management with Weave. - Lalith Suresh 001; João Loff; Faria Kalim; Nina Narodytska; Leonid Ryzhyk; Sahan Gamage; Brian Oki; Zeeshan Lokhandwala; Mukesh Hira; Mooly Sagiv (CoRR, 2019)

Building Scalable and Flexible Cluster Managers Using Declarative Programming. - Lalith Suresh 001; João Loff; Faria Kalim; Sangeetha Abdu Jyothi; Nina Narodytska; Leonid Ryzhyk; Sahan Gamage; Brian Oki; Pranshu Jain; Michael Gasch (OSDI, 2020)

Cloud-Scale Runtime Verification of Serverless Applications. - Kalev Alpernas; Aurojit Panda; Leonid Ryzhyk; Mooly Sagiv (SoCC, 2021)

Full-stack SDN. - Debnil Sur; Ben Pfaff; Leonid Ryzhyk; Mihai Budiu (HotNets, 2022)

DBSP: Automatic Incremental View Maintenance for Rich Query Languages. - Mihai Budiu; Frank McSherry; Leonid Ryzhyk; Val Tannen (CoRR, 2022)

DBSP: Automatic Incremental View Maintenance for Rich Query Languages. - Mihai Budiu; Tej Chajed; Frank McSherry; Leonid Ryzhyk; Val Tannen (Proc. VLDB Endow., 2023)

DBSP: Incremental Computation on Streams and Its Applications to Databases. - Mihai Budiu; Tej Chajed; Frank McSherry; Leonid Ryzhyk; Val Tannen (SIGMOD Rec., 2024)

DBSP: automatic incremental view maintenance for rich query languages. - Mihai Budiu; Leonid Ryzhyk; Gerd Zellweger; Ben Pfaff; Lalith Suresh 001; Simon Kassing; Abhinav Gyawali; Matei Budiu; Tej Chajed; Frank McSherry; Val Tannen (VLDB J., 2025)