Zhendong Su - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Zhendong Su' as author, editor, or advisor:

FashionGAN: Display your fashion design using Conditional Generative Adversarial NetsY. R. Cui, Q. Liu, C. Y. Gao, Z. Su. cgf, 37(7):109-119, 2018. [doi]
Maqu network for validation of satellite-derived soil moisture productsL. Dente, Zoltán Vekerdy, J. Wen, Z. Su. aeog, 17:55-65, 2012. [doi]
A Neural Networks Controller for a Single-Link Flexible Manipulator Based on the Inverse Dynamics StructureZ. Su, K. Khorasani. ijcnn 2000: 311-316 [doi]
WhatNext: A Prediction System for Web Request Using N-gram Sequence ModelsZ. Su, Q. Yang, Y. Lu, H. Zhang. wise 2000: 214-221
AMSR2 soil moisture product validationRajat Bindlish, Thomas J. Jackson, Michael H. Cosh, T. Koike, X. Fuiji, Richard de Jeu, Steven Tsz K. Chan, Jun Asanuma, Aaron A. Berg, David D. Bosch, Todd Caldwell, C. Holyfield Collins, Heather McNairn, José Martínez-Fernández, John H. Prueger, Mark Seyfried, Patrick J. Starks, Z. Su, Marc Thibeault, Jeffrey P. Walker. igarss 2017: 5637-5640 [doi]
Surface roughness analysis of a conifer forest canopy with airborne and terrestrial laser scanning techniquesK. Weligepolage, A. S. M. Gieske, Z. Su. aeog, 14(1):192-203, 2012. [doi]
First results of the earth observation Water Cycle Multi-mission Observation Strategy (WACMOS)Z. Su, D. Fernández-Prieto, J. Timmermans, X. Chen, K. Hungershoefer, R. Roebeling, M. Schröder, J. Schulz, Piet Stammes, P. Wang, E. Wolters. aeog, 26:270-285, 2014. [doi]
Unified Optical-Thermal Four-Stream Radiative Transfer Theory for Homogeneous Vegetation CanopiesWout Verhoef, Li Jia, Qing Xiao, Z. Su. tgrs, 45(6-2):1808-1822, 2007. [doi]
Estimating areal evaporation from remote sensingZ. Su, X. Li, Y. Zhou, L. Wan, J. Wen, K. Sintonen. igarss 2003: 1166-1168 [doi]
Anomaly detection of defects on concrete structures with the convolutional autoencoderJun Kang Chow, Z. Su, J. Wu, Pin Siang Tan, X. Mao, Y. H. Wang. aei, 45:101105, 2020. [doi]
Development and validation of the SMAP enhanced passive soil moisture productSteven Tsz K. Chan, Rajat Bindlish, Peggy O'Neill, Thomas J. Jackson, Julian Chaubell, Jeffrey Piepmeier, Roy Scott Dunbar, Andreas Colliander, Fan Chen, Dara Entekhabi, Simon Yueh, Michael H. Cosh, Todd Caldwell, Jeffrey P. Walker, Xiaoling Wu, Aaron A. Berg, Tracy L. Rowlandson, Anna Pacheco, Heather McNairn, Marc Thibeault, José Martínez-Fernández, Angel Gonzalez-Zamora, Ernesto López-Baeza, F. Uldall, Mark Seyfried, David D. Bosch, Patrick J. Starks, Chandra D. Holifield Collins, John H. Prueger, Z. Su, R. van der Velde, Jun Asanuma, Michael A. Palecki, Eric E. Small, Marek Zreda, Jean-Christophe Calvet, Wade T. Crow, Yann Kerr. igarss 2017: 2539-2542 [doi]
Effect of spatial resolution on estimating surface albedo: A case study in Speulderbos forest in The NetherlandsK. Weligepolage, A. S. M. Gieske, Z. Su. aeog, 23:18-28, 2013. [doi]
Development and validation of the GCOM-W AMSR2 soil moisture productRajat Bindlish, Thomas J. Jackson, Michael H. Cosh, Sushil Milak, Eni G. Njoku, Steven Chan, Mariko Burgin, Todd Caldwell, Aaron A. Berg, Heather McNairn, Jeffrey P. Walker, Y. Zeng, Z. Su, Marc Thibeault, J. Martinez. igarss 2016: 1647-1650 [doi]
Corrigendum to "First results of the earth observation Water Cycle Multi-mission Observation Strategy (WACMOS)" [Int. J. Applied Earth Observation and Geoinformation 26 (February) (2014) 270-285]Z. Su, D. Fernández-Prieto, J. Timmermans, X. Chen, K. Hungershoefer, R. Roebeling, M. Schröder, J. Schulz, Piet Stammes, P. Wang, E. Wolters. aeog, 30:251-252, 2014. [doi]
Assessment of version 4 of the SMAP passive soil moisture standard productPeggy O'Neill, Steven Tsz K. Chan, Rajat Bindlish, Thomas J. Jackson, Andreas Colliander, Roy Scott Dunbar, Fan Chen, Jeffrey Piepmeier, Simon Yueh, Dara Entekhabi, Michael H. Cosh, Todd Caldwell, Jeffrey P. Walker, Xiaoling Wu, Aaron A. Berg, Tracy L. Rowlandson, Anna Pacheco, Heather McNairn, Marc Thibeault, José Martínez-Fernández, A. Gonzalez-Zamora, Ernesto López-Baeza, F. Udall, Mark Seyfried, David D. Bosch, Patrick J. Starks, Chandra D. Holifield Collins, John H. Prueger, Z. Su, R. van der Velde, Jun Asanuma, Michael A. Palecki, Eric E. Small, Marek Zreda, Jean-Christophe Calvet, Wade T. Crow, Yann Kerr. igarss 2017: 3941-3944 [doi]
A node current-based 2-index formulation for the fixed-destination multi-depot travelling salesman problemMernout Burger, Z. Su, Bart De Schutter. eor, 265(2):463-477, 2018. [doi]
Detecting Logic Vulnerabilities in E-commerce ApplicationsFangqi Sun, Liang Xu, Zhendong Su. ndss 2014: [doi]
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su, editors, ACM, 2016. [doi]
Benchmarking automated GUI testing for Android against real-world bugsTing Su 0001, Jue Wang, Zhendong Su. FSE 2021: 119-130 [doi]
Detecting and analyzing insecure component usageTaeho Kwon, Zhendong Su. FSE 2012: 5 [doi]
Finding and understanding bugs in software model checkersChengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su. FSE 2019: 763-773 [doi]
Sound and precise analysis of web applications for injection vulnerabilitiesGary Wassermann, Zhendong Su. PLDI 2007: 32-41 [doi]
Symbolic mining of temporal specificationsMark Gabel, Zhendong Su. ICSE 2008: 51-60 [doi]
Automated backward error analysis for numerical codeZhoulai Fu, Zhaojun Bai, Zhendong Su. OOPSLA 2015: 639-654 [doi]
Detecting optimization bugs in database engines via non-optimizing reference engine constructionManuel Rigger, Zhendong Su. FSE 2020: 1140-1152 [doi]
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]
SmartSynth: synthesizing smartphone automation scripts from natural languageVu Le, Sumit Gulwani, Zhendong Su. mobisys 2013: 193-206 [doi]
Server interface descriptions for automated testing of JavaScript web applicationsCasper Svenning Jensen, Anders Møller, Zhendong Su. FSE 2013: 510-520 [doi]
ResNet Based Parallel Intelligent System Design for Marine Search and RescueZhendong Su, Darong Liu, Lin Mu. hpcc 2020: 87-96 [doi]
Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer GraphsJiayu Zhu, Chengcheng Wan, Pengbo Nie, Yuting Chen, Zhendong Su. ICSM 2020: 243-254 [doi]
The essence of command injection attacks in web applicationsZhendong Su, Gary Wassermann. POPL 2006: 372-382 [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]
Metamorphic Object Insertion for Testing Object Detection SystemsShuai Wang, Zhendong Su. ASE 2020: 1053-1065 [doi]
Automatic mining of functionally equivalent code fragments via random testingLingxiao Jiang, Zhendong Su. ISSTA 2009: 81-92 [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]
Symbolic verification of message passing interface programsHengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong. ICSE 2020: 1248-1260 [doi]
On the naturalness of softwareAbram Hindle, Earl T. Barr, Mark Gabel, Zhendong Su, Premkumar T. Devanbu. CACM, 59(5):122-131, 2016. [doi]
Fast linear programming through transprecision computing on small and sparse dataTobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler. PACMPL, 4(OOPSLA), 2020. [doi]
Scalable and systematic detection of buggy inconsistencies in source codeMark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su. OOPSLA 2010: 175-190 [doi]
Finding compiler bugs via live code mutationChengnian Sun, Vu Le, Zhendong Su. OOPSLA 2016: 849-863 [doi]
Testing Database Engines via Pivoted Query SynthesisManuel Rigger, Zhendong Su. osdi 2020: 667-682 [doi]
Stochastic optimization of program obfuscationHan Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun. ICSE 2017: 221-231 [doi]
Context-aware statistical debugging: from bug predictors to faulty control flow pathsLingxiao Jiang, Zhendong Su. ASE 2007: 184-193 [doi]
Dynamic test input generation for web applicationsGary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su. ISSTA 2008: 249-260 [doi]
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012Mats Per Erik Heimdahl, Zhendong Su, editors, ACM, 2012. [doi]
GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PCKai Wang, Guoqing Xu, Zhendong Su, Yu David Liu. usenix 2015: 387-401 [doi]
Algot: An Educational Programming Language with Human-Intuitive Visual SyntaxSverrir Thorgeirsson, Zhendong Su. vl 2021: 1-5 [doi]
Online inference and enforcement of temporal propertiesMark Gabel, Zhendong Su. ICSE 2010: 15-24 [doi]
Entailment with Conditional Equality ConstraintsZhendong Su, Alexander Aiken. ESOP 2001: 170-189 [doi]
Context-sensitive data-dependence analysis via linear conjunctive language reachabilityQirun Zhang, Zhendong Su. POPL 2017: 344-358 [doi]
Combining Symbolic Execution and Model Checking for Data Flow TestingTing Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su. ICSE 2015: 654-665 [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]
XSat: A Fast Floating-Point Satisfiability SolverZhoulai Fu, Zhendong Su. cav 2016: 187-209 [doi]
Liberating the programmer with prorogued programmingMehrdad Afshari, Earl T. Barr, Zhendong Su. OOPSLA 2012: 11-26 [doi]
A Survey on Data-Flow TestingTing Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su. ACM Comput. Surv., 50(1), 2017. [doi]
Guided, stochastic model-based GUI testing of Android appsTing Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su. FSE 2017: 245-256 [doi]
Abstracting Runtime Heaps for Program UnderstandingMark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich. TSE, 39(6):774-786, 2013. [doi]
Perses: syntax-guided program reductionChengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su. ICSE 2018: 361-371 [doi]
Static detection of cross-site scripting vulnerabilitiesGary Wassermann, Zhendong Su. ICSE 2008: 171-180 [doi]
Exploring and exploiting the correlations between bug-inducing and bug-fixing commitsMing Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su. FSE 2019: 326-337 [doi]
Automated coverage-driven testing: combining symbolic execution and model checkingTing Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su. chinaf, 59(9):98101, 2016. [doi]
Building white-box abstractions by program refinementMehrdad Afshari, Zhendong Su. OOPSLA 2016: 74-81 [doi]
Understanding the syntactic rule usage in javaDong Qiu, Bixin Li, Earl T. Barr, Zhendong Su. jss, 123:160-172, 2017. [doi]
Profile-guided program simplification for effective testing and analysisLingxiao Jiang, Zhendong Su. sigsoft 2008: 48-58 [doi]
Synthesizing method sequences for high-coverage testingSuresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su. OOPSLA 2011: 189-206 [doi]
Modeling High-Level Behavior Patterns for Precise Similarity Analysis of SoftwareTaeho Kwon, Zhendong Su. icdm 2011: 1134-1139 [doi]
DECKARD: Scalable and Accurate Tree-Based Detection of Code ClonesLingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stephane Glondu. ICSE 2007: 96-105 [doi]
Guided differential testing of certificate validation in SSL/TLS implementationsYuting Chen, Zhendong Su. FSE 2015: 793-804 [doi]
Compiler validation via equivalence modulo inputsVu Le, Mehrdad Afshari, Zhendong Su. PLDI 2014: 25 [doi]
Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience ReportMartin Velez, Michael Yen, Mathew Le, Zhendong Su, Mohammad Amin Alipour. sigcse 2020: 1172-1178 [doi]
Automatic detection of floating-point exceptionsEarl T. Barr, Thanh Vo, Vu Le, Zhendong Su. POPL 2013: 549-560 [doi]
Finding bugs in database systems via query partitioningManuel Rigger, Zhendong Su. PACMPL, 4(OOPSLA), 2020. [doi]
Search, align, and repair: data-driven feedback generation for introductory programming exercisesKe Wang, Rishabh Singh, Zhendong Su. PLDI 2018: 481-495 [doi]
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugsTing Su 0001, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su. PACMPL, 5(OOPSLA):1-31, 2021. [doi]
Finding and analyzing compiler warning defectsChengnian Sun, Vu Le, Zhendong Su. ICSE 2016: 203-213 [doi]
An empirical analysis of the co-evolution of schema and code in database applicationsDong Qiu, Bixin Li, Zhendong Su. FSE 2013: 125-135 [doi]
Perturbing numerical calculations for statistical analysis of floating-point program (in)stabilityEnyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su. ISSTA 2010: 131-142 [doi]
Osprey: a practical type system for validating dimensional unit correctness of C programsLingxiao Jiang, Zhendong Su. ICSE 2006: 262-271 [doi]
Deciding Properties for Message Sequence ChartsAnca Muscholl, Doron Peled, Zhendong Su. fossacs 1998: 226-242 [doi]
Detecting floating-point errors via atomic conditionsDaming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang 0023, Zhendong Su. PACMPL, 4(POPL), 2020. [doi]
Static checking of dynamically generated queries in database applicationsGary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu. TOSEM, 16(4):14, 2007. [doi]
An Empirical Study on Real Bug FixesHao Zhong, Zhendong Su. ICSE 2015: 913-923 [doi]
Hunting for bugs in code coverage tools via randomized differential testingYibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo 0002, Lei Xu 0003, Baowen Xu. ICSE 2019: 488-498 [doi]
Detecting nondeterministic payment bugs in Ethereum smart contractsShuai Wang, Chengyu Zhang, Zhendong Su. PACMPL, 3(OOPSLA), 2019. [doi]
Dynamic Neural Program Embeddings for Program RepairKe Wang, Rishabh Singh, Zhendong Su. iclr 2018: [doi]
Practical GUI testing of Android applications via model abstraction and refinementTianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu 0001, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su. ICSE 2019: 269-280 [doi]
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]
Static Detection of Access Control Vulnerabilities in Web ApplicationsFangqi Sun, Liang Xu, Zhendong Su. uss 2011: [doi]
Generative type-aware mutation for testing SMT solversJiwon Park, Dominik Winterer, Chengyu Zhang 0001, Zhendong Su. PACMPL, 5(OOPSLA):1-19, 2021. [doi]
Javert: fully automatic mining of general temporal properties from dynamic tracesMark Gabel, Zhendong Su. sigsoft 2008: 339-349 [doi]
Coverage-directed differential testing of JVM implementationsYuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao. PLDI 2016: 85-99 [doi]
Automatic Generation of Raven's Progressive MatricesKe Wang, Zhendong Su. IJCAI 2015: 903-909 [doi]
Static Validation of C Preprocessor MacrosAndreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su. ASE 2009: 149-160 [doi]
Fast algorithms for Dyck-CFL-reachability with applications to alias analysisQirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su. PLDI 2013: 435-446 [doi]
Testing mined specificationsMark Gabel, Zhendong Su. FSE 2012: 4 [doi]
Calling-to-reference context translation via constraint-guided CFL-reachabilityCheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, Zhendong Su. PLDI 2018: 196-210 [doi]
X-Force: Force-Executing Binary Programs for Security ApplicationsFei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, Zhendong Su. uss 2014: 829-844 [doi]
Exposing library API misuses via mutation analysisMing Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su. ICSE 2019: 866-877 [doi]
Detecting Races in Relay Ladder Logic ProgramsAlexander Aiken, Manuel Fähndrich, Zhendong Su. TACAS 1998: 184-200 [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]
Achieving high coverage for floating-point code via unconstrained programmingZhoulai Fu, Zhendong Su. PLDI 2017: 306-319 [doi]
Effective floating-point analysis via weak-distance minimizationZhoulai Fu, Zhendong Su. PLDI 2019: 439-452 [doi]
Detecting API documentation errorsHao Zhong, Zhendong Su. OOPSLA 2013: 803-816 [doi]
Client-Side Detection of XSS Worms by Monitoring Payload PropagationFangqi Sun, Liang Xu, Zhendong Su. esorics 2009: 539-554 [doi]
Skeletal program enumeration for rigorous compiler testingQirun Zhang, Chengnian Sun, Zhendong Su. PLDI 2017: 347-361 [doi]
Validating SMT solvers via semantic fusionDominik Winterer, Chengyu Zhang, Zhendong Su. PLDI 2020: 718-730 [doi]
Steering symbolic execution to less traveled pathsYou Li, Zhendong Su, Linzhang Wang, Xuandong Li. OOPSLA 2013: 19-32 [doi]
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and NarrowingsZhendong Su, David Wagner. TACAS 2004: 280-295 [doi]
Ten years of hunting for similar code for fun and profit (keynote)Stéphane Glondu, Lingxiao Jiang, Zhendong Su. FSE 2018: 2 [doi]
Has the bug really been fixed?Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su. ICSE 2010: 55-64 [doi]
A study of the uniqueness of source codeMark Gabel, Zhendong Su. FSE 2010: 147-156 [doi]
HDD: hierarchical Delta DebuggingGhassan Misherghi, Zhendong Su. ICSE 2006: 142-151 [doi]
Automatic Detection of Unsafe Dynamic Component LoadingsTaeho Kwon, Zhendong Su. TSE, 38(2):293-313, 2012. [doi]
Detecting code clones in binary executablesAndreas SÃ¦bjÃ¸rnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su. ISSTA 2009: 117-128 [doi]
A class of polynomially solvable range constraints for interval analysis without wideningsZhendong Su, David Wagner. TCS, 345(1):122-138, 2005. [doi]
Testing Machine Translation via Referential TransparencyPinjia He, Clara Meister, Zhendong Su. ICSE 2021: 410-422 [doi]
Validating JIT Compilers via Compilation Space ExplorationCong Li, Yanyan Jiang 0001, Chang Xu 0001, Zhendong Su. sosp 2023: 66-79 [doi]
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]
Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic WormsMatthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna. acsac 2007: 74-85 [doi]
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ ProgramsJiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su. osdi 2021: 479-494 [doi]
On the naturalness of softwareAbram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu. ICSE 2012: 837-847 [doi]
Capturing and Exploiting IDE InteractionsZhongxian Gu, Drew Schleck, Earl T. Barr, Zhendong Su. OOPSLA 2014: 83-94 [doi]
Machine translation testing via pathological invarianceShashij Gupta, Pinjia He, Clara Meister, Zhendong Su. FSE 2020: 863-875 [doi]
Toward understanding compiler bugs in GCC and LLVMChengnian Sun, Vu Le, Qirun Zhang, Zhendong Su. ISSTA 2016: 294-305 [doi]
Dimensionally Guided Synthesis of Mathematical Word ProblemsKe Wang, Zhendong Su. IJCAI 2016: 2661-2668 [doi]
Structure-invariant testing for machine translationPinjia He, Clara Meister, Zhendong Su. ICSE 2020: 961-973 [doi]
Understanding and finding system setting-related defects in Android appsJingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su. ISSTA 2021: 204-215 [doi]
Automatic detection of unsafe component loadingsTaeho Kwon, Zhendong Su. ISSTA 2010: 107-118 [doi]
BQL: capturing and reusing debugging knowledgeZhongxian Gu, Earl T. Barr, Zhendong Su. ICSE 2011: 1001-1003 [doi]
Validity Checking for Finite Automata over Linear Arithmetic ConstraintsGary Wassermann, Zhendong Su. fsttcs 2006: 405-416 [doi]
A Toolkit for Constructing Type- and Constraint-Based Program AnalysesAlexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su. tic 1998: 78-96 [doi]
Symbolic verification of regular propertiesHengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong 0006. ICSE 2018: 871-881 [doi]
Scalable detection of semantic clonesMark Gabel, Lingxiao Jiang, Zhendong Su. ICSE 2008: 321-330 [doi]
Automatic runtime recovery via error handler synthesisTianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, Zhendong Su. ASE 2016: 684-695 [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]
Efficient subcubic alias analysis for CQirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su. OOPSLA 2014: 829-845 [doi]
A Genetic Algorithm for Detecting Significant Floating-Point InaccuraciesDaming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei. ICSE 2015: 529-539 [doi]
Complexity of Subtype Satisfiability over PosetsJoachim Niehren, Tim Priesnitz, Zhendong Su. ESOP 2005: 357-373 [doi]
JDBC Checker: A Static Analysis Tool for SQL/JDBC ApplicationsCarl Gould, Zhendong Su, Premkumar T. Devanbu. ICSE 2004: 697-698 [doi]
Detecting races in Relay Ladder Logic programsAlexander Aiken, Manuel Fähndrich, Zhendong Su. STTT, 3(1):93-105, 2000. [doi]
Disrupting Terrorist Networks Based on Link Prediction: A Case Study of the 9-11 Hijackers NetworkZhendong Su, Kaijun Ren, Ruoyun Zhang, Suo-Yi Tan. access, 7:61689-61696, 2019. [doi]
Global optimization of numerical programs via prioritized stochastic algebraic transformationsXie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen 0001, Linzhang Wang, Xianpei Zhang, Xuandong Li. ICSE 2019: 1131-1141 [doi]
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]
Keyword programming for TouchDevelopVu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su. mobisys 2013: 463-464 [doi]
Static Detection of Unsafe Component LoadingsTaeho Kwon, Zhendong Su. CC 2012: 122-143 [doi]
Large-scale analysis of framework-specific exceptions in Android appsLingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su. ICSE 2018: 408-419 [doi]
On the localness of softwareZhaopeng Tu, Zhendong Su, Premkumar T. Devanbu. FSE 2014: 269-280 [doi]
The first-order theory of subtyping constraintsZhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen. POPL 2002: 203-216 [doi]
Deep differential testing of JVM implementationsYuting Chen, Ting Su, Zhendong Su. ICSE 2019: 1257-1268 [doi]
Context-based detection of clone-related bugsLingxiao Jiang, Zhendong Su, Edwin Chiu. ESEC/FSE 2007: 55-64 [doi]
Projection Merging: Reducing Redundancies in Inclusion Constraint GraphsZhendong Su, Manuel Fähndrich, Alexander Aiken. POPL 2000: 81-95 [doi]
Blended, precise semantic program embeddingsKe Wang 0022, Zhendong Su. PLDI 2020: 121-134 [doi]
Detecting Energy Bugs in Android Apps Using Static AnalysisHao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan. icfem 2017: 192-208 [doi]
How test suites impact fault localisation starting from the sizeYan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su. iee, 12(3):190-205, 2018. [doi]
Finding deep compiler bugs via guided stochastic program mutationVu Le, Chengnian Sun, Zhendong Su. OOPSLA 2015: 386-399 [doi]
On the unusual effectiveness of type-aware operator mutations for testing SMT solversDominik Winterer, Chengyu Zhang, Zhendong Su. PACMPL, 4(OOPSLA), 2020. [doi]
Static Checking of Dynamically Generated Queries in Database ApplicationsCarl Gould, Zhendong Su, Premkumar T. Devanbu. ICSE 2004: 645-654 [doi]
Reusing debugging knowledge via trace-based bug searchZhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su. OOPSLA 2012: 927-942 [doi]
Randomized stress-testing of link-time optimizersVu Le, Chengnian Sun, Zhendong Su. ISSTA 2015: 327-337 [doi]
Partial Online Cycle Elimination in Inclusion Constraint GraphsManuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken. PLDI 1998: 85-96
Automated Geometry Theorem Proving for Human-Readable ProofsKe Wang, Zhendong Su. IJCAI 2015: 1193-1199 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Zhendong Su's Profile

Unidentified Publications