Articles with public access mandates - Leonid RyzhykLearn more
Available somewhere: 16
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
Mandates: US National Science Foundation
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
Mandates: US National Science Foundation, US Department of Defense, Natural Sciences …
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
Mandates: US National Science Foundation, US Department of Defense, European Commission
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
Mandates: Austrian Science Fund, Australian Research Council, National Fund for …
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
Mandates: Austrian Science Fund
{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
Mandates: Australian Research Council
Predicate abstraction for reactive synthesis
A Walker, L Ryzhyk
2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014
Mandates: Australian Research Council
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
Mandates: Australian Research Council
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
Mandates: US National Science Foundation, Austrian Science Fund, European Commission
Regression-free synthesis for concurrency
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
Mandates: Austrian Science Fund, Australian Research Council, European Commission
Solving games without controllable predecessor
N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Mandates: Australian Research Council
SAT-based strategy extraction in reachability games
N Eén, A Legg, N Narodytska, L Ryzhyk
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
Mandates: Australian Research Council
A SAT-based counterexample guided method for unbounded synthesis
A Legg, N Narodytska, L Ryzhyk
International Conference on Computer Aided Verification, 364-382, 2016
Mandates: Australian Research Council
RedLeaf: Towards an operating system for safe and verified firmware
V Narayanan, MS Baranowski, L Ryzhyk, Z Rakamarić, A Burtsev
Proceedings of the Workshop on Hot Topics in Operating Systems, 37-44, 2019
Mandates: US National Science Foundation
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
Mandates: Australian Research Council
Synthesizing cluster management code for distributed systems
L Suresh, J Loff, N Narodytska, L Ryzhyk, M Sagiv, B Oki
Proceedings of the Workshop on Hot Topics in Operating Systems, 45-50, 2019
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
Publication and funding information is determined automatically by a computer program