Zhen Yan

5 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 FSE ×1 ICSE ×1 OOPSLA ×1 USENIX Security ×1

Frequent coauthors

Yuanliang Chen

×4

Fuchen Ma

×4

Yu Jiang

×4

Dalong Shi

×2

Yuanhang Zhou

×2

Zhensheng Xian

×1

Xuelian Cao

×1

Zehong Yu

×1

Ting Chen

×1

Hao Sun

×1

Dongyue Guo

×1

Zheng Zhang

×1

Papers

Eidolon: Perform Noise-Aware Fuzzing on FHE Libraries via Equivalence Expression Transformation
FSE 2026 ·
Zhensheng Xian
, Zhen Yan,
Yuanliang Chen
,
Xuelian Cao
,
Fuchen Ma
,
Dalong Shi
,
Yu Jiang
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
OOPSLA 2026 · Zhen Yan,
Yuanliang Chen
,
Fuchen Ma
,
Zehong Yu
,
Dalong Shi
,
Yu Jiang
Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs
ICSE 2025 ·
Yuanhang Zhou
, Zhen Yan,
Yuanliang Chen
,
Fuchen Ma
,
Ting Chen
,
Yu Jiang
Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling
USENIX Security 2025 ·
Fuchen Ma
,
Yuanliang Chen
,
Yuanhang Zhou
, Zhen Yan,
Hao Sun
,
Yu Jiang
FlightBERT++: A Non-autoregressive Multi-Horizon Flight Trajectory Prediction Framework
AAAI 2024 ·
Dongyue Guo
,
Zheng Zhang
, Zhen Yan,
Jianwei Zhang
,
Yi Lin