Zhendong Su

	2009
41		Jens Palsberg, Zhendong Su: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings Springer 2009
40		Fangqi Sun, Liang Xu, Zhendong Su: Client-Side Detection of XSS Worms by Monitoring Payload Propagation. ESORICS 2009: 539-554
39		Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su: Detecting code clones in binary executables. ISSTA 2009: 117-128
38		Lingxiao Jiang, Zhendong Su: Automatic mining of functionally equivalent code fragments via random testing. ISSTA 2009: 81-92
37		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
36		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)
	2008
35		Gary Wassermann, Zhendong Su: Static detection of cross-site scripting vulnerabilities. ICSE 2008: 171-180
34		Mark Gabel, Lingxiao Jiang, Zhendong Su: Scalable detection of semantic clones. ICSE 2008: 321-330
33		Mark Gabel, Zhendong Su: Symbolic mining of temporal specifications. ICSE 2008: 51-60
32		Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su: Dynamic test input generation for web applications. ISSTA 2008: 249-260
31		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
30		Mark Gabel, Zhendong Su: Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE 2008: 339-349
29		Lingxiao Jiang, Zhendong Su: Profile-guided program simplification for effective testing and analysis. SIGSOFT FSE 2008: 48-58
	2007
28		Matthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna: Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. ACSAC 2007: 74-85
27		Lingxiao Jiang, Zhendong Su: Context-aware statistical debugging: from bug predictors to faulty control flow paths. ASE 2007: 184-193
26		Lingxiao Jiang, Zhendong Su, Edwin Chiu: Context-based detection of clone-related bugs. ESEC/SIGSOFT FSE 2007: 55-64
25		Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu: DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. ICSE 2007: 96-105
24		Gary Wassermann, Zhendong Su: Sound and precise analysis of web applications for injection vulnerabilities. PLDI 2007: 32-41
23		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)
	2006
22		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
21		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
20		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
19		Gary Wassermann, Zhendong Su: Validity Checking for Finite Automata over Linear Arithmetic Constraints. FSTTCS 2006: 405-416
18		Ghassan Misherghi, Zhendong Su: HDD: hierarchical Delta Debugging. ICSE 2006: 142-151
17		Lingxiao Jiang, Zhendong Su: Osprey: a practical type system for validating dimensional unit correctness of C programs. ICSE 2006: 262-271
16		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
15		Zhendong Su, Gary Wassermann: The essence of command injection attacks in web applications. POPL 2006: 372-382
	2005
14		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
13		Joachim Niehren, Tim Priesnitz, Zhendong Su: Complexity of Subtype Satisfiability over Posets. ESOP 2005: 357-373
12		Zhendong Su, David Wagner: A class of polynomially solvable range constraints for interval analysis without widenings. Theor. Comput. Sci. 345(1): 122-138 (2005)
	2004
11		Carl Gould, Zhendong Su, Premkumar T. Devanbu: Static Checking of Dynamically Generated Queries in Database Applications. ICSE 2004: 645-654
10		Carl Gould, Zhendong Su, Premkumar T. Devanbu: JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. ICSE 2004: 697-698
9		Zhendong Su, David Wagner: A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. TACAS 2004: 280-295
	2002
8		Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
	2001
7		Zhendong Su, Alexander Aiken: Entailment with Conditional Equality Constraints. ESOP 2001: 170-189
	2000
6		Zhendong Su, Manuel Fähndrich, Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95
5		Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting races in Relay Ladder Logic programs. STTT 3(1): 93-105 (2000)
	1998
4		Anca Muscholl, Doron Peled, Zhendong Su: Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242
3		Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96
2		Alexander Aiken, Manuel Fähndrich, Zhendong Su: Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200
1		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

1	Alexander Aiken (Alex Aiken)	[1] [2] [3] [5] [6] [7] [8]
2	Earl T. Barr	[37]
3	Christian Bird	[37]
4	John Brevik	[36]
5	Ajay Chander	[32]
6	Hao Chen	[16] [22] [28]
7	Edwin Chiu	[26]
8	Frederic T. Chong	[14] [20] [21] [31] [36]
9	Chen-Nee Chuah	[16]
10	Jedidiah R. Crandall	[14] [20] [21] [31] [36]
11	Premkumar T. Devanbu	[10] [11] [23] [37]
12	Dinakar Dhurjati	[32]
13	Manuel Fähndrich	[1] [2] [3] [5] [6]
14	Vladimir Filkov	[37]
15	Jeffrey S. Foster	[1] [3]
16	Mark Gabel	[30] [33] [34]
17	Stéphane Glondu	[25]
18	Carl Gould	[10] [11] [23]
19	Matthew Van Gundy	[28]
20	Francis Hsu	[22]
21	Hiroshi Inamura	[32]
22	Lingxiao Jiang	[17] [25] [26] [27] [29] [34] [38]
23	Jason Li	[22]
24	Jianning Mai	[16]
25	Ghassan Misherghi	[18] [25]
26	Prasant Mohapatra	[16]
27	Anca Muscholl	[4]
28	Andre Nash	[37]
29	Joachim Niehren	[8] [13]
30	Daniela A. S. de Oliveira	[20] [21] [31] [36]
31	Jens Palsberg	[41]
32	Thomas Panas	[39]
33	Doron Peled	[4]
34	Tim Priesnitz	[8] [13]
35	Daniel J. Quinlan	[39]
36	Thomas Ristenpart	[22]
37	Andreas Sæbjørnsen	[39]
38	Fangqi Sun	[40]
39	Ralf Treinen	[8]
40	Giovanni Vigna	[28]
41	David Wagner	[9] [12]
42	Gary Wassermann	[15] [19] [20] [21] [23] [24] [31] [32] [35] [36]
43	Jeremiah Willcock	[39]
44	Shyhtsun Felix Wu	[14] [20] [21] [31] [36]
45	Liang Xu	[40]
46	Shaozhi Ye	[31] [36]
47	Dachuan Yu	[32]
48	Lihua Yuan	[16]

Colors in the list of coauthors