Leonid Ryzhyk

Citada per

	Totes	Des de 2020
Citacions	1744	1024
Índex h	21	17
Índex i10	31	18

260

130

195

2009201020112012201320142015201620172018201920202021202220232024202522 26 30 35 58 45 85 127 69 114 94 169 192 189 247 200 27

Accés públic

Mostra-ho tot

16 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Nina NarodytskaVMware ResearchCorreu electrònic verificat a vmware.com
Gernot HeiserProfessor of Computer Science, University of New South WalesCorreu electrònic verificat a unsw.edu.au
Mooly SagivTel Aviv UniversityCorreu electrònic verificat a acm.org
Adam WalkerNICTA/UNSWCorreu electrònic verificat a nicta.com.au
Ihor KuzPrincipal OS Engineer, Kry10 LtdCorreu electrònic verificat a ikuz.org
Peter ChubbUNSW, SydneyCorreu electrònic verificat a unsw.edu.au
Pavol CernyProfessor, TU WienCorreu electrònic verificat a tuwien.ac.at
Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
Thorsten TarrachAmazon Web ServicesCorreu electrònic verificat a amazon.com
Arjun RadhakrishnaMicrosoftCorreu electrònic verificat a microsoft.com
Aurojit PandaNYUCorreu electrònic verificat a cs.nyu.edu
Anton BurtsevAssistant Professor, University of UtahCorreu electrònic verificat a utah.edu
Zvonimir RakamaricAmazon Web Services (AWS)Correu electrònic verificat a amazon.com
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusCorreu electrònic verificat a cispa.saarland
Leander TentrupSaarland University, Saarland Informatics CampusCorreu electrònic verificat a cs.uni-saarland.de
Robert KönighoferGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Correu electrònic verificat a ulb.ac.be
Ocan SankurCNRS, Université de RennesCorreu electrònic verificat a cnrs.fr
Martina SeidlUniv.-Prof., JKU LinzCorreu electrònic verificat a jku.at

Segueix

Leonid Ryzhyk

Feldera

Correu electrònic verificat a feldera.com - Pàgina d'inici

Operating Systems Networking Formal Methods Programming Languages


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	283	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	154	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	138	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	115	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	94	2018
Differential Datalog. L Ryzhyk, M Budiu Datalog 2, 4-5, 2019	71	2019
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
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	54	2017
{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	50	2014
Predicate abstraction for reactive synthesis A Walker, L Ryzhyk 2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014	42	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
The arm architecture L Ryzhyk Chicago University, Illinois, EUA 1, 2006	37	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	33	2013
DBSP: Automatic incremental view maintenance for rich query languages M Budiu, F McSherry, L Ryzhyk, V Tannen arXiv preprint arXiv:2203.16684, 2022	30	2022
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	30	2017
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	29	2020
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
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	26	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

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors