conf.researchr.org / Wei Dong

Not registered as user yet

Name: Wei Dong

Contributions

ASE 2020Author 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 2020Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
ICSE 2019Author 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