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 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.
Workshop talks are now available to watch online.
We've created a new Zulip chat room for the Rust verification community. Please sign up at
https://rust-verify.zulipchat.com/
Our proposal for the 2nd Rust Verification Workshop has been accepted for ETAPS 2022. Hopefully, we'll be able to have an in-person workshop next year!
Please register for workshops on the ETAPS registration site to get the Zoom link for the workshop.
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.
Please submit proposals by email to peter.mueller@inf.ethz.ch.
Important Dates:
15 January, 2021: Abstract Submission Deadline
25 January, 2021: Notification of Acceptance
7, 9 and 12 April, 2021: Workshop
Note: Since ETAPS is now going to be held virtually, the workshop will be virtual as well. Stay tuned for details.
Workshop web site: https://sites.google.com/view/rustverify2021
Organizers:
Rajeev Joshi, Amazon Web Services <jorajeev@amazon.com>
Nicholas Matsakis, Amazon Web Services <nikomat@amazon.com>
Peter Müller, ETH Zurich <peter.mueller@inf.ethz.ch>