Bolei Guo

According to our database, Bolei Guo authored at least 3 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Shape analysis with inductive recursion synthesis.

Bolei Guo, Neil Vachharajani, David I. August

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

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

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Practical and Accurate Low-Level Pointer Analysis.

Bolei Guo, Matthew J. Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I. August

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005