Statistics
Publications
1
Citations
54
H-Index
1
Active since
2017
Affiliations
Google (United States)(Current)
Alex Konradi is an author at Google (United States) specializing in computer systems, computing, and computer science.
Publications per year
2017–2017
1
1
Verifying a high-performance crash-safe file system using a tree specification
Haogang Chen, Tej Chajed, Alex Konradi et al. · 2017 · 54 citations · Full text
1–1 of 1