Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Meng Wang
conf.researchr.org general profile
APSEC 2022 profile
APSEC 2023 profile
APSEC 2024 profile
APSEC 2025 profile
ASE 2026 profile
FSE 2026 profile
Internetware 2024 profile
Not registered as user
Name:
Meng Wang
Country:
China
Affiliation:
Hebei university
Contributions
2026
ASE
Author of DafnyRAG: A Retrieval-Augmented and Verification-Driven Tool for Automated Repair of Dafny Code within the Tools and Datasets-track
ESEC/FSE
Author of IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints within the Ideas, Visions and Reflections-track
2025
APSEC
Author of Smart Contract Vulnerability Detection Based on Residual Dilated Convolution with Multi-Head Attention within the Technical Track-track
2024
APSEC
Author of Parallel symbolic execution for smart contracts with load balancing within the Technical Track-track
Author of CDHF: Coordination Driven Hybrid Fuzzing for EOSIO Smart Contracts within the Technical Track-track
Internetware
Author of Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching within the Research Track-track
2023
APSEC
Author of Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts within the Technical Track-track
2022
APSEC
Author of Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts within the Technical Track-track
Share
x
Wed 19 Aug 07:48