Follow
Leonid Ryzhyk
Leonid Ryzhyk
Feldera
Verified email at feldera.com - Homepage
Title
Cited by
Cited by
Year
{User-Guided} Device Driver Synthesis
L Ryzhyk, A Walker, J Keys, A Legg, A Raghunath, M Stumm, M Vij
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
492014
A SAT-based counterexample guided method for unbounded synthesis
A Legg, N Narodytska, L Ryzhyk
International Conference on Computer Aided Verification, 364-382, 2016
122016
Active Device Drivers
S Amani, P Chubb, A Donaldson, A Legg, L Ryzhyk, Y Zhu
NICTA Technical Report, NICTA. http://www. cse. unsw. edu. au/~ leonidr …, 2012
12012
Architectural design of E1 distributed operating system
LB Ryzhyk, AY Burtsev
Навчально-науковий комплекс" Інститут прикладного системного аналізу" НТУУ …, 2005
12005
ARM processors overview
L Ryzhyk
Automatic Device Driver Synthesis
L Ryzhyk
Automatic device driver synthesis with Termite
L Ryzhyk, P Chubb, I Kuz, E Le Sueur, G Heiser
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
1562009
Automatic Synthesis of High-Assurance Device Drivers
G HEISER, L RYZHYK, M STUMM, P CERNY, AF DONALDSON
Automatic verification of active device drivers
S Amani, P Chubb, AF Donaldson, A Legg, KC Ong, L Ryzhyk, Y Zhu
ACM SIGOPS Operating Systems Review 48 (1), 106-118, 2014
82014
Automatic verification of message-based device drivers
S Amani, P Chubb, AF Donaldson, A Legg, L Ryzhyk, Y Zhu
arXiv preprint arXiv:1211.6185, 2012
42012
Automating cluster management with weave
L Suresh, J Loff, F Kalim, N Narodytska, L Ryzhyk, S Gamage, B Oki, ...
arXiv preprint arXiv:1909.03130, 2019
62019
BDD-based algorithms for packet classification
N Narodytska, L Ryzhyk, I Ganichev, S Sevinc
2019 Formal Methods in Computer Aided Design (FMCAD), 64-68, 2019
62019
Building scalable and flexible cluster managers using declarative programming
L Suresh, J Loff, F Kalim, SA Jyothi, N Narodytska, L Ryzhyk, S Gamage, ...
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
232020
Cloud-scale runtime verification of serverless applications
K Alpernas, A Panda, L Ryzhyk, M Sagiv
Proceedings of the ACM Symposium on Cloud Computing, 92-107, 2021
152021
Co-design of a testbench and driver of a device
L Ryzhyk, G Heiser
US Patent 9,576,090, 2017
2017
Correct by construction networks using stepwise refinement
L Ryzhyk, N Bjørner, M Canini, JB Jeannin, C Schlesinger, DB Terry, ...
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017
402017
DBSP: Automatic incremental view maintenance for rich query languages
M Budiu, F McSherry, L Ryzhyk, V Tannen
arXiv preprint arXiv:2203.16684, 2022
172022
DBSP: Incremental Computation on Streams and Its Applications to Databases
M Budiu, T Chajed, F McSherry, L Ryzhyk, V Tannen
ACM SIGMOD Record 53 (1), 87-95, 2024
2024
Developing a practical reactive synthesis tool: Experience and lessons learned
L Ryzhyk, A Walker
arXiv preprint arXiv:1611.07624, 2016
162016
Device Driver Synthesis
M Vij, J Keys, A Raghunath, S Hahn, V Zimmer, L Ryzhyk
Intel® Technology Journal 17 (2), 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20