21 citations · 105 across the 25 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.PL2021★ 2 cited
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
Mohan Cui, Chengjun Chen, Hui Xu +1
Rust is an emerging programming language that aims to prevent memory-safety bugs. However, the current design of Rust also brings side effects which may increase the risk of memory…
cs.SE2021
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Jianfeng Jiang, Hui Xu, Yangfan Zhou
Robustness is a key concern for Rust library development because Rust promises no risks of undefined behaviors if developers use safe APIs only. Fuzzing is a practical approach for…
cs.SE2021
Fast Outage Analysis of Large-scale Production Clouds with Service Correlation Mining
Yaohui Wang, Guozheng Li, Zijian Wang +13
Cloud-based services are surging into popularity in recent years. However, outages, i.e., severe incidents that always impact multiple services, can dramatically affect user experi…