The Rust programming language supports 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. Building on the success of the first three Rust Verification workshops (virtually in 2021, and in-person in 2022 and in 2023), we are extending the 4th edition of the workshop to span 2 days. As in previous editions, our primary objective is to foster discussions among language designers, application developers, and formal verification tool builders, all with the shared goal of developing verified Rust programs. We invite 2-page submissions for presentations. The workshop's format will include a mix of invited talks, presentations, and tool demonstrations. While there will be no formal proceedings, we do plan to collect presentation slides and make them available on the workshop's website after the event.
Call for Talk and Demo Proposals
We solicit proposals for contributed talks and tool demos. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk/demo the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered.
We are interested in talks/demos on all topics related to the verification of Rust programs (including, for instance, program specification, deductive verification, model checking, symbolic execution, runtime monitoring, the semantics and formalization of Rust, and tool support). Talks about work in progress as well as proposals for challenge problems in Rust are particularly encouraged.
Proposals should be submitted via Easychair via this link.
Important Dates
Abstract Submission: Sat, January 13, 2024 Fri, January 19, 2024
Notification: Mon, February 5, 2024
Workshop: Mon-Tue, April 8-9, 2024
Organizers:
Rajeev Joshi, Amazon Web Services <jorajeev@amazon.com>
Felix Klock, Amazon Web Services <pnkfelix@amazon.com>
Nicholas Matsakis, Amazon Web Services <nikomat@amazon.com>
Peter Müller, ETH Zurich <peter.mueller@inf.ethz.ch>