Bolei Guo (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Bolei Guo, Neil Vachharajani, David I. August: Shape analysis with inductive recursion synthesis. PLDI 2007: 256-265

2 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

Selection of 2 from 3 records - Bolei Guo has 9 coauthors

3		Bolei Guo, Neil Vachharajani, David I. August: Shape analysis with inductive recursion synthesis. PLDI 2007: 256-265
2		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