| 2015 | OOPSLA | RAIVE: runtime assessment of floating-point instability by vectorization. | Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta |
| 2013 | OOPSLA | On-the-fly detection of instability problems in floating-point program execution. | Tao Bao, Xiangyu Zhang |
| 2013 | SC | Semi-automatic restructuring of offloadable tasks for many-core accelerators. | Nishkam Ravi, Yi Yang, Tao Bao, Srimat T. Chakradhar |
| 2012 | ICS | Apricot: an optimizing compiler and productivity tool for x86-compatible many-core coprocessors. | Nishkam Ravi, Yi Yang, Tao Bao, Srimat T. Chakradhar |
| 2012 | OOPSLA | White box sampling in uncertain data processing enabled by program analysis. | Tao Bao, Yunhui Zheng, Xiangyu Zhang |
| 2011 | ICSE | Coalescing executions for fast uncertainty analysis. | William N. Sumner, Tao Bao, Xiangyu Zhang, Sunil Prabhakar |
| 2011 | ISSTA | Selecting peers for execution comparison. | William N. Sumner, Tao Bao, Xiangyu Zhang |
| 2011 | WWW | Statically locating web application bugs caused by asynchronous calls. | Yunhui Zheng, Tao Bao, Xiangyu Zhang |
| 2010 | ISSTA | Strict control dependence and its effect on dynamic information flow analyses. | Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu |
| 2007 | VEE | Metadata driven memory optimizations in dynamic binary translator. | Chaohao Xu, Jianhui Li, Tao Bao, Yun Wang, Bo Huang |