Statistics
Publications
22
Citations
909
H-Index
16
Active since
2009
Leonid Ryzhyk is an author at Data61 specializing in computer science, computing, and computer systems.
Publications per year
2009–2023
22
22
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk et al. · 2018 · 192 citations · Full text
Automatic device driver synthesis with termite
Leonid Ryzhyk, Peter Chubb, Ihor Kuz et al. · 2009 · 108 citations
Leonid Ryzhyk, Peter Chubb, Ihor Kuz et al. · 2009 · 100 citations
Simple and precise static analysis of untrusted Linux kernel extensions
Elazar Gershuni, Nadav Amit, Arie Gurfinkel et al. · 2019 · 87 citations · Full text
Abhiram Balasubramanian, Marek Baranowski, Aurojit Panda et al. · 2017 · 55 citations
1–5 of 22