Statistics
Publications
3
Citations
70
H-Index
3
Active since
2014
Affiliations
Data61(Current)
Alexander Legg is an author at Data61 specializing in computer science, engineering, and reactive systems.
Publications per year
2014–2016
3
3
User-guided device driver synthesis
Leonid Ryzhyk, Adam K. Walker, John Keys et al. · Operating Systems Design and Implementation · 2014 · 47 citations
1–3 of 3