Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ji Wang
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ASE 2020 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
POPL 2017 profile
SPLASH 2020 profile
Not registered as user yet
Name:
Ji Wang
Contributions
NSAD 2020
Author of Rigorous Linear Programming Techniques for Numerical Abstract Domains within the NSAD-track
ASE 2020
Author of Efficient Multiplex Symbolic Execution with Adaptive Search Strategy within the Late Breaking Results-track
Author of Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once within the Research Papers-track
Author of CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs within the Research Papers-track
Author of Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN within the Late Breaking Results-track
ICSE 2021
Author of DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures within the Technical Track-track
ASE 2019
Author of Detecting Error-Handling Bugs without Error Specification Input within the Research Papers-track
ICSE 2020
Author 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 2019
Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
ICPC 2018
Author of LogTracker: Learning Log Revision Behaviors Proactively from Software Evolution History within the Technical Research-track
VMCAI 2017
Author 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
Share
x
Tue 26 Jan 07:06