Følg
Leonid Ryzhyk
Leonid Ryzhyk
Feldera
Verifisert e-postadresse på feldera.com - Startside
Tittel
Sitert av
Sitert av
År
Verifying properties of binarized deep neural networks
N Narodytska, S Kasiviswanathan, L Ryzhyk, M Sagiv, T Walsh
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
2832018
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
1542009
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
1442009
System programming in rust: Beyond safety
A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamarić, ...
Proceedings of the 16th workshop on hot topics in operating systems, 156-161, 2017
1382017
Simple and precise static analysis of untrusted linux kernel extensions
E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
1162019
Secure serverless computing using dynamic information flow control
K Alpernas, C Flanagan, S Fouladi, L Ryzhyk, M Sagiv, T Schmitz, ...
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-26, 2018
942018
Differential Datalog.
L Ryzhyk, M Budiu
Datalog 2, 4-5, 2019
712019
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
552013
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, 367-390, 2017
542017
{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
502014
Predicate abstraction for reactive synthesis
A Walker, L Ryzhyk
2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014
422014
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
The arm architecture
L Ryzhyk
Chicago University, Illinois, EUA 1, 2006
372006
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
332013
DBSP: Automatic incremental view maintenance for rich query languages
M Budiu, F McSherry, L Ryzhyk, V Tannen
arXiv preprint arXiv:2203.16684, 2022
312022
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
Formal methods in system design 50, 97-139, 2017
302017
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
292020
Regression-free synthesis for concurrency
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
272014
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
262016
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
252010
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20