Jiyu Yang

According to our database, Jiyu Yang authored at least 7 papers between 2022 and 2025.

Collaborative distances:

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

2025

RIADNet: single image deraining network for raindrops and rain streaks removal.

Changle Yu, Ping Fan, Yi Zhang, Jiyu Yang

Mach. Learn., October, 2025

EdgeThemis: Ensuring Model Integrity for Edge Intelligence.

Jiyu Yang, Qiang He, Zheyu Zhou, Xiaohai Dai, Feifei Chen, Cong Tian, Yun Yang

Proceedings of the ACM on Web Conference 2025, 2025

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

PIChecker for SV-COMP 2023.

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

Dataset, December, 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