PLRust '27

The Rust programming language has been widely used in the real world to build reliable and high-performance software. Programming language research and the development of Rust have inspired each other. Rust’s unique aspects, especially ownership types, lifetime-based borrowing, and borrow checking, have sparked interesting questions spanning type theory, formal methods, translation, tooling, education, and more.

PLRust is a casual, friendly workshop for people working on, with, or around Rust in PL research. Its primary goal is to encourage discussion and communication and help build a community among those engaged in PL exploration involving Rust, whether in academia or industry.

We welcome submissions of various kinds at any stage, including new results, work in progress, ideas not yet fully developed, tool demonstrations, experience reports, and work already published elsewhere.

Topics of interest of PLRust include, but are not limited to:

• Formal methods, bug finding, and testing for Rust programs, APIs and compilers
• Code translation and program synthesis, repair and optimization for Rust
• Ownership types, borrow checking, traits, and type inference for Rust
• Libraries, development tools, and education for Rust

Call for Talks

We call for talks about PL exploration involving Rust. We plan for the accepted proposals to be presented as 20–25 minute talks.

Talk proposals

As a talk proposal, you can submit an extended abstract of up to three pages, excluding acknowledgments and references, in PDF format. Please use the ACM acmart template in the sigplan two-column format. Accepted talk proposals will be posted on the website but will not be officially published.

Scope and topics

We welcome submissions of various kinds at any stage, including new results, work in progress, ideas not yet fully developed, tool demonstrations, experience reports, and work already published elsewhere.

Topics of interest of PLRust include, but are not limited to:

• Formal methods, bug finding, and testing for Rust programs, APIs and compilers
• Code translation and program synthesis, repair and optimization for Rust
• Ownership types, borrow checking, traits, and type inference for Rust
• Libraries, development tools, and education for Rust

If you are unsure whether your work fits, feel free to contact the organizers.