BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

OOPSLA 20152015
OOPSLA 20132013
OOPSLA 20122012
ICSE 20112011
ISSTA 20112011
ISSTA 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.