Zhendong Su - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

BQL: capturing and reusing debugging knowledgeZhongxian Gu, Earl T. Barr, Zhendong Su. ICSE 2011: 1001-1003 [doi]

2010

2009

Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft DetectionJedidiah R. Crandall, John Brevik, Shaozhi Ye, Gary Wassermann, Daniela A. S. de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong. tcos, 4:244-262, 2009. [doi]

Automatic mining of functionally equivalent code fragments via random testingLingxiao Jiang, Zhendong Su. ISSTA 2009: 81-92 [doi]

Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. ProceedingsJens Palsberg, Zhendong Su, editors, Volume 5673 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Static Validation of C Preprocessor MacrosAndreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su. kbse 2009: 149-160 [doi]

Client-Side Detection of XSS Worms by Monitoring Payload PropagationFangqi Sun, Liang Xu, Zhendong Su. esorics 2009: 539-554 [doi]

Detecting code clones in binary executablesAndreas SÃ¦bjÃ¸rnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su. ISSTA 2009: 117-128 [doi]

2008

Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacksDaniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong. apnoms 2008: 121-128 [doi]

Scalable detection of semantic clonesMark Gabel, Lingxiao Jiang, Zhendong Su. ICSE 2008: 321-330 [doi]

Symbolic mining of temporal specificationsMark Gabel, Zhendong Su. ICSE 2008: 51-60 [doi]

Javert: fully automatic mining of general temporal properties from dynamic tracesMark Gabel, Zhendong Su. sigsoft 2008: 339-349 [doi]

Profile-guided program simplification for effective testing and analysisLingxiao Jiang, Zhendong Su. sigsoft 2008: 48-58 [doi]

A general framework for benchmarking firewall optimization techniquesGhassan Misherghi, Lihua Yuan, Zhendong Su, Chen-Nee Chuah, Hao Chen. tnsm, 5(4):227-238, 2008. [doi]

Static detection of cross-site scripting vulnerabilitiesGary Wassermann, Zhendong Su. ICSE 2008: 171-180 [doi]

Dynamic test input generation for web applicationsGary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su. ISSTA 2008: 249-260 [doi]

2007

Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic WormsMatthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna. acsac 2007: 74-85 [doi]

DECKARD: Scalable and Accurate Tree-Based Detection of Code ClonesLingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stephane Glondu. ICSE 2007: 96-105 [doi]

Context-based detection of clone-related bugsLingxiao Jiang, Zhendong Su, Edwin Chiu. ESEC/FSE 2007: 55-64 [doi]

Context-aware statistical debugging: from bug predictors to faulty control flow pathsLingxiao Jiang, Zhendong Su. ASE 2007: 184-193 [doi]

Static checking of dynamically generated queries in database applicationsGary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu. TOSEM, 16(4), 2007. [doi]

Sound and precise analysis of web applications for injection vulnerabilitiesGary Wassermann, Zhendong Su. PLDI 2007: 32-41 [doi]

2006

Temporal search: detecting hidden malware timebombs with virtual machinesJedidiah R. Crandall, Gary Wassermann, Daniela A. S. de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong. asplos 2006: 25-36 [doi]

ExecRecorder: VM-based full-system replay for attack analysis and system recoveryDaniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong. asplos 2006: 66-71 [doi]

Back to the Future: A Framework for Automatic Malware Removal and System RepairFrancis Hsu, Hao Chen, Thomas Ristenpart, Jason Li, Zhendong Su. acsac 2006: 257-268 [doi]

Osprey: a practical type system for validating dimensional unit correctness of C programsLingxiao Jiang, Zhendong Su. ICSE 2006: 262-271 [doi]

HDD: hierarchical Delta DebuggingGhassan Misherghi, Zhendong Su. ICSE 2006: 142-151 [doi]

The essence of command injection attacks in web applicationsZhendong Su, Gary Wassermann. POPL 2006: 372-382 [doi]

Validity Checking for Finite Automata over Linear Arithmetic ConstraintsGary Wassermann, Zhendong Su. fsttcs 2006: 405-416 [doi]

FIREMAN: A Toolkit for FIREwall Modeling and ANalysisLihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, Chen-Nee Chuah, Prasant Mohapatra. sp 2006: 199-213 [doi]

2005

On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploitsJedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong. ccs 2005: 235-248 [doi]

Complexity of Subtype Satisfiability over PosetsJoachim Niehren, Tim Priesnitz, Zhendong Su. ESOP 2005: 357-373 [doi]

A class of polynomially solvable range constraints for interval analysis without wideningsZhendong Su, David Wagner. TCS, 345(1):122-138, 2005. [doi]

2004

Static Checking of Dynamically Generated Queries in Database ApplicationsCarl Gould, Zhendong Su, Premkumar T. Devanbu. ICSE 2004: 645-654 [doi]

JDBC Checker: A Static Analysis Tool for SQL/JDBC ApplicationsCarl Gould, Zhendong Su, Premkumar T. Devanbu. ICSE 2004: 697-698 [doi]

A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and NarrowingsZhendong Su, David Wagner. TACAS 2004: 280-295 [doi]

2002

The first-order theory of subtyping constraintsZhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen. POPL 2002: 203-216 [doi]

2001

Entailment with Conditional Equality ConstraintsZhendong Su, Alexander Aiken. ESOP 2001: 170-189 [doi]

2000

Detecting races in Relay Ladder Logic programsAlexander Aiken, Manuel Fähndrich, Zhendong Su. STTT, 3(1):93-105, 2000. [doi]

Projection Merging: Reducing Redundancies in Inclusion Constraint GraphsZhendong Su, Manuel Fähndrich, Alexander Aiken. POPL 2000: 81-95 [doi]

1998