Practical and Accurate Low-Level Pointer Analysis. - Bolei Guo; Matthew J. Bridges; Spyridon Triantafyllis; Guilherme Ottoni; Easwaran Raman; David I. August (CGO, 2005)

Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. - Bolei Guo; Youfeng Wu; Cheng Wang 013; Matthew J. Bridges; Guilherme Ottoni; Neil Vachharajani; Jonathan Chang; David I. August (CC, 2006)

Shape analysis with inductive recursion synthesis. - Bolei Guo; Neil Vachharajani; David I. August (PLDI, 2007)