Statistics
Publications
5
Citations
121
H-Index
5
Active since
1999
Affiliations
Arun Raghunath is an author at Data61 specializing in computer engineering, computer science, and device drivers.
Publications per year
1999–2014
5
5
User-guided device driver synthesis
Leonid Ryzhyk, Adam K. Walker, John Keys et al. · Operating Systems Design and Implementation · 2014 · 47 citations
Improved device driver reliability through hardware verification reuse
Leonid Ryzhyk, John Keys, Balachandra Mirla et al. · 2011 · 11 citations
1–5 of 5