Statistics
Publications
3
Citations
153
H-Index
3
Active since
2014
Affiliations
University of Washington(Current)
Stuart Pernsteiner is an author at University of Washington specializing in computing, computer science, and formal methods.
Publications per year
2014–2018
3
3
Collaborative Verification of Information Flow for a High-Assurance App Store
Michael D. Ernst, René Just, Suzanne Millstein et al. · 2014 · 77 citations
Crust: A Bounded Verifier for Rust (N)
John Toman, Stuart Pernsteiner, Emina Torlak · 2015 · 42 citations
Œuf: minimizing the Coq extraction TCB
Eric Mullen, Stuart Pernsteiner, James R. Wilcox et al. · 2018 · 34 citations
1–3 of 3