BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Croatia
1 × Estonia
1 × Germany
1 × New Zealand
1 × Russia
1 × South Africa
1 × Spain
1 × Switzerland
2 × China
2 × Portugal
23 × USA
3 × United Kingdom
5 × Italy
Collaborated with:
L.Jiang M.Gabel Z.Fu E.T.Barr G.Wassermann C.Sun A.Aiken V.Le T.Kwon Q.Zhang P.T.Devanbu M.Afshari Z.Gu H.Zhong M.Fähndrich Y.Chen G.Misherghi T.Su C.Gould S.Glondu J.Niehren T.Priesnitz D.Schleck X.Li D.Wagner C.Zhang G.Pu H.Yuan A.Sæbjørnsen D.J.Quinlan D.Zou Y.Xiong Z.Bai Z.Tu C.S.Jensen A.Møller D.Qiu B.Li E.Chiu A.Muscholl D.Peled S.Wang Ke Wang 0022 R.Singh Y.Li L.Wang M.R.Lyu T.Vo D.J.Hamilton E.Tang J.S.Foster J.He X.Xiao C.Zhang A.Hindle S.Thummalapenta T.Xie N.Tillmann J.d.Halleux J.Yang Y.Yu M.Goldszmidt J.Willcock T.Panas R.Treinen T.Gu X.Ma J.Lü J.Zhao R.Wang L.Zhang H.Mei D.Yu A.Chander D.Dhurjati H.Inamura J.R.Crandall D.A.S.d.Oliveira S.F.Wu F.T.Chong Y.Yan F.Zhang Cheng Cai Z.Z.0002 K.Nguyen Guoqing Harry Xu Muhan Zeng L.Z.0023 M.Wen R.Wu Y.Liu Y.Tian X.Xie S.Cheung G.Meng K.Wu W.Yang Y.Yao Y.L.0003
Talks about:
detect (16) test (12) analysi (11) bug (11) program (10) code (10) applic (8) point (7) float (7) constraint (6)

Person: Zhendong Su

DBLP DBLP: Su:Zhendong

Facilitated 3 volumes:

ISSTA 2012Ed
SAS 2009Ed
FSE 2016Ed

Contributed to:

ESEC/FSE 20152015
ICSE 20152015
ISSTA 20152015
OOPSLA 20152015
FSE 20142014
OOPSLA 20142014
Onward! 20142014
PLDI 20142014
ESEC/FSE 20132013
OOPSLA 20132013
PLDI 20132013
POPL 20132013
CC 20122012
FSE 20122012
ICSE 20122012
OOPSLA 20122012
Onward! 20122012
ICSE 20112011
OOPSLA 20112011
FSE 20102010
ICSE 20102010
ISSTA 20102010
OOPSLA 20102010
ASE 20092009
ISSTA 20092009
FSE 20082008
ICSE 20082008
ISSTA 20082008
ASE 20072007
ESEC/FSE 20072007
ICSE 20072007
PLDI 20072007
ASPLOS 20062006
ICSE 20062006
POPL 20062006
ESOP 20052005
ICSE 20042004
TACAS 20042004
POPL 20022002
ESOP 20012001
POPL 20002000
FoSSaCS 19981998
PLDI 19981998
TACAS 19981998
ASE 20162016
ESEC/FSE 20172017
ESEC/FSE 20182018
ESEC/FSE 20192019
CAV (2) 20162016
Onward! 20162016
OOPSLA 20162016
OOPSLA 20192019
PLDI 20162016
PLDI 20172017
POPL 20172017
PLDI 20182018
PLDI 20192019
POPL 20202020

Wrote 75 papers:

ESEC-FSE-2015-ChenS #difference #implementation #testing #validation
Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing
Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSE-v1-2015-ZhongS #debugging #empirical
An Empirical Study on Real Bug Fixes (HZ, ZS), pp. 913–923.
ICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
ISSTA-2015-LeSS #random
Randomized stress-testing of link-time optimizers (VL, CS, ZS), pp. 327–337.
OOPSLA-2015-FuBS #analysis #automation #fault
Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
OOPSLA-2015-LeSS #compilation #debugging #probability
Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.
FSE-2014-TuSD #locality #on the
On the localness of software (ZT, ZS, PTD), pp. 269–280.
OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance
Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
Onward-2014-GuSBS #ide #interactive
Capturing and Exploiting IDE Interactions (ZG, DS, ETB, ZS), pp. 83–94.
PLDI-2014-LeAS #compilation #equivalence #validation
Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
ESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web
Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSE-2013-QiuLS #analysis #co-evolution #database #empirical
An empirical analysis of the co-evolution of schema and code in database applications (DQ, BL, ZS), pp. 125–135.
OOPSLA-2013-LiSWL #execution #symbolic computation
Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
OOPSLA-2013-ZhongS #api #detection #documentation #fault
Detecting API documentation errors (HZ, ZS), pp. 803–816.
PLDI-2013-ZhangLYS #algorithm #alias #analysis #performance
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.
POPL-2013-BarrVLS #automation #detection #exception #float
Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.
CC-2012-KwonS #component #detection #static analysis
Static Detection of Unsafe Component Loadings (TK, ZS), pp. 122–143.
FSE-2012-GabelS #specification #testing
Testing mined specifications (MG, ZS), p. 4.
FSE-2012-KwonS #component #detection
Detecting and analyzing insecure component usage (TK, ZS), p. 5.
ICSE-2012-HindleBSGD #on the
On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
OOPSLA-2012-GuBSS #debugging #reuse
Reusing debugging knowledge via trace-based bug search (ZG, ETB, DS, ZS), pp. 927–942.
Onward-2012-AfshariBS #programming
Liberating the programmer with prorogued programming (MA, ETB, ZS), pp. 11–26.
ICSE-2011-GuBS #debugging #named #reuse
BQL: capturing and reusing debugging knowledge (ZG, ETB, ZS), pp. 1001–1003.
OOPSLA-2011-ThummalapentaXTHS #sequence #testing
Synthesizing method sequences for high-coverage testing (ST, TX, NT, JdH, ZS), pp. 189–206.
FSE-2010-GabelS #case study #source code
A study of the uniqueness of source code (MG, ZS), pp. 147–156.
ICSE-2010-GabelS #online
Online inference and enforcement of temporal properties (MG, ZS), pp. 15–24.
ICSE-2010-GuBHS #debugging #question
Has the bug really been fixed? (ZG, ETB, DJH, ZS), pp. 55–64.
ISSTA-2010-KwonS #automation #component #detection
Automatic detection of unsafe component loadings (TK, ZS), pp. 107–118.
ISSTA-2010-TangBLS #analysis #float #statistics
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.
OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code
Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
ASE-2009-SaebjoernsenJQS #c #metaprogramming #preprocessor #validation
Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
ISSTA-2009-JiangS #automation #mining #random testing #testing
Automatic mining of functionally equivalent code fragments via random testing (LJ, ZS), pp. 81–92.
ISSTA-2009-SaebjornsenWPQS #bytecode #detection
Detecting code clones in binary executables (AS, JW, TP, DJQ, ZS), pp. 117–128.
FSE-2008-GabelS #automation #mining #named
Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.
FSE-2008-JiangS #analysis #effectiveness #testing
Profile-guided program simplification for effective testing and analysis (LJ, ZS), pp. 48–58.
ICSE-2008-GabelJS #detection #scalability #semantics
Scalable detection of semantic clones (MG, LJ, ZS), pp. 321–330.
ICSE-2008-GabelS #mining #specification
Symbolic mining of temporal specifications (MG, ZS), pp. 51–60.
ICSE-2008-WassermannS #detection #static analysis
Static detection of cross-site scripting vulnerabilities (GW, ZS), pp. 171–180.
ISSTA-2008-WassermannYCDIS #generative #web
Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
ASE-2007-JiangS #control flow #debugging #predict #statistics
Context-aware statistical debugging: from bug predictors to faulty control flow paths (LJ, ZS), pp. 184–193.
ESEC-FSE-2007-JiangSC #debugging #detection
Context-based detection of clone-related bugs (LJ, ZS, EC), pp. 55–64.
ICSE-2007-JiangMSG #detection #named #scalability
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones (LJ, GM, ZS, SG), pp. 96–105.
PLDI-2007-WassermannS #analysis #injection #precise #web
Sound and precise analysis of web applications for injection vulnerabilities (GW, ZS), pp. 32–41.
ASPLOS-2006-CrandallWOSWC #detection #virtual machine
Temporal search: detecting hidden malware timebombs with virtual machines (JRC, GW, DASdO, ZS, SFW, FTC), pp. 25–36.
ICSE-2006-JiangS #c #correctness #named #source code #type system #validation
Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
ICSE-2006-Misherghi #debugging #named
HDD: hierarchical Delta Debugging (GM, ZS), pp. 142–151.
POPL-2006-SuW #injection #web
The essence of command injection attacks in web applications (ZS, GW), pp. 372–382.
ESOP-2005-NiehrenPS #complexity #satisfiability #type system
Complexity of Subtype Satisfiability over Posets (JN, TP, ZS), pp. 357–373.
ICSE-2004-GouldSD #database #query #static analysis
Static Checking of Dynamically Generated Queries in Database Applications (CG, ZS, PTD), pp. 645–654.
ICSE-2004-GouldSD04a #sql #static analysis
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications (CG, ZS, PTD), pp. 697–698.
TACAS-2004-SuW #analysis #constraints
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.
POPL-2002-SuANPT #constraints #first-order #type system
The first-order theory of subtyping constraints (ZS, AA, JN, TP, RT), pp. 203–216.
ESOP-2001-SuA #constraints #similarity
Entailment with Conditional Equality Constraints (ZS, AA), pp. 170–189.
POPL-2000-SuFA #constraints #graph
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs (ZS, MF, AA), pp. 81–95.
FoSSaCS-1998-MuschollPS #sequence chart
Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
PLDI-1998-FahndrichFSA #constraints #graph #online
Partial Online Cycle Elimination in Inclusion Constraint Graphs (MF, JSF, ZS, AA), pp. 85–96.
TACAS-1998-AikenFS #detection #logic programming #source code
Detecting Races in Relay Ladder Logic Programs (AA, MF, ZS), pp. 184–200.
ASE-2016-GuSMLS #automation #fault #runtime #synthesis
Automatic runtime recovery via error handler synthesis (TG, CS, XM, JL, ZS), pp. 684–695.
ESEC-FSE-2017-SuMCWYYPLS #android #modelling #probability #testing #user interface
Guided, stochastic model-based GUI testing of Android apps (TS, GM, YC, KW, WY, YY, GP, YL0, ZS), pp. 245–256.
ESEC-FSE-2018-GlonduJS
Ten years of hunting for similar code for fun and profit (keynote) (SG, LJ, ZS), p. 2.
ESEC-FSE-2019-WenWLTXCS #commit #correlation #debugging
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits (MW, RW, YL, YT, XX, SCC, ZS), pp. 326–337.
ESEC-FSE-2019-ZhangSYZPS #comprehension #debugging #model checking
Finding and understanding bugs in software model checkers (CZ, TS, YY, FZ, GP, ZS), pp. 763–773.
CAV-2016-FuS #float #named #performance #satisfiability
XSat: A Fast Floating-Point Satisfiability Solver (ZF, ZS), pp. 187–209.
Onward-2016-AfshariS #abstraction #refinement
Building white-box abstractions by program refinement (MA, ZS), pp. 74–81.
OOPSLA-2016-SunLS #compilation #debugging
Finding compiler bugs via live code mutation (CS, VL, ZS), pp. 849–863.
OOPSLA-2019-WangZS #contract #debugging #detection #nondeterminism
Detecting nondeterministic payment bugs in Ethereum smart contracts (SW, CZ, ZS), p. 29.
PLDI-2016-ChenSSSZ #difference #implementation #testing #virtual machine
Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.
PLDI-2017-FuS #float #programming
Achieving high coverage for floating-point code via unconstrained programming (ZF, ZS), pp. 306–319.
PLDI-2017-ZhangSS #compilation #testing
Skeletal program enumeration for rigorous compiler testing (QZ, CS, ZS), pp. 347–361.
POPL-2017-ZhangS #analysis #data flow #linear #reachability
Context-sensitive data-dependence analysis via linear conjunctive language reachability (QZ, ZS), pp. 344–358.
PLDI-2018-CaiZZNXS #constraints
Calling-to-reference context translation via constraint-guided CFL-reachability (CC, QZ, ZZ0, KN, GHX, ZS), pp. 196–210.
PLDI-2018-WangSS #data-driven #feedback #generative #programming
Search, align, and repair: data-driven feedback generation for introductory programming exercises (KW0, RS, ZS), pp. 481–495.
PLDI-2019-FuS #analysis #effectiveness #float
Effective floating-point analysis via weak-distance minimization (ZF, ZS), pp. 439–452.
POPL-2020-ZouZXFZS #detection #fault #float
Detecting floating-point errors via atomic conditions (DZ, MZ, YX, ZF, LZ0, ZS), p. 27.

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.