Yan Cai

Registered user since Thu 15 Dec 2016

Name:Yan Cai
Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences
Personal website:http://yancai.site
Research interests:software testing; program security

Contributions

MSR 2021 Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2022 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2021 Author of Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events within the Research Papers-track
Author of Sound and Efficient Concurrency Bug Prediction within the Research Papers-track
ISSTA 2021 Author of Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? within the Technical Papers-track
Author of Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? within the Artifact Evaluation-track
Author of RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis within the Technical Papers-track
ICSE 2022 Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Program Committee within the Artifact Evaluation-track
Committee Member in Program Committee within the DEMO - Demonstrations-track
ISSTA 2020 Co-chair in Program Committee within the TAV-CPS/IoT-track
MSR 2020 Ordinary PC member in Program Committee within the Technical Papers-track
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
ASE 2019 Author of ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities within the Demonstrations-track
ISSTA 2019 Committee Member in Program Committee within the Workshop – TAV-CPS/IoT-track
Author of Scalable Detection of Concurrency Vulnerabilities within the Workshop – TAV-CPS/IoT-track
TAV-CPS/IoT 2018 Committee Member in Program Committee within the TAV-CPS/IoT-track
ICSE 2020 Author of Low-Overhead Deadlock Prediction within the Technical Papers-track
ESEC/FSE 2018 Author of NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection within the Research Papers-track