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

2025

SPLASH

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