Bolei Guo

Practical and accurate low-level pointer analysis

Easwaran Raman, Guilherme Ottoni, Matthew J. Bridges, 2005, International Symposium on Code Generation and Optimization.

Shape analysis with inductive recursion synthesis

David I. August, Neil Vachharajani, Bolei Guo, 2007, PLDI '07.

Selective Runtime Memory Disambiguation in a Dynamic Binary Translator

Cheng Wang, Guilherme Ottoni, Matthew J. Bridges, 2006, CC.