Zhendong Su
9 papers · 2015–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Academic Marathon (9) π§ Keyword Pioneer π Conference Polyglot (3) π£ Hot Topic Early Bird π Cross-Pollinator (3)
π
Interdisciplinary Bridge
π
Conference Pioneer
Conferences
OSDI (5)
IJCAI (3)
ICLR (1)
Top co-authors
Keywords
logic bug
(3)
semantic equivalence
(2)
logic bug detection
(2)
database testing
(2)
bug detection
(1)
extended berkeley packet filter
(1)
state embedding
(1)
linux kernel
(1)
privilege escalation
(1)
query synthesis
(1)
pivot row
(1)
dynamic analysis
(1)
query generation
(1)
ebpf verifier
(1)
kernel security
(1)
approximation correctness
(1)
pivoted query synthesis
(1)
query transformation
(1)
equivalent expression
(1)
program optimization
(1)
Papers
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