Yanchi Yuan

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Communication Infrastructure

Static Analysis

Handheld Devices

Top Venues

Sci. Comput. Program.

Publications

Wangjie Ji, Lili Bo, Yanchi Yuan, Xiaobing Sun
TDFix: A lightweight tool for fixing deadlocks based on templates. Sci. Comput. Program. 233 (2024)
Lili Bo, Yanchi Yuan, Xiaobing Sun, Hao Xie, Bin Li
TemLock: A Lightweight Template-based Approach for Fixing Deadlocks Caused by ReentrantLock. SANER (2023)