Concepedia

Leonid Ryzhyk

LR

Statistics

Publications

19

Citations

672

H-Index

15

Active since

2009

Affiliations

Data61(Current)

Samsung (United States)

University of Toronto

Carnegie Mellon University

Leonid Ryzhyk is an author at Data61 specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationSystem SoftwareProgram AnalysisSystems EngineeringFormal MethodsSoftware AnalysisSoftware EngineeringComputer Engineering

Publications per year

2009–2023

19

Publications

19

Automatic device driver synthesis with termite

Leonid Ryzhyk, Peter Chubb, Ihor Kuz et al. · 2009 · 107 citations

Engineering, Software Engineering, Advanced Driver-assistance System +18

Leonid Ryzhyk, Peter Chubb, Ihor Kuz et al. · 2009 · 97 citations

Device Drivers, Operating Systems, Engineering +15

Simple and precise static analysis of untrusted Linux kernel extensions

Elazar Gershuni, Nadav Amit, Arie Gurfinkel et al. · 2019 · 86 citations · Full text

Internet Traffic Analysis, Engineering, Information Security +22

System Programming in Rust

Abhiram Balasubramanian, Marek Baranowski, Aurojit Panda et al. · 2017 · 53 citations

Software Maintenance, Engineering, System Programming +21

User-guided device driver synthesis

Leonid Ryzhyk, Adam K. Walker, John Keys et al. · Operating Systems Design and Implementation · 2014 · 44 citations

Hardware Device Specifications, Engineering, Hardware Verification Language +21

1–5 of 19