Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wei Dong
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2020 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
Internetware 2023 profile
Internetware 2024 profile
Not registered as user
Name:
Wei Dong
Country:
China
Affiliation:
National University of Defense Technology
Contributions
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
Sat 21 Dec 18:17