Writing & Publications

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.

Teaching

2024