JPF
@Java_Pathfinder
Followers
95
Following
44
Media
14
Statuses
45
Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005.
Joined July 2022
We're thrilled to announce that GSoC 2025 has accepted 3 incredible proposals for JPF 🎉🎉 Huge congratulations to all the talented participants who will be joining us on this journey. Let's make this summer one to remember! #JPF #SPF #GSoC #OpenSource .
2
3
5
Thrilled to share that the JPF organization is now a part of GSoC'25! 🎉 Students, seize this opportunity! Apply for our research projects or pitch your own ideas. Applications open from Mar. 24th to April 8th. Let's code the future together! #GSoC2025 #SummerInternship #JPF.
1
4
11
🚀 The GSoC 2024 journey has ended, and we're incredibly proud of our participants for their innovative contributions! 🎉 Congratulations to all, and a huge thank you to our mentors. Looking forward to more collaborations in the future! #GSoC #JavaPathfinder #SPF #OpenSource.
0
3
5
🎉 We're thrilled to announce that GSoC 2024 has accepted 4 incredible proposals for JPF ! Huge congratulations to all the talented participants who will be joining us on this journey. Let's make this summer one to remember! #JPF #SPF #GSoC #OpenSource #Congratulations.
0
3
8
Thrilled to share that the JPF organization is now a part of GSoC'24! 🎉 Students, seize this opportunity! Apply for our research projects or pitch your own ideas. Applications open from Mar. 18th to April 2nd. Let's code the future together! #GSoC2024 #SummerInternship #JPF.
1
2
6
Unfortunately, we had to cancel this year's JPF workshop :(. Hopefully, we can make it true next year!.
0
0
2
Today is the deadline for submitting papers to the JPF'24 workshop at @ASE_conf . Submission link:. We are looking forward to your contributions!.
0
0
1
This year, JPF will have a workshop.@ASE_conf . More info at . The deadline is Friday, August 4! Just a month away!.
0
0
2
We would like to feature recent papers on @Java_Pathfinder. The following paper was presented at the AST conference, co-located with #ICSE2023 . Congrats to the authors! . Fun fact - the paper started as a JPF GSoC project in 2020!.
0
0
1
Congratulations to Daohan(@quadhier) and Varadraj(@varad_galgali) on having their proposals accepted to JPF's GSoC 2023!. Daohan and Varadraj will work with Pavel, Cyrille, and Soha on supporting Java 11 in JPF. We are looking forward to their great contributions!.
1
1
2
The @Google Summer of Code contributor application opens on March 20th! Please look at our project idea list . Have questions about them, or would like to propose your own ideas? We’d be happy to talk to you in the JPF Google Group
0
0
0
We are so excited to share that JPF was selected to participate in 2023 GSoC! Thank you, Soha Hussein @husseinsoh @UMNComputerSci and Pavel Parizek .@CharlesUniPRG for making it happen!.
0
0
6
The last JPF workshop papers are available in the January'23 issue of ACM SIGSOFT SEN:
0
0
0
JPF has a youtube channel You can find tutorials and invited talks from the previous #JPFWorkshop.
0
0
0
We are back with more updates on JPF! Looking forward to an exciting year!.
0
0
1
Corina Pasareanu @CorinaPasareanu from @NASAAmes and @cmusv is presenting a tutorial on Symbolic Pathfinder. We will post recording of this presentation later.
0
0
2
