BibSLEIGH — Zhendong

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: Su:Zhendong

Facilitated 3 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2002

2001

2000

1998

2016

2017

2018

2019

2016

2019

2016

2017

2018

2019

2020

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.