Zhineng Zhong -

Registered user since Tue 26 Aug 2025

Name:Zhineng Zhong

Affiliation:Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University

Contributions

2026

LCTES

Author of SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection within the LCTES 2026-track

ISSTA

Author of SymWeb: Feedback-Driven Context Exploration and Context-Aware Symbolic Execution for Browser-Embedded WebAssembly Vulnerability Detection within the Research papers-track

2025

SPLASH

Author of Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles within the OOPSLA-track