GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (14)
View all
Years
2025
2024
2023
2022
2021
2020
View all
Categories
Artificial Intelligence
Data
Development tools
End user applications
Infrastructure and cloud
Media
View all
Technologies
python (277)
javascript (220)
c++ (170)
c (167)
java (116)
android (52)
View all
Topics
web (89)
machine learning (65)
cloud (60)
graphics (41)
ai (32)
education (32)
View all
Checker Framework
Checker Framework is participating in
GSoC 2025
. View the
ideas list
and the
contribution guide
for this organization.
Visit Site
Prevent programming errors via simple verification
Category
Security
Years
2025
2020
2019
2018
2017
Technologies
java
compilers
Verification
formal methods
type systems
Topics
software engineering
verification
programmer productivity
bug finding
pragrammer productivity
programming languages
type systems
Past Projects
2020
2019
2018
2017
Annotating Google Gson Library
Priti Chattopadhyay
Checker framework is a great lightweight tool which could easily type check code having a dependency on a library if the library has already been...
More Details
Code Submission
Tainted Checker Overhaul
Aditya Singh
The Tainted Checker Overhaul aims to be an extension of the Tainted Checker Framework, extending the concept of tainted data and upgrading its...
More Details
Code Submission
