GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (16)
View all
Years
2026
2025
2024
2023
2022
2021
View all
Categories
Artificial Intelligence
Data
Development tools
End user applications
Infrastructure and cloud
Media
View all
Technologies
python (278)
javascript (223)
c++ (160)
c (132)
java (102)
frontend (75)
View all
Topics
web (119)
data (82)
artificial intelligence (78)
machine learning (68)
developer tools (63)
science (63)
View all
The JPF team
View the official
contribution guidelines
for The JPF team
Visit Site
JPF is a Java VM used to verify and debug software
Category
Programming languages
Years
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
Technologies
android
distributed systems
java
jvm
mobile
Topics
model checking
program analysis
symbolic execution
test input generation
verification of concurrent systems
Past Projects
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
Support for Java 17 in jpf-core
Darshan Raghavendrachari
JPF currently cannot fully analyze Java 17 programs that use sealed classes and records — two features now standard in modern Java. This project...
More Details
Support Floating Point Constraints for Path-Merged Regions
Salmane Khalili
Java-Ranger is a path merging extension of Symbolic Pathfinder, that collapses multiple execution paths into a single region with a disjunctive...
More Details
