Statistics
Publications
3
Citations
167
H-Index
3
Active since
2005
Affiliations
Princeton University(Current)
Bolei Guo is an author at Princeton University specializing in computer science, software analysis, and formal verification.
Publications per year
2005–2007
3
3
Shape analysis with inductive recursion synthesis
Bolei Guo, Neil Vachharajani, David I. August · 2007 · 93 citations
Practical and Accurate Low-Level Pointer Analysis
Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis et al. · 2005 · 59 citations
1–3 of 3