pith. sign in

Zhendong Su

Identifiers

  • name variant Zhendong Su 0.60 · backfill

Papers (17)

  1. Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths cs.SE · 2026 · author #2
  2. CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits cs.SE · 2026 · author #3
  3. Neuro-Symbolic Proof Generation for Scaling Systems Software Verification cs.AI · 2026 · author #7
  4. Cross-Ecosystem Vulnerability Analysis for Python Applications cs.CR · 2026 · author #5
  5. Code Semantic Zooming cs.HC · 2025 · author #3
  6. Learning Blended, Precise Semantic Program Embeddings cs.SE · 2019 · author #2
  7. Towards Efficient Data-flow Test Data Generation cs.SE · 2018 · author #8
  8. Large-Scale Analysis of Framework-Specific Exceptions in Android Apps cs.SE · 2018 · author #8
  9. Dynamic Neural Program Embedding for Program Repair cs.AI · 2017 · author #3
  10. Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs cs.HC · 2017 · author #2
  11. Data-Driven Feedback Generation for Introductory Programming Exercises cs.PL · 2017 · author #3
  12. Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version) cs.PL · 2017 · author #2
  13. Skeletal Program Enumeration for Rigorous Compiler Testing cs.PL · 2016 · author #3
  14. Mathematical Execution: A Unified Approach for Testing Numerical Code cs.PL · 2016 · author #2
  15. Toward Rapid Transformation of Ideas into Software cs.SE · 2016 · author #2
  16. On the Lexical Distinguishability of Source Code cs.SE · 2015 · author #5
  17. Abstracting Runtime Heaps for Program Understanding cs.PL · 2012 · author #3

Mentions

  • 2603.18693 #5 · arxiv_oai · confidence 0.70 Zhendong Su
  • 2605.22992 #2 · arxiv_oai · confidence 0.70 Zhendong Su
  • 1201.1327 #3 · backfill · confidence 0.70 Zhendong Su

Frequent Coauthors