Abstract: 

In recent years, Rust has gained popularity as a powerful systems programming language. Leading tech companies are increasingly adopting it to replace systems traditionally written in C/C++. Much like C/C++, Rust offers low-level control of resources which is essential for performance-critical applications, but it sets itself apart by placing a strong emphasis on safety. In doing so, Rust effectively prevents many common security-critical bugs prevalent in low-level languages.

This talk delves into the world of Rust, providing a concise introduction accessible to all, regardless of your prior experience with the language. The presentation will begin with a brief tutorial, covering the essential elements to get you started with Rust. Then, we will shift the to focus to the concept of ownership, one of Rust most unique features and a fundamental ingredient in preventing safety issues.

Bio:

Nico Lehmann is a Ph.D. student in the ProgSys group at the University of California San Diego, working with Ranjit Jhala. His current research focuses on integrating refinement types into the Rust programming language with the broader goal of bringing expressive typing disciplines into mainstream programming.

--

Comunicaciones DCC