| 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 | 271 | 2018 |
| 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 | 158 | 2009 |
| 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 | 144 | 2009 |
| 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 | 133 | 2017 |
| 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 | 110 | 2019 |
| 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 | 90 | 2018 |
| Differential Datalog. L Ryzhyk, M Budiu Datalog 2, 4-5, 2019 | 70 | 2019 |
| 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 | 55 | 2017 |
| 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 | 55 | 2013 |
| {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 | 49 | 2014 |
| 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 | 40 | 2017 |
| Predicate abstraction for reactive synthesis A Walker, L Ryzhyk 2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014 | 40 | 2014 |
| The arm architecture L Ryzhyk Chicago University, Illinois, EUA, 2006 | 36 | 2006 |
| 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 | 32 | 2013 |
| 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 | 29 | 2017 |
| Regression-free synthesis for concurrency P Èernı, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach International conference on computer aided verification, 568-584, 2014 | 27 | 2014 |
| 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 | 26 | 2020 |
| 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 | 25 | 2016 |
| 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 | 25 | 2010 |
| 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 | 20 | 2014 |
Nina NarodytskaVMware ResearchVerified email at vmware.com
