conf.researchr.org / Ji Wang

Not registered as user yet

Name: Ji Wang

Contributions

ASE 2019Author of Detecting Error-Handling Bugs without Error Specification Input within the Research Papers-track
ICSE 2020Author of MPI-SV: A Symbolic Verifier for MPI Programs within the Demonstrations-track
Author 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
ICPC 2018Author of LogTracker: Learning Log Revision Behaviors Proactively from Software Evolution History within the Technical Research-track
VMCAI 2017Author of Block-wise abstract interpretation by combining abstract domains with SMT within the VMCAI-track
* ICSE 2018 *Author of Symbolic Verification of Regular Properties within the Technical Papers -track