VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust

Ziyi Zhang, Boqin Qin, Yilun Chen, Linhai Song, Yiying Zhang. VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust. In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 2085-2087, ACM, 2020. [doi]

Abstract

Abstract is missing.