Travelled to:1 × Austria
1 × China
1 × France
1 × Germany
1 × India
1 × Italy
1 × Portugal
1 × Russia
1 × South Africa
1 × Sweden
1 × Taiwan
1 × Turkey
2 × Switzerland
29 × USA
3 × Canada
3 × United Kingdom
Collaborated with:R.Gupta W.N.Sumner Y.Zheng T.Bao S.Jagannathan B.Xin D.Kim D.Weeratunge S.Tallam N.Gupta D.Xu K.H.Lee Y.Zhang P.Liu K.Yu M.Lin O.Tripp Z.Lin A.Navabi W.Lee Y.Kwon V.Ganesh S.Prabhakar S.Ma Y.Liu Y.Li X.Meng Q.Tian Y.Yang B.Ge J.Chen N.Sumner C.Tian M.Zhang X.Zhang H.He D.M.Perry R.Samanta J.Huang L.Tan P.Wang B.Liang H.Agrawal Y.Zou Z.Chen Z.Gao Q.Gao H.Zhang C.Liu Y.Zhang J.Han B.K.Bhargava V.Nagarajan M.Madou B.D.Sutter L.Gao J.Yang S.Kate J.Ore S.G.Elbaum Z.Xu A.Grama S.Subramanian J.Dolby K.Vora D.Qi F.Qin M.Zheng A.Roychoudhury
Talks about:execut (20) program (13) dynam (11) slice (9) analysi (6) detect (6) base (5) use (5) concurr (4) replay (4)
Person: Xiangyu Zhang
DBLP: Zhang:Xiangyu
Contributed to:
2015
2015
2015
2015
2014
2014
20142014
2014
2013
2013
201320132013201220122012
20122011201120112011
20112010
201020102010
2010
2009
20092009200820082008
200720072007
200720062006200620052005
20052004200420042003200320182019Wrote 60 papers:
- ASPLOS-2015-KimKSZX #comparison #execution #fine-grained #on the fly
- Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.
- 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.
- ECOOP-2014-LeeKZ #concurrent #execution #multi
- Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.
- ICSE-2014-HuangZTWL #android #behaviour #detection #named #user interface
- AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction (JH, XZ, LT, PW, BL), pp. 1036–1046.
- ICSE-2014-KimSZXA #component #functional #reuse #reverse engineering
- Reuse-oriented reverse engineering of functional components from x86 binaries (DK, WNS, XZ, DX, HA), pp. 1128–1139.
- ISSTA-2014-ZouCZZG #effectiveness #testing #web
- Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
- OOPSLA-2014-LiuTZ #named
- Flint: fixing linearizability violations (PL, OT, XZ), pp. 543–560.
- PPoPP-2014-LeeKZ #concurrent #execution #multi
- Infrastructure-free logging and replay of concurrent execution on multiple cores (KHL, DK, XZ), pp. 371–372.
- ASE-2013-KwonZX #execution #framework #independence #named #platform
- PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
- ASE-2013-SumnerZ #analysis #execution #identification
- Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
- DHM-HB-2013-TianYZG #adaptation #representation #self
- Extraction of Light Stripe Centerline Based on Self-adaptive Thresholding and Contour Polygonal Representation (QT, YY, XZ, BG), pp. 292–301.
- 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-SumnerZ #comparative #difference
- Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.
- 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.
- 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.
- ASE-2012-YuLCZ #debugging #fault
- Practical isolation of failure-inducing changes for debugging regression faults (KY, ML, JC, XZ), pp. 20–29.
- ICSE-2012-ZhangLY #debugging #framework
- An integrated bug processing framework (XZ, ML, KY), pp. 1469–1470.
- 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.
- WCRE-2012-QiSQZZR #execution #modelling
- Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
- 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.
- OOPSLA-2011-WeeratungeZJ #using
- Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.
- PLDI-2011-LeeZSZ #generative #towards
- Toward generating reducible replay logs (KHL, YZ, NS, XZ), pp. 246–257.
- SAC-2011-YuLGZZ #fault #modelling #multi #using
- Locating faults using multiple spectra-specific models (KY, ML, QG, HZ, XZ), pp. 1404–1410.
- ASPLOS-2010-WeeratungeZJ #concurrent #debugging #manycore
- Analyzing multicore dumps to facilitate concurrency bug reproduction (DW, XZ, SJ), pp. 155–166.
- FSE-2010-SumnerZ #memory management
- Memory indexing: canonicalizing addresses across executions (WNS, XZ), pp. 217–226.
- 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.
- ISSTA-2010-WeeratungeZSJ #concurrent #debugging #slicing #using
- Analyzing concurrency bugs using dual slicing (DW, XZ, WNS, SJ), pp. 253–264.
- SIGIR-2010-LiZM #analysis #process
- Exploring desktop resources based on user activity analysis (YL, XZ, XM), p. 700.
- CGO-2009-ZhangNJ #dependence #distance #framework #named #profiling
- Alchemist: A Transparent Dependence Distance Profiling Infrastructure (XZ, AN, SJ), pp. 47–58.
- FASE-2009-SumnerZ #algorithm #automation
- Algorithms for Automatically Computing the Causal Paths of Failures (WNS, XZ), pp. 355–369.
- ISSTA-2009-XinZ #memory management #slicing
- Memory slicing (BX, XZ), pp. 165–176.
- FSE-2008-LinZ #execution
- Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.
- PLDI-2008-XinSZ #execution #performance
- Efficient program execution indexing (BX, WNS, XZ), pp. 238–248.
- PPoPP-2008-NavabiZJ #scheduling
- Quasi-static scheduling for safe futures (AN, XZ, SJ), pp. 23–32.
- ICSM-2007-LiuZHB #approach
- Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach (CL, XZ, YZ, JH, BKB), pp. 455–464.
- ICSM-2007-NagarajanGMZS #control flow
- Matching Control Flow of Program Versions (VN, RG, MM, XZ, BDS), pp. 84–93.
- ISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread
- Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
- ISSTA-2007-XinZ #dependence #detection #online #performance
- Efficient online detection of dynamic control dependence (BX, XZ), pp. 185–195.
- PLDI-2007-ZhangTGG #execution #fault #towards
- Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.
- VLDB-2007-ZhangZZP #relational
- Tracing Lineage Beyond Relational Operators (MZ, XZ, XZ, SP), pp. 1116–1127.
- FSE-2006-ZhangTG #execution #performance #slicing #source code
- Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
- ICSE-2006-ZhangGG #automation #fault
- Locating faults through automated predicate switching (XZ, NG, RG), pp. 272–281.
- PLDI-2006-ZhangGG #dynamic analysis #slicing
- Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.
- ASE-2005-GuptaHZG #using
- Locating faulty code using failure-inducing chops (NG, HH, XZ, RG), pp. 263–272.
- ESEC-FSE-2005-ZhangG #execution
- Matching execution histories of program versions (XZ, RG), pp. 197–206.
- HPCA-2005-ZhangGYZG #memory management #multi #named #security #symmetry
- SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors (YZ, LG, JY, XZ, RG), pp. 352–362.
- CGO-2004-TallamZG #bound #profiling
- Extending Path Profiling across Loop Backedges and Procedure Boundaries (ST, XZ, RG), pp. 251–264.
- ICSE-2004-ZhangGZ #diagrams #dynamic analysis #order #performance #slicing #using
- Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.
- PLDI-2004-ZhangG #effectiveness #slicing
- Cost effective dynamic program slicing (XZ, RG), pp. 94–106.
- CGO-2003-ZhangG #security #slicing
- Hiding Program Slices for Software Security (XZ, RG), pp. 325–336.
- ICSE-2003-ZhangGZ #algorithm #precise #slicing
- Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.
- ESEC-FSE-2018-KateOZEX #consistency #detection #named #nondeterminism #physics #probability
- Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.
- ESEC-FSE-2018-MaLLZG #analysis #automation #debugging #difference #named #network
- MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.
- PLDI-2019-LeeLLMZ #programming
- Programming support for autonomizing software (WCL, PL, YL, SM, XZ), pp. 702–716.
- PLDI-2019-PerryKSZ #clustering #imperative #named #programming #semantics
- SemCluster: clustering of imperative programming assignments based on quantitative semantic features (DMP, DK, RS, XZ), pp. 860–873.