Jiyu Yang

According to our database, Jiyu Yang authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

DynaEDI: Decentralized Integrity Verification for Dynamic Edge Data.

Qiang He, Jiyu Yang, Feifei Chen, Cong Tian, Yanhui Li, Yun Yang

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

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