Writing & Publications
Below, you’ll find my writing organized by publication type and year.
Below, you’ll find my writing organized by publication type and year.
Papers
Papers
2024
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.
Teaching
Teaching