| 2007 |
|---|
| 3 | EE | Bolei Guo,
Neil Vachharajani,
David I. August:
Shape analysis with inductive recursion synthesis.
PLDI 2007: 256-265 |
| 2006 |
|---|
| 2 | EE | 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: 65-79 |
| 2005 |
|---|
| 1 | EE | Bolei Guo,
Matthew J. Bridges,
Spyridon Triantafyllis,
Guilherme Ottoni,
Easwaran Raman,
David I. August:
Practical and Accurate Low-Level Pointer Analysis.
CGO 2005: 291-302 |
