Travelled to:1 × Canada
1 × Italy
4 × USA
Collaborated with:X.Zhang Y.Zheng W.N.Sumner S.Prabhakar Z.Lin D.Xu W.Lee K.Vora R.Gupta
Talks about:execut (3) program (2) instabl (2) analysi (2) point (2) float (2) uncertainti (1) comparison (1) uncertain (1) process (1)
Person: Tao Bao
DBLP: Bao:Tao
Contributed to:
201520132012
2011
20112010Wrote 6 papers:
- OOPSLA-2015-LeeBZZVG #assessment #float #named #runtime
- RAIVE: runtime assessment of floating-point instability by vectorization (WCL, TB, YZ, XZ, KV, RG), pp. 623–638.
- OOPSLA-2013-BaoZ #detection #execution #float #on the fly #problem
- On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.
- OOPSLA-2012-BaoZZ #nondeterminism #program analysis
- White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
- ICSE-2011-SumnerBZP #analysis #nondeterminism #performance
- Coalescing executions for fast uncertainty analysis (WNS, TB, XZ, SP), pp. 581–590.
- ISSTA-2011-SumnerBZ #comparison #execution
- Selecting peers for execution comparison (WNS, TB, XZ), pp. 309–319.
- ISSTA-2010-BaoZLZX #analysis #data flow #dependence #information management #strict
- Strict control dependence and its effect on dynamic information flow analyses (TB, YZ, ZL, XZ, DX), pp. 13–24.