conf.researchr.org / Jian Zhang
Registered user since Mon 4 Nov 2024
Name:Jian Zhang
Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Contributions
2024
ISSTA
ECOOP/ISSTA
ICSE
International Conference on Program Comprehension
2023
ASE
- Author of PSMT: Satisfiability Modulo Theories Meets Probability Distribution within the NIER Track-track
- Author of Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count within the Research Papers-track
- Author of NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization within the Tool Demonstrations-track
- Author of Detection of Java Basic Thread Misuses Based on Static Event Analysis within the Research Papers-track
ISSTA
ICSE
- Author of Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers within the Technical Track-track
- Program Committee Member in Technical Track within the Technical Track-track
- Author of Detecting Exception Handling Bugs in C++ Programs within the Technical Track-track
- Author of Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers within the Artifact Evaluation-track