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 × Italy
1 × Russia
1 × South Africa
1 × Switzerland
7 × USA
Collaborated with:
X.Zhang T.Bao V.Ganesh O.Tripp W.Lee W.Wang Y.Kwon X.Z.0001 P.Liu K.H.Lee N.Sumner W.N.Sumner D.Weeratunge Y.Zou Z.Chen Z.Gao Z.Lin D.Xu S.Subramanian J.Dolby K.Vora R.Gupta X.Xing P.T.Eugster D.Blotsky F.Mora M.Berzish I.Kabir Y.Aafer I.L.Kim Y.Liu W.Meng P.Eugster
Talks about:
web (7) string (4) analysi (3) solver (3) effect (3) applic (3) advertis (2) program (2) static (2) replay (2)

Person: Yunhui Zheng

DBLP DBLP: Zheng:Yunhui

Contributed to:

CAV 20152015
OOPSLA 20152015
PLDI 20152015
ISSTA 20142014
ESEC/FSE 20132013
ICSE 20132013
ICSE 20122012
OOPSLA 20122012
PLDI 20112011
ICSE 20102010
ISSTA 20102010
FSE 20162016
ASE 20172017
CAV (2) 20182018

Wrote 14 papers:

CAV-2015-ZhengGSTDZ #constraints #effectiveness #equation #regular expression #string
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints (YZ, VG, SS, OT, JD, XZ), pp. 235–254.
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.
PLDI-2015-0010ZTZ #bound #named
Light: replay via tightly bounded recording (PL, XZ, OT, YZ), pp. 55–64.
ISSTA-2014-ZouCZZG #effectiveness #testing #web
Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
ESEC-FSE-2013-ZhengZG #analysis #named #string #web
Z3-str: a z3-based string solver for web application analysis (YZ, XZ, VG), pp. 114–124.
ICSE-2013-ZhengZ #detection #execution #static analysis #web
Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
ICSE-2012-ZhengZ #detection #problem #static analysis
Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.
OOPSLA-2012-BaoZZ #nondeterminism #program analysis
White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
PLDI-2011-LeeZSZ #generative #towards
Toward generating reducible replay logs (KHL, YZ, NS, XZ), pp. 246–257.
ICSE-2010-SumnerZWZ #encoding #precise
Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
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.
FSE-2016-WangZXKZE #named #web
WebRanz: web page randomization for better advertisement delivery and web-bot prevention (WW, YZ, XX, YK, XZ0, PTE), pp. 205–216.
ASE-2017-WangKZAKLLMZE #named #programming #web
PAD: programming third-party web advertisement censorship (WW, YK, YZ, YA, ILK, WCL, YL, WM, XZ0, PE), pp. 240–251.
CAV-2018-BlotskyMBZKG #fuzzing #named #string
StringFuzz: A Fuzzer for String Solvers (DB, FM, MB, YZ, IK, VG), pp. 45–51.

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.