Wei Dong -

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 2021	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
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