All organizations · GSoC 2026 · Programming languages, Security

The JPF team

JPF is a Java VM used to verify and debug software

The Java Pathfinder (JPF) project was initially conceived and developed at NASA Ames Research Center in 1999. JPF was open sourced in April 2005 as one of the first ongoing NASA development projects to date, and it is now released under the Apache license, 2.0. JPF is an extensible Java virtual machine written in Java itself. It is used to create a variety of verification and debugging tools, ranging from software model checkers to test case generators using symbolic execution. JPF is a research platform and a production tool at the same time. Although JPF has major contributions from companies and government agencies, our main user community is academic - there are ongoing collaborations with more than 20 universities worldwide. The JPF team for GSoC 2024 includes researchers from NASA Ames Research Center, KTH Royal Institute of Technology - Sweden, Carnegie Mellon University, Boise State University, University of Minnesota, Charles University - Czech Republic, and Singapore University of Technology and Design. JPF is designed to be highly extensible. There are well-defined extension mechanisms, directory structures and build procedures, which keep the core relatively stable and …

• android
• java
• distributed systems
• jvm

• model checking
• symbolic execution
• verification of concurrent systems
• program analysis
• test input generation

git-into-gsoc org "The JPF team" --shortlist
git-into-gsoc repos "The JPF team"
git-into-gsoc issues --org "The JPF team"

or ask your assistant:
"Which The JPF team repositories merge
newcomers' pull requests, and which beginner
issues are still free?"