Worked on the rust-lang/miri repository to refactor the after_local_read function, enhancing data race detection by enabling direct access to the frame.extra.data_race field and removing the previous ecx.frame() indirection. This change, implemented in Rust, introduced public getters for BorrowSet and BorrowData fields to support safer and more maintainable access patterns. The refactor preserved all existing functionality with no regressions, resulting in clearer code and laying the foundation for future performance improvements. Demonstrated skills in compiler development, systems programming, and memory safety, with a focus on maintainability and readiness for further optimization of concurrency checks.