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: Zheng:Yunhui
Contributed to:
2015
2015
2015
2014
2013
201320122012201120102010
2016
20172018Wrote 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.