Leonid Ryzhyk
Leonid Ryzhyk
VMware Research
Verified email at vmware.com - Homepage
TitleCited byYear
Dingo: Taming device drivers
L Ryzhyk, P Chubb, I Kuz, G Heiser
Proceedings of the 4th ACM European conference on Computer systems, 275-288, 2009
1222009
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
1082009
Verifying properties of binarized deep neural networks
N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
432018
Efficient synthesis for concurrency by semantics-preserving transformations
P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International Conference on Computer Aided Verification, 951-967, 2013
352013
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 …, 2014
282014
File systems deserve verification too!
G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, ...
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
252013
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19 (3), 367-390, 2017
222017
System programming in Rust: Beyond safety
A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamari, ...
ACM SIGOPS Operating Systems Review 51 (1), 94-99, 2017
212017
Regression-free synthesis for concurrency
P Černı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
192014
Predicate abstraction for reactive synthesis
A Walker, L Ryzhyk
2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014
182014
The second reactive synthesis competition (SYNTCOMP 2015)
S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ...
arXiv preprint arXiv:1602.01171, 2016
172016
The case for active device drivers
L Ryzhyk, Y Zhu, G Heiser
Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 25-30, 2010
172010
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 …, 2017
152017
Solving games without controllable predecessor
N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker
International Conference on Computer Aided Verification, 533-540, 2014
152014
The ARM Architecture
L Ryzhyk
Chicago University, Illinois, EUA, 2006
152006
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results
S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ...
arXiv preprint arXiv:1609.00507, 2016
142016
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černı, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
International Conference on Computer Aided Verification, 180-197, 2015
142015
Improved device driver reliability through hardware verification reuse
L Ryzhyk, J Keys, B Mirla, A Raghunath, M Vij, G Heiser
ACM SIGARCH Computer Architecture News 39 (1), 133-144, 2011
13*2011
The road to trustworthy systems
G Heiser, J Andronick, K Elphinstone, G Klein, I Kuz, L Ryzhyk
Proceedings of the fifth ACM workshop on Scalable trusted computing, 3-10, 2010
122010
Static analysis of device drivers: we can do better!
S Amani, L Ryzhyk, AF Donaldson, G Heiser, A Legg, Y Zhu
Proceedings of the Second Asia-Pacific Workshop on Systems, 8, 2011
102011
The system can't perform the operation now. Try again later.
Articles 1–20