Zhendong Su 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 56 from 56

2025

Relaxing Alias Analysis: Exploring the Unexplored SpaceMichel Weber 0001, Theodoros Theodoridis, Zhendong Su 0001. PACMPL, 9(OOPSLA1):201-224, 2025. [doi]

Mokav: Execution-driven differential testing with LLMsKhashayar Etemadi, Bardia Mohammadi, Zhendong Su 0001, Martin Monperrus. jss, 230:112571, 2025. [doi]

Sand: Decoupling Sanitization from Fuzzing for Low OverheadZiqiao Kong, Shaohua Li 0002, Heqing Huang 0002, Zhendong Su 0001. ICSE 2025: 255-267 [doi]

API-Guided Dataset Synthesis to Finetune Large Code ModelsZongjie Li, Daoyuan Wu, Shuai Wang 0011, Zhendong Su 0001. PACMPL, 9(OOPSLA1):786-815, 2025. [doi]

Validating JIT Compilers via Compilation Space ExplorationCong Li, Yanyan Jiang 0001, Chang Xu 0001, Zhendong Su 0001. tocs, 43(3):1-37, 2025. [doi]

Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order FunctionsSilvan Renggli, Sverrir Thorgeirsson, Theo B. Weidmann, Zhendong Su 0001. iticse 2025: 681-688 [doi]

What Can Computer Science Educators Learn From the Failures of Top-Down Pedagogy?Sverrir Thorgeirsson, Tracy Ewen, Zhendong Su 0001. sigcse 2025: 1127-1133 [doi]

Divergence-Aware Testing of Graphics Shader Compiler Back-EndsDongwei Xiao, Shuai Wang 0011, Zhibo Liu, Yiteng Peng, Daoyuan Wu, Zhendong Su 0001. PACMPL, 9(OOPSLA1):1367-1391, 2025. [doi]

CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side ChannelsYuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su 0001. sp 2025: 4136-4154 [doi]

2024

SMT2Test: From SMT Formulas to Effective Test CasesChengyu Zhang 0001, Zhendong Su 0001. PACMPL, 8(OOPSLA2):222-245, 2024. [doi]

A Direct Manipulation Programming Environment for Teaching Introductory and Advanced Software TestingMaximilian Georg Barth, Sverrir Thorgeirsson, Zhendong Su 0001. kolicalling 2024: [doi]

When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code EcosystemsGeorgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su 0001. PACMPL, 8(OOPSLA2):2490-2520, 2024. [doi]

Assessing Live Programming for Program ComprehensionOliver Graf, Sverrir Thorgeirsson, Zhendong Su 0001. iticse 2024: [doi]

Detecting Logic Bugs in Database Engines via Equivalent Expression TransformationZu-Ming Jiang, Zhendong Su 0001. osdi 2024: 821-835 [doi]

UBFuzz: Finding Bugs in Sanitizer ImplementationsShaohua Li, Zhendong Su 0001. asplos 2024: 435-449 [doi]

Boosting Compiler Testing by Injecting Real-World CodeShaohua Li, Theodoros Theodoridis, Zhendong Su 0001. PACMPL, 8(PLDI):223-245, 2024. [doi]

Understanding and Finding Java Decompiler BugsYifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su 0001. PACMPL, 8(OOPSLA1):1380-1406, 2024. [doi]

API-Driven Program Synthesis for Testing Static Typing ImplementationsThodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su 0001. PACMPL, 8(POPL):1850-1881, January 2024. [doi]

Validating the eBPF Verifier via State EmbeddingHao Sun, Zhendong Su 0001. osdi 2024: 615-628 [doi]

Refined Input, Degraded Output: The Counterintuitive World of Compiler BehaviorTheodoros Theodoridis, Zhendong Su 0001. PACMPL, 8(PLDI):671-691, 2024. [doi]

The Hidden Program State Hurts EveryoneSverrir Thorgeirsson, Oliver Graf, Zhendong Su 0001. Onward! 2024: 266-274 [doi]

Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming ApproachesSverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su 0001. sigcse 2024: 1321-1327 [doi]

Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language AlgotSverrir Thorgeirsson, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su 0001. sigcse 2024: 1328-1334 [doi]

An Electroencephalography Study on Cognitive Load in Visual and Textual ProgrammingSverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su 0001. icer 2024: 280-292 [doi]

Validating SMT Solvers for Correctness and Performance via Grammar-Based EnumerationDominik Winterer, Zhendong Su 0001. PACMPL, 8(OOPSLA2):2378-2401, 2024. [doi]

General and Practical Property-based Testing for Android AppsYiheng Xiong, Ting Su 0001, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su 0001. ASE 2024: 53-64 [doi]

Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic ArmsShengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen 0001, Zhendong Su 0001. ICSE 2024: [doi]

Practical, Automated Scenario-Based Mobile App TestingShengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen 0001, Zhendong Su 0001. TSE, 50(7):1949-1966, July 2024. [doi]

Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement LearningShengcheng Yu, Chunrong Fang, Xin Li 0034, Yuchen Ling, Zhenyu Chen 0001, Zhendong Su 0001. TOSEM, 33(7), September 2024. [doi]

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network TestingYuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001. ISSTA 2024: 1605-1617 [doi]

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side ChannelsYuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang 0011, Yinqian Zhang, Zhendong Su 0001. ccs 2024: 4346-4360 [doi]

2023

Towards Efficient Data-Flow Test Data GenerationTing Su 0001, Chengyu Zhang 0001, Yichen Yan, Lingling Fan 0003, Yang Liu 0003, Zhoulai Fu, Zhendong Su 0001. BIRTHDAY 2023: 257-293 [doi]

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query GenerationZu-Ming Jiang, Jia-Ju Bai, Zhendong Su 0001. uss 2023: 4949-4965 [doi]

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle ConstructionZu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su 0001. osdi 2023: 397-417 [doi]

Testing Graph Database Engines via Query PartitioningMatteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su 0001. ISSTA 2023: 140-149 [doi]

Finding Unstable Code via Compiler-Driven Differential TestingShaohua Li, Zhendong Su 0001. asplos 2023: 238-251 [doi]

Accelerating Fuzzing through Prefix-Guided ExecutionShaohua Li, Zhendong Su 0001. PACMPL, 7(OOPSLA1):1-27, April 2023. [doi]

Accelerating Fuzzing through Prefix-Guided ExecutionShaohua Li, Zhendong Su 0001. PACMPL, 7(PLDI):1-27, 2023. [doi]

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for AndroidEnze Ma, Shan Huang, Weigang He, Ting Su 0001, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su 0001. FSE 2023: 592-604 [doi]

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS ImplementationsPengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su 0001. TOSEM, 32(1), January 2023. [doi]

Property-Based Fuzzing for Finding Data Manipulation Errors in Android AppsJingling Sun, Ting Su 0001, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su 0001. FSE 2023: 1088-1100 [doi]

Characterizing and Finding System Setting-Related Defects in Android AppsJingling Sun, Ting Su 0001, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie 0001, Zhendong Su 0001. TSE, 49(4):2941-2963, April 2023. [doi]

An Empirical Study of Functional Bugs in Android AppsYiheng Xiong, Mengqian Xu, Ting Su 0001, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He 0001, Zhendong Su 0001. ISSTA 2023: 1319-1331 [doi]

Precise and Generalized Robustness Certification for Neural NetworksYuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001. uss 2023: 4769-4786 [doi]

2022

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android AppsTing Su 0001, Lingling Fan 0003, Sen Chen, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su 0001. TSE, 48(4):1115-1137, 2022. [doi]

Finding and Understanding Incompleteness Bugs in SMT SolversMauro Bringolf, Dominik Winterer, Zhendong Su 0001. ASE 2022: [doi]

IRDL: an IR definition language for SSA compilersMathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su 0001, Tobias Grosser. PLDI 2022: 199-212 [doi]

Intramorphic Testing: A New Approach to the Test Oracle ProblemManuel Rigger, Zhendong Su 0001. Onward! 2022: 128-136 [doi]

Finding missed optimizations through the lens of dead code eliminationTheodoros Theodoridis, Manuel Rigger, Zhendong Su 0001. asplos 2022: 697-709 [doi]

Does Deliberately Failing Improve Learning in Introductory Computer Science?Sverrir Thorgeirsson, Tanmay Sinha, Felix Friedrich, Zhendong Su 0001. ectel 2022: 608-614 [doi]

Forest: Structural Code Editing with Multiple CursorsPhilippe Voinov, Manuel Rigger, Zhendong Su 0001. Onward! 2022: 137-152 [doi]

Detecting non-crashing functional bugs in Android apps via deep-state differential analysisJue Wang, Yanyan Jiang 0001, Ting Su 0001, Shaohua Li, Chang Xu, Jian Lu 0001, Zhendong Su 0001. FSE 2022: 434-446 [doi]

Bridging the Syntax-Semantics Gap of ProgrammingTheo B. Weidmann, Sverrir Thorgeirsson, Zhendong Su 0001. Onward! 2022: 80-94 [doi]

Oracle-free repair synthesis for floating-point programsDaming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong 0001, Zhendong Su 0001. PACMPL, 6(OOPSLA2):957-985, 2022. [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Zhendong Su 0001'

Viewing Publication 1 - 56 from 56

2025

2024

2023

2022

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Zhendong Su 0001'

Viewing Publication 1 - 56 from 56

2025

2024

2023

2022

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1