Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Zhendong Su
2010 – today
- 2013
[j7]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013)- [c54]Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su: Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. PLDI 2013: 435-446
- [c53]Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su: Automatic detection of floating-point exceptions. POPL 2013: 549-560
- 2012
- [j6]Taeho Kwon, Zhendong Su: Automatic Detection of Unsafe Dynamic Component Loadings. IEEE Trans. Software Eng. 38(2): 293-313 (2012)
- [c52]
- [c51]Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu: On the naturalness of software. ICSE 2012: 837-847
- [c50]Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su: Reusing debugging knowledge via trace-based bug search. OOPSLA 2012: 927-942
- [c49]
- [c48]
- [e2]Mats Per Erik Heimdahl, Zhendong Su (Eds.): International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM 2012, ISBN 978-1-4503-1454-1
- [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012)
- 2011
- [c47]Taeho Kwon, Zhendong Su: Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software. ICDM 2011: 1134-1139
- [c46]Zhongxian Gu, Earl T. Barr, Zhendong Su: BQL: capturing and reusing debugging knowledge. ICSE 2011: 1001-1003
- [c45]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su: Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206
- [c44]Fangqi Sun, Liang Xu, Zhendong Su: Static Detection of Access Control Vulnerabilities in Web Applications. USENIX Security Symposium 2011
- 2010
- [c43]Mark Gabel, Zhendong Su: Online inference and enforcement of temporal properties. ICSE (1) 2010: 15-24
- [c42]Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su: Has the bug really been fixed? ICSE (1) 2010: 55-64
- [c41]
- [c40]Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su: Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. ISSTA 2010: 131-142
- [c39]Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su: Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA 2010: 175-190
- [c38]
2000 – 2009
- 2009
- [j5]Jedidiah R. Crandall, John Brevik, Shaozhi Ye, Gary Wassermann, Daniela A. S. de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong: Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft Detection. Transactions on Computational Science 4: 244-262 (2009)
- [c37]Fangqi Sun, Liang Xu, Zhendong Su: Client-Side Detection of XSS Worms by Monitoring Payload Propagation. ESORICS 2009: 539-554
- [c36]Lingxiao Jiang, Zhendong Su: Automatic mining of functionally equivalent code fragments via random testing. ISSTA 2009: 81-92
- [c35]Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su: Detecting code clones in binary executables. ISSTA 2009: 117-128
- [c34]Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su: Static Validation of C Preprocessor Macros. ASE 2009: 149-160
- [c33]Christian Bird, Earl T. Barr, Andre Nash, Premkumar T. Devanbu, Vladimir Filkov, Zhendong Su: Structure and Dynamics of Research Collaboration in Computer Science. SDM 2009: 826-837
- [e1]Jens Palsberg, Zhendong Su (Eds.): Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Lecture Notes in Computer Science 5673, Springer 2009, ISBN 978-3-642-03236-3
- 2008
- [j4]Ghassan Misherghi, Lihua Yuan, Zhendong Su, Chen-Nee Chuah, Hao Chen: A general framework for benchmarking firewall optimization techniques. IEEE Transactions on Network and Service Management 5(4): 227-238 (2008)
- [c32]
- [c31]Gary Wassermann, Zhendong Su: Static detection of cross-site scripting vulnerabilities. ICSE 2008: 171-180
- [c30]
- [c29]Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su: Dynamic test input generation for web applications. ISSTA 2008: 249-260
- [c28]Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong: Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks. NOMS 2008: 121-128
- [c27]Lingxiao Jiang, Zhendong Su: Profile-guided program simplification for effective testing and analysis. SIGSOFT FSE 2008: 48-58
- [c26]Mark Gabel, Zhendong Su: Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE 2008: 339-349
- 2007
- [j3]Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu: Static checking of dynamically generated queries in database applications. ACM Trans. Softw. Eng. Methodol. 16(4) (2007)
- [c25]Matthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna: Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. ACSAC 2007: 74-85
- [c24]Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu: DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. ICSE 2007: 96-105
- [c23]Lingxiao Jiang, Zhendong Su: Context-aware statistical debugging: from bug predictors to faulty control flow paths. ASE 2007: 184-193
- [c22]Gary Wassermann, Zhendong Su: Sound and precise analysis of web applications for injection vulnerabilities. PLDI 2007: 32-41
- [c21]Lingxiao Jiang, Zhendong Su, Edwin Chiu: Context-based detection of clone-related bugs. ESEC/SIGSOFT FSE 2007: 55-64
- 2006
- [c20]Francis Hsu, Hao Chen, Thomas Ristenpart, Jason Li, Zhendong Su: Back to the Future: A Framework for Automatic Malware Removal and System Repair. ACSAC 2006: 257-268
- [c19]Jedidiah R. Crandall, Gary Wassermann, Daniela A. S. de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong: Temporal search: detecting hidden malware timebombs with virtual machines. ASPLOS 2006: 25-36
- [c18]Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong: ExecRecorder: VM-based full-system replay for attack analysis and system recovery. ASID 2006: 66-71
- [c17]Gary Wassermann, Zhendong Su: Validity Checking for Finite Automata over Linear Arithmetic Constraints. FSTTCS 2006: 405-416
- [c16]
- [c15]Lingxiao Jiang, Zhendong Su: Osprey: a practical type system for validating dimensional unit correctness of C programs. ICSE 2006: 262-271
- [c14]Zhendong Su, Gary Wassermann: The essence of command injection attacks in web applications. POPL 2006: 372-382
- [c13]Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, Chen-Nee Chuah, Prasant Mohapatra: FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. IEEE Symposium on Security and Privacy 2006: 199-213
- 2005
- [j2]Zhendong Su, David Wagner: A class of polynomially solvable range constraints for interval analysis without widenings. Theor. Comput. Sci. 345(1): 122-138 (2005)
- [c12]Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong: On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. ACM Conference on Computer and Communications Security 2005: 235-248
- [c11]Joachim Niehren, Tim Priesnitz, Zhendong Su: Complexity of Subtype Satisfiability over Posets. ESOP 2005: 357-373
- 2004
- [c10]Carl Gould, Zhendong Su, Premkumar T. Devanbu: Static Checking of Dynamically Generated Queries in Database Applications. ICSE 2004: 645-654
- [c9]Carl Gould, Zhendong Su, Premkumar T. Devanbu: JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. ICSE 2004: 697-698
- [c8]Zhendong Su, David Wagner: A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. TACAS 2004: 280-295
- 2002
- [c7]Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
- 2001
- [c6]
- 2000
- [j1]Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
- [c5]Zhendong Su, Manuel Fähndrich, Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95
1990 – 1999
- 1998
- [c4]Anca Muscholl, Doron Peled, Zhendong Su: Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242
- [c3]Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96
- [c2]Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
- [c1]Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su: A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:47 CEST by the dblp team