Worked on enhancing the Vec data structure in the verus-lang/verus repository by introducing allocator-generic support and refining constructor method specifications. This effort focused on improving interoperability and usability of Vec across different allocation strategies, addressing missing generics in the Vec specifications related to allocator APIs to ensure type safety and reduce edge-case failures. Leveraging skills in generic programming, memory management, and system programming, the developer validated consistent construction semantics and cross-allocator compatibility. The work was implemented in Rust, resulting in a more flexible and robust Vec API that supports safer, allocator-agnostic usage for a variety of system programming scenarios.