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...
Graduate student in Computer Science at Columbia University. Google Scholar : https://scholar.google.com/citations?user=FLiz6csAAAAJ&hl=en
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,...
Software engineer with exceptional background in formal methods,programming languages, compiler technologies, static and dynamic analysis,and mathematical reasoning.
