Zhendong Su

	2012
56		Taeho Kwon, Zhendong Su: Static Detection of Unsafe Component Loadings. CC 2012: 122-143
55		Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich: Abstracting Runtime Heaps for Program Understanding CoRR abs/1201.1327: (2012)
54		Taeho Kwon, Zhendong Su: Automatic Detection of Unsafe Dynamic Component Loadings. IEEE Trans. Software Eng. 38(2): 293-313 (2012)
	2011
53		Taeho Kwon, Zhendong Su: Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software. ICDM 2011: 1134-1139
52		Zhongxian Gu, Earl T. Barr, Zhendong Su: BQL: capturing and reusing debugging knowledge. ICSE 2011: 1001-1003
51		Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su: Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206
50		Fangqi Sun, Liang Xu, Zhendong Su: Static Detection of Access Control Vulnerabilities in Web Applications. USENIX Security Symposium 2011
	2010
49		Mark Gabel, Zhendong Su: Online inference and enforcement of temporal properties. ICSE (1) 2010: 15-24
48		Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su: Has the bug really been fixed? ICSE (1) 2010: 55-64
47		Taeho Kwon, Zhendong Su: Automatic detection of unsafe component loadings. ISSTA 2010: 107-118
46		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
45		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
44		Mark Gabel, Zhendong Su: A study of the uniqueness of source code. SIGSOFT FSE 2010: 147-156
	2009
43		Jens Palsberg, Zhendong Su: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings Springer 2009
42		Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su: Static Validation of C Preprocessor Macros. ASE 2009: 149-160
41		Fangqi Sun, Liang Xu, Zhendong Su: Client-Side Detection of XSS Worms by Monitoring Payload Propagation. ESORICS 2009: 539-554
40		Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su: Detecting code clones in binary executables. ISSTA 2009: 117-128
39		Lingxiao Jiang, Zhendong Su: Automatic mining of functionally equivalent code fragments via random testing. ISSTA 2009: 81-92
38		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
37		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
36		Gary Wassermann, Zhendong Su: Static detection of cross-site scripting vulnerabilities. ICSE 2008: 171-180
35		Mark Gabel, Lingxiao Jiang, Zhendong Su: Scalable detection of semantic clones. ICSE 2008: 321-330
34		Mark Gabel, Zhendong Su: Symbolic mining of temporal specifications. ICSE 2008: 51-60
33		Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su: Dynamic test input generation for web applications. ISSTA 2008: 249-260
32		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
31		Mark Gabel, Zhendong Su: Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE 2008: 339-349
30		Lingxiao Jiang, Zhendong Su: Profile-guided program simplification for effective testing and analysis. SIGSOFT FSE 2008: 48-58
29		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)
	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	[38] [46] [48] [52]
3	Christian Bird	[38]
4	John Brevik	[37]
5	Ajay Chander	[33]
6	Hao Chen	[16] [22] [28] [29]
7	Edwin Chiu	[26]
8	Frederic T. Chong	[14] [20] [21] [32] [37]
9	Chen-Nee Chuah	[16] [29]
10	Jedidiah R. Crandall	[14] [20] [21] [32] [37]
11	Premkumar T. Devanbu	[10] [11] [23] [38]
12	Dinakar Dhurjati	[33]
13	Manuel Fähndrich	[1] [2] [3] [5] [6] [55]
14	Vladimir Filkov	[38]
15	Jeffrey S. Foster	[1] [3]
16	Mark Gabel	[31] [34] [35] [44] [45] [49]
17	Stéphane Glondu	[25]
18	Moisés Goldszmidt	[45]
19	Carl Gould	[10] [11] [23]
20	Zhongxian Gu	[48] [52]
21	Matthew Van Gundy	[28]
22	Jonathan de Halleux	[51]
23	David J. Hamilton	[48]
24	Francis Hsu	[22]
25	Hiroshi Inamura	[33]
26	Lingxiao Jiang	[17] [25] [26] [27] [30] [35] [39] [42]
27	Taeho Kwon	[47] [53] [54] [56]
28	Jason Li	[22]
29	Xuandong Li	[46]
30	Jianning Mai	[16]
31	Mark Marron	[55]
32	Ghassan Misherghi	[18] [25] [29]
33	Prasant Mohapatra	[16]
34	Anca Muscholl	[4]
35	Andre Nash	[38]
36	Joachim Niehren	[8] [13]
37	Daniela A. S. de Oliveira	[20] [21] [32] [37]
38	Jens Palsberg	[43]
39	Thomas Panas	[40]
40	Doron Peled	[4]
41	Tim Priesnitz	[8] [13]
42	Daniel J. Quinlan	[40] [42]
43	Thomas Ristenpart	[22]
44	Andreas Sæbjørnsen	[40]
45	Andreas Saebjoernsen	[42]
46	Cesar Sanchez	[55]
47	Fangqi Sun	[41] [50]
48	Enyi Tang	[46]
49	Suresh Thummalapenta	[51]
50	Nikolai Tillmann	[51]
51	Ralf Treinen	[8]
52	Giovanni Vigna	[28]
53	David Wagner	[9] [12]
54	Gary Wassermann	[15] [19] [20] [21] [23] [24] [32] [33] [36] [37]
55	Jeremiah Willcock	[40]
56	Shyhtsun Felix Wu	[14] [20] [21] [32] [37]
57	Tao Xie	[51]
58	Liang Xu	[41] [50]
59	Junfeng Yang	[45]
60	Shaozhi Ye	[32] [37]
61	Dachuan Yu	[33]
62	Yuan Yu	[45]
63	Lihua Yuan	[16] [29]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page