GSoC 2025
Mutable Index Checker: Index Checking for Mutable Length Data Structures with the Checker Framework
Project details
Contributor
Damika Anupama Nanayakkara
Mentors
Michael Ernst, Martin Kellogg
Technologies
Not listed in the archive
Contributor
Damika Anupama Nanayakkara
Mentors
Michael Ernst, Martin Kellogg
Not listed in the archive