Call for participation: 1st Rust Verification Workshop

by Peter Mueller, March 23, 2021

Rust is a new programming language for writing performant code with strong type and memory safety guarantees. There is growing interest in the program verification community for building program verifiers for Rust. In this workshop, we aim to bring together language designers, application developers and formal verification tool builders, to exchange ideas and build collaborations around developing verified Rust programs.

1st Rust Verification Workshop

Online, co-located with ETAPS 2021

April 07, 09, and 12, 2021, 16:00 – 18:10 GMT
https://sites.google.com/view/rustverify2021

 

Rust is a new programming language for writing performant code with strong type and memory safety guarantees. It is now considered a serious alternative to C and C++ for systems programming, because it provides high-level abstractions but without the cost of garbage collection. Given the growing popularity of Rust, and given that bugs in systems programs can be costly, there is growing interest in the program verification community for building program verifiers for Rust. In this workshop, we aim to bring together language designers, application developers and formal verification tool builders, to exchange ideas and build collaborations around developing verified Rust programs. 

The goal of this workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the verification of Rust programs and exploring avenues for collaboration.

The program will contains a combination of invited talks and contributed talks. A detailed schedule is available here: https://sites.google.com/view/rustverify2021.

 

Registration

Please register via ETAPS at https://etaps.org/2021/registration. You will receive access information once you have registered.

 

Organizers:

  • Rajeev Joshi, Amazon Web Services
  • Nicholas Matsakis, Amazon Web Services
  • Peter Müller, ETH Zurich