Demo Data from VLDB 2026 / reviewers in the wild / expert
Haochen Zeng
dblp:331/2642
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0005-3952-2804ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
dynamic analysis |
0.6 | 1 | 2022 | SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022 |
Program analysis › symbolic execution
dynamic symbolic execution |
0.6 | 1 | 2022 | SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022 |
Program analysis
data flow analysis |
0.2 | 1 | 2022 | SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022 |
Program analysis › data flow analysis
dynamic data flow analysis |
0.2 | 1 | 2022 | SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis · USENIX Security Symposium 2022 |
Methods — techniques the papers use, named apart from their topics
dynamic data flow analysis · 0.6concolic execution · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Multimodal Time-Series Recognition With Spatio-Temporal Dynamic Graph Spike Neural NetworksabstractBrain–computer interface (BCI) is a cutting-edge technology that holds promise in the healthcare industry, where multimodal information integration is required to capture features of physiological signals from different equipments. Challenge remains as how to integrate and detect diversified time series, such as electroencephalogram (EEG) and audio, for anomaly detection. This article proposes a spatio–temporal dynamic graph spike neural network, termedDynGraphSpike, which is constituted by two brain-inspired perception modules, each driven by a dynamic graph neural network (DGNN), and one spike-based multisensory integration network. DGNN incorporates the Wilson-Cowan model to configure spatio– temporal dynamics of the nodes, and utilizes the phase locking values of EEG channels to reshape the edges. To merge EEG and audio, spiking neurons are used to construct the multisensory integration network. Experiments demonstrate that DynGraphSpike achieves a classification accuracy over 99%, outperforming the state-of-the-art methods. Ablation studies confirm that the Wilson–Cowan and spiking dynamics enhance feature alignment via temporal synchronization, as indicated by dynamic warping time scores. Together with spatio–temporal dynamics, DynGraphSpike has the potential to facilitate BCI technologies for disease diagnosis. Bin Hu 0008, Haochen Zeng, Zhi-Hong Guan |
IEEE Trans. Ind. Informatics | 2 |
| 2022 | SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis
Ju Chen, Wookhyun Han, Mingjun Yin, Haochen Zeng, Chengyu Song, Byoungyoung Lee, Heng Yin 0001, Insik Shin |
USENIX Security Symposium | 4 |