Scholar
Kevin Boos
Google Scholar ID: dQ2dKlAAAAAJ
Futurewei, Theseus Systems, Rice University, The University of Texas at Austin
operating systems
safe programming languages
state management
mobile computing
virtualization
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
341
H-index
6
i10-index
6
Publications
18
Co-authors
9
list available
Publications
1 items
Combining Type Checking and Formal Verification for Lightweight OS Correctness
2024
Cited
0
Co-authors
6 total
Lin Zhong
Yale University
Ardalan Amiri Sani
University of California, Irvine
Ramla Ijaz
graduate student, Yale University
Namitha Liyanage
PhD candidate at Yale University | QEC Engineer at Riverlane
Miryung Kim
Professor and Vice Chair of Graduate Studies, UCLA Computer Science
Christine Julien
Professor, Virginia Tech
