Checker Framework GSoC projects
Every Google Summer of Code project accepted at Checker Framework, grouped by program year. Open a project to see its contributor, mentors, technologies, and source code.
Back to Checker FrameworkGSoC 2025
2 projects- Mutable Index Checker: Index Checking for Mutable Length Data Structures with the Checker Framework
Damika Anupama Nanayakkara
GSoC 2020
2 projects- Annotating Google Gson Library
Priti Chattopadhyay
- Tainted Checker Overhaul
Aditya Singh
GSoC 2019
5 projects- Index Checker Case Study
Maximilian Gama
- Android Support Annotations
Ayush Agarwal
- Improve Signedness Checker
Kartikeya Goswami
- Annotate Apache Commons Lang with Index Checker.
Akash Srivastava
GSoC 2018
3 projects- Annotate ASM library with signature checker
Sagar Tewari
- Enabling the Checker Framework to handle JDK 9
Ravi Roshan
GSoC 2017
5 projects- Whole-Program Inference
Felipe R. Monteiro
- Improving dataflow framework and analyzers
Shinya Yoshida
- Update to newer version of JavaParser
Bohdan Sharipov
- Erroneous use of Java 8's Optional class
Nikhil Deepak Shinde
- Bounded-size strings
Vlastimil Dort