During November 2025, Mixas Kok worked on the rust-lang/rust and rust-lang/miri repositories, focusing on advancing GenMC integration and improving build reliability. Using Rust and C++, Mixas enabled GenMC to be built as a standalone library without LLVM dependencies, simplifying the build process and enhancing portability. He introduced a scheduling API and improved error handling to align GenMC with Miri, ensuring accurate termination and better diagnostics. His work included hardening memory management, adding out-of-memory diagnostics, and refactoring internal APIs for clarity and maintainability. These efforts strengthened system robustness and developer productivity, reflecting deep expertise in concurrent programming and software architecture.