11 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.PL2022★ 4 cited
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida +1
Go is a popular statically-typed industrial programming language. To aid the type safe reuse of code, the recent Go release (Go 1.18) published on 15th March 2022 includes bounded…
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★ 4 cited
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…