Below, you’ll find my writing organized by publication type and year.
Papers
2024
Twain Byrnes, Yoshiki Takashima, and Limin Jia. January 2024. “Automatically Enforcing Rust Trait Properties.” International Conference on Verification, Model Checking, and Abstract Interpretation. PDF.Presentation.Slides.