Sotabase

Career

· Professor, ETH Zurich2018–
· Professor, UC Davis2011–2019
· Associate Professor, UC Davis2007–2011
· Assistant Professor, UC Davis2002–2007
· MS in Computer Science, University of California, Berkeley1997–
· PhD in Computer Science, University of California, Berkeley1997–2002
· B.A. in Mathematics, University of Texas at Austin1995–
· B.S. in Computer Science, University of Texas at Austin1995–

Publications (214)

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones
International Conference on Software Engineering · 2007
1,102
cited
The essence of command injection attacks in web applications
ACM-SIGACT Symposium on Principles of Programming Languages · 2006
654
cited
Compiler validation via equivalence modulo inputs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
554
cited
FIREMAN: a toolkit for firewall modeling and analysis
IEEE Symposium on Security and Privacy · 2006
485
cited
Static detection of cross-site scripting vulnerabilities
2008 ACM/IEEE 30th International Conference on Software Engineering · 2008
426
cited
Sound and precise analysis of web applications for injection vulnerabilities
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
418
cited
Scalable detection of semantic clones
2008 ACM/IEEE 30th International Conference on Software Engineering · 2008
377
cited
Guided, stochastic model-based GUI testing of Android apps
ESEC/SIGSOFT FSE · 2017
367
cited
HDD: hierarchical delta debugging
International Conference on Software Engineering · 2006
286
cited
On the localness of software
SIGSOFT FSE · 2014
284
cited
On the naturalness of software
Communications of the ACM · 2016
272
cited
Static checking of dynamically generated queries in database applications
Proceedings. 26th International Conference on Software Engineering · 2004
250
cited
Partial online cycle elimination in inclusion constraint graphs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1998
247
cited
A study of the uniqueness of source code
Fast Software Encryption Workshop · 2010
235
cited
Context-based detection of clone-related bugs
ESEC-FSE '07 · 2007
222
cited
Finding deep compiler bugs via guided stochastic program mutation
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2015
221
cited
Coverage-directed differential testing of JVM implementations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
203
cited
Finding compiler bugs via live code mutation
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
197
cited
Detecting code clones in binary executables
International Symposium on Software Testing and Analysis · 2009
196
cited
Javert: fully automatic mining of general temporal properties from dynamic traces
SIGSOFT '08/FSE-16 · 2008
191
cited
Sotabase
Zhendong Su | Researcher Profile | Sotabase | Sotabase