2 citations · 3 across the 4 of their papers we have counts for
4 papers
Kani: A Model Checker for Rust
Rémi Delmas, Zyad Hassan, Qinheping Hu +9
Rust's ownership type system prevents memory errors in safe code, but certain desirable properties remain orthogonal to compilation: the soundness of unsafe operations (e.g., raw p…
Verifying the Rust Standard Library
Byron Cook, Remi Delmas, Zyad Hassan +9
Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic…
Assessing the Effectiveness of Syntactic Structure to Learn Code Edit Representations
Syed Arbaaz Qureshi, Sonu Mehta, Ranjita Bhagwan +1
In recent times, it has been shown that one can use code as data to aid various applications such as automatic commit message generation, automatic generation of pull request descr…
Static Analysis Using the Cloud
Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Micro…