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. The first Rust verification workshop was held virtually in 2021, and spread over 3 online sessions. In this follow-on workshop, we hope to continue the conversation among language designers, application developers and formal verification tool builders, and continue and build collaborations around developing verified Rust programs. The workshop will solicit 2-page submissions for presentations; the workshop format will be a mix of invited talks, presentations and tool demos. There will be no proceedings, though we plan to collect presentation slides and make them available on the workshop site after the meeting.
Call for Talk and Demo Proposals
Please submit proposals by email to firstname.lastname@example.org.
14 Jan, 2022 (Fri)
7 Feb, 2022 10 Feb 2022 (Thu)
Workshop: 3 Apr, 2022 (Sun)
Please note that ETAPS and all workshops will be held in person (but remote participation will be possible).
Registration information is available on the main ETAPS 2022 site.
Rajeev Joshi, Amazon Web Services <email@example.com>
Nicholas Matsakis, Amazon Web Services <firstname.lastname@example.org>
Peter Müller, ETH Zurich <email@example.com>