11 citations · 11 across the 1 of their papers we have counts for
2 papers
cs.PL2019★ 11 cited
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software
Zeming Yu, Linhai Song, Yiying Zhang
Rust is a popular programming language in building various low-level software in recent years. It aims to provide safe concurrency when implementing multi-threaded software through…
cs.SE2018
Fine-Grained Library Customization
Linhai Song, Xinyu Xing
Code bloat widely exists in production-run software. Left untackled, it not only degrades software performance but also increases its attack surface. In this work, we conduct a cas…