Statically locating web application bugs caused by asynchronous calls Y Zheng, T Bao, X Zhang Proceedings of the 20th international conference on World wide web, 805-814, 2011 | 95 | 2011 |
On-the-fly detection of instability problems in floating-point program execution T Bao, X Zhang Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 75 | 2013 |
Strict control dependence and its effect on dynamic information flow analyses T Bao, Y Zheng, Z Lin, X Zhang, D Xu Proceedings of the 19th international symposium on Software testing and …, 2010 | 62 | 2010 |
Selecting peers for execution comparison WN Sumner, T Bao, X Zhang Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 32 | 2011 |
White box sampling in uncertain data processing enabled by program analysis T Bao, Y Zheng, X Zhang ACM SIGPLAN Notices 47 (10), 897-914, 2012 | 26 | 2012 |
Compiler for X86-based many-core coprocessors N Ravi, T Bao, O Ozturk, S Chakradhar US Patent 8,918,770, 2014 | 23 | 2014 |
Apricot: an optimizing compiler and productivity tool for x86-compatible many-core coprocessors N Ravi, Y Yang, T Bao, S Chakradhar Proceedings of the 26th ACM international conference on Supercomputing, 47-58, 2012 | 22 | 2012 |
Raive: Runtime assessment of floating-point instability by vectorization WC Lee, T Bao, Y Zheng, X Zhang, K Vora, R Gupta Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 18 | 2015 |
Metadata driven memory optimizations in dynamic binary translator C Xu, J Li, T Bao, Y Wang, B Huang Proceedings of the 3rd international conference on Virtual execution …, 2007 | 16 | 2007 |
Coalescing executions for fast uncertainty analysis WN Sumner, T Bao, X Zhang, S Prabhakar Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 12 | 2011 |
Semi-automatic restructuring of offloadable tasks for many-core accelerators N Ravi, Y Yang, T Bao, S Chakradhar Proceedings of the International Conference on High Performance Computing …, 2013 | 8 | 2013 |
Data pipeline optimization for shared memory multiple-simd architecture W Zhang, T Bao, B Zang, C Zhu International Workshop on Languages and Compilers for Parallel Computing, 49-63, 2006 | 7 | 2006 |
Optimizing compiler for improving application performance on many-core coprocessors N Ravi, T Bao, O Ozturk, S Chakradhar US Patent App. 13/594,530, 2013 | 6 | 2013 |
Optimizing bandwidth constraint through register interconnection for stream processors W Zhang, T Bao, B Zang, C Zhu 16th International Conference on Parallel Architecture and Compilation …, 2007 | 1 | 2007 |
Reliable Data Processing Enabled By Program Analysis T Bao | | 2014 |