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

ICSE 2024	Committee Member in New Ideas and Emerging Results within the New Ideas and Emerging Results-track
ISSTA 2023	Author of Building Critical Testing Scenarios for Autonomous Driving from Real Accidents within the Technical Papers-track
ICSE 2023	Author of Tolerate Control-Flow Changes for Sound Data Race Prediction within the Technical Track-track Committee Member in New Ideas and Emerging Results within the NIER - New Ideas and Emerging Results-track
ESEC/FSE 2022	Committee Member in Program Committee within the Research Papers-track
ASE 2022	Committee Member in Program Committee within the Student Research Competition-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
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 2021	Committee Member in Program Committee within the Technical Track-track
MSR 2021	Committee Member in Program Committee within the Technical Papers-track
ISSTA 2020	Co-chair in Program Committee within the TAV-CPS/IoT-track
ICSE 2020	Author of Low-Overhead Deadlock Prediction within the Technical Papers-track
MSR 2020	Ordinary PC member in Program Committee within the Technical Papers-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
ESEC/FSE 2018	Author of NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection within the Research Papers-track
TAV-CPS/IoT 2018	Committee Member in Program Committee within the TAV-CPS/IoT-track