28 citations · 42 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 8 cited
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
Vikram Nitin, Anne Mulhern, Sanjay Arora +1
The Rust programming language is becoming increasingly popular among systems programmers due to its efficient performance and robust memory safety guarantees. Rust employs an owner…
cs.SE2023★ 28 cited
Towards Causal Deep Learning for Vulnerability Detection
Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao +3
Deep learning vulnerability detection has shown promising results in recent years. However, an important challenge that still blocks it from being very useful in practice is that t…