Qinxiang Cao
4 papers · 2022–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(4)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (1)
ICLR (1)
NIPS (1)
NSDI (1)
Top co-authors
Keywords
program verification
(2)
multi-view learning
(1)
program representation
(1)
symbolic execution
(1)
extended berkeley packet filter
(1)
large language model
(1)
graph neural network
(1)
algorithm detection
(1)
code semantics
(1)
kernel security
(1)
data flow
(1)
multi-view graph
(1)
data flow analysis
(1)
control flow analysis
(1)
bytecode verification
(1)
annotation-guided verification
(1)
loop invariant generation
(1)
memory manipulation
(1)
Papers
Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach
ICLR 2025
VEP: A Two-stage Verification Toolchain for Full eBPF Programmability
NSDI 2025
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
NIPS 2024
Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection
AAAI 2022