Zhendong Su
10 papers · 2015–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐บ๏ธ Taxonomy Completionist (11) ๐ฃ Hot Topic Early Bird ๐ Academic Marathon ยท Half ๐ Conference Polyglot ยท Bronze ๐ Interdisciplinary Bridge ยท Bronze
๐
Conference Pioneer
๐
Century Club ยท Bronze
Top co-authors
Research topics
Keywords
logic bug
(3)
semantic equivalence
(2)
logic bug detection
(2)
database testing
(2)
semantic embedding
(1)
proof search
(1)
formal verification
(1)
program repair
(1)
program analysis
(1)
execution trace
(1)
bug detection
(1)
extended berkeley packet filter
(1)
state embedding
(1)
linux kernel
(1)
semantic preservation
(1)
query synthesis
(1)
privilege escalation
(1)
software testing
(1)
pivot row
(1)
static analysis
(1)
Papers
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
OSDI 2026
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
OSDI 2024
Validating the eBPF Verifier via State Embedding
OSDI 2024
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
OSDI 2023
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs
OSDI 2021
Testing Database Engines via Pivoted Query Synthesis
OSDI 2020
Dynamic Neural Program Embeddings for Program Repair
ICLR 2018
Dimensionally Guided Synthesis of Mathematical Word Problems
IJCAI 2016
Automated Geometry Theorem Proving for Human-Readable Proofs
IJCAI 2015
Automatic Generation of Ravenโs Progressive Matrices
IJCAI 2015