Zuchao Yang

According to our database, Zuchao Yang authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).

Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.

Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Prioritized Constraint-Aided Dynamic Partial-Order Reduction.

Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022