Bolei Guo

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Bolei Guo, Neil Vachharajani, David I. August
Shape analysis with inductive recursion synthesis. PLDI (2007)
Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. CC (2006)
Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August
Practical and Accurate Low-Level Pointer Analysis. CGO (2005)