Toggle navigation
conf.researchr.org
/
Wei Dong
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2020 profile
ICSE 2019 profile
ICSE 2020 profile
Not registered as user yet
Name:
Wei Dong
Contributions
ASE 2020
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 2020
Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
ICSE 2019
Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
* ICSE 2018 *
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
x
Thu 3 Dec 09:44