Bowen Du -

Not registered as user

Name:Bowen Du

Country:China

Affiliation:Tongji University

Contributions

2026

ISSTA

Author of Augmenting Multi-Technique Static Analysis with Large Language Models: A Neuro-Symbolic Approach to Smart Contract Vulnerability Detection within the Research papers-track

SPLASH

Author of SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification within the OOPSLA-track