Automatically Enforcing Rust Trait Properties
Abstract elided by the publisher.
Related papers
- Generic Refinement Types POPL 2025
- Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024
- An Interactive Debugger for Rust Trait Errors PLDI 2025
- Automatically enforcing fresh and consistent inputs in intermittent systems PLDI 2021
- An Empirical Study of Bugs in the rustc Compiler OOPSLA 2025
- Stageleft: Multi-stage Programming in Standard Rust GPCE 2026
- COCHIS: Stable and coherent implicits JFP 2019
- Cpp2Rust: Automatic Translation of C++ to Safe Rust PLDI 2026