Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wei Dong
conf.researchr.org general profile
* ICSE 2018 * profile
APLAS & ATVA 2026 profile
APSEC 2025 profile
ASE 2020 profile
FM 2026 profile
FSE 2025 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
ICSE 2026 profile
ISSTA 2025 profile
Internetware 2023 profile
Internetware 2024 profile
SANER 2025 profile
SPLASH/ISSTA 2026 profile
Registered user since Sat 2 May 2026
Name:
Wei Dong
Country:
China
Affiliation:
National University of Defense Technology
Contributions
2026
APLAS
Committee Member in Program Committee within the ATVA Research Papers-track
SPLASH
Author of Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse within the OOPSLA-track
FM
Author of Accelerating Kind Realizability: A Multi-Stage Incremental Realizability Checking Framework within the Research Track-track
Author of EUF-based Solving Dyck-Reachability with Applications to Static Analysis within the TAP Track-track
ICSE
Author of Accelerating IC3 Verification by Exploiting Unsatisfiable Cores and Satisfying Models within the Research Track-track
2025
APSEC
Author of MUATC: Multi-Agent Utilization to Augment Test Coverage within the Technical Track-track
ISSTA
Author of Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation within the Research Papers-track
ESEC/FSE
Author of QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints within the Research Papers-track
Author of Bridging Operator Semantic Inconsistencies: A Source-level Cross-framework Model Conversion Approach within the Research Papers-track
ICSE
Author of Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V within the Research Track-track
SANER
Author of THINK: Tackling API Hallucinations in LLMs via Injecting Knowledge within the Research Papers-track
2024
Internetware
Committee Member in Program Committee within the Research Track-track
Author of Synthesizing Controller for Unsynthesizable Specification Based on Criticality Levels within the Research Track-track
KLEE
Author of Symbolic Execution Oriented Constraint Solving within the KLEE 2024-track
2023
Internetware
Author of FAEG: Feature-Driven Automatic Exploit Generation within the Main Track-track
ICSE
Author of One Adapter for All Programming Languages? Adapter Tuning for Multilingual Tasks in Software Engineering within the Technical Track-track
Author of deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search within the Journal-First Papers-track
2022
ICSE
Author of Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding within the Technical Track-track
2021
ICSE
Author of An Evolutionary Study of Configuration Design and Implementation in Cloud Systems within the AE - Artifact Evaluation-track
Author of An Evolutionary Study of Configuration Design and Implementation in Cloud Systems within the Technical Track-track
2020
ASE
Author of Boosting Component-based Synthesis with API Usage Knowledge within the [Workshop] NLP-SEA-track
Author of Collective Intelligence for Smarter Neural Program Synthesis within the [Workshop] NLP-SEA-track
ICSE
Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
2019
ICSE
Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
2018
ICSE
Author of Poster W48: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution within the Posters -track
Author of Symbolic Verification of Regular Properties within the Technical Papers -track
Share
x
Sun 3 May 18:18