Bolei Guo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2007
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | PLDI | Shape analysis with inductive recursion synthesis. | Bolei Guo, Neil Vachharajani, David I. August |
| 2006 | CC | Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. | Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August |
| 2005 | CGO | Practical and Accurate Low-Level Pointer Analysis. | Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August |