Automated detection of memory safety vulnerabilities in Rust

In comparison to C, the Rust language provides significant memory safety guarantees through its concept of lifetimes and its borrow-checker. However, Rust has an “unsafe” keyword which suspends some of the compiler’s safety checks within a specified code...

Vikram Nitin

Graduate student in Computer Science at Columbia University. Google Scholar : https://scholar.google.com/citations?user=FLiz6csAAAAJ&hl=en

Baishakhi Ray

Baishakhi Ray is an Associate Professor of Computer Science at Columbia University. She received her Ph.D. degree in Electrical & Computer Engineering from the University of Texas, Austin and masters degree in Computer Science from the University of Colorado,...

The (Anne) Mulhern

Software engineer with exceptional background in formal methods,programming languages, compiler technologies, static and dynamic analysis,and mathematical reasoning.