Zhendong Su
9 papers
· 2015–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)