Conference and journal publications
| Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, Val Tannen
DBSP: Incremental Computation on Streams and Its Applications to Databases (SIGMOD research highlight award)
[PDF]
|
2024 SIGMOD Research Highlights
|
| 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
|
|
