JPF @Java_Pathfinder
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. github.com/javapathfinder… Joined July 2022-
Tweets46
-
Followers95
-
Following75
-
Likes45
🚀GSoC 2025 has ended, and we're incredibly proud of our participants for their innovative contributions!🎉A huge thanks to our mentors, and a big shot to #GSoC for making this possible. Looking forward to more collaborations in the future! #GSoC #JavaPathfinder #SPF #OpenSource
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 summerofcode.withgoogle.com/programs/2025/…
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
🚀 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
🎉 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
Unfortunately, we had to cancel this year's JPF workshop :( Hopefully, we can make it true next year!
Today is the deadline for submitting papers to the JPF'24 workshop at @ASE_conf Submission link: easychair.org/my/conference?… We are looking forward to your contributions!
This year, JPF will have a workshop @ASE_conf More info at conf.researchr.org/track/ase-2023… The deadline is Friday, August 4! Just a month away!
We would like to feature recent papers on @Java_Pathfinder The following paper was presented at the AST conference, co-located with #ICSE2023 conf.researchr.org/details/ast-20… Congrats to the authors! Fun fact - the paper started as a JPF GSoC project in 2020!
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!
The @Google Summer of Code contributor application opens on March 20th! Please look at our project idea list github.com/javapathfinder… 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 groups.google.com/g/java-pathfin…
We are so excited to share that JPF was selected to participate in 2023 GSoC! gsocorganizations.dev/organization/t… Thank you, Soha Hussein @husseinsoh @UMNComputerSci and Pavel Parizek @CharlesUniPRG for making it happen!
The last JPF workshop papers are available in the January'23 issue of ACM SIGSOFT SEN: dl.acm.org/toc/sigsoft/20…
JPF has a youtube channel youtube.com/@javapathfinder You can find tutorials and invited talks from the previous #JPFWorkshop
We are back with more updates on JPF! Looking forward to an exciting year!
Gaurang Kudale @GaurangKudale presenting his GSoC work.
Rahul @fourierml
273 Followers 7K Following
Rehan Chalana @rehan_chalana
30 Followers 53 Following 19 | GSOC'25 @Java_Pathfinder | LFX'24 CNCF(KCL) | Computer Science student :) | Open Source Enjoyer |
Shrikhand Puri @Shrimaan_
100 Followers 2K Following
satish_anuganti @AnugantisatishC
8 Followers 154 Following
Krish Jaiswal @venky1701
36 Followers 146 Following Engg, Founding Member @bhavuklabs | worked at maximem, secondbrainlabs, baeldung, antern & geeksforgeeks
Sayyed Nigar @__nigar__08
0 Followers 46 Following
Joker @itsJoker0013
0 Followers 16 Following
Thiago Moura @mourats2
76 Followers 366 Following PhD Student in Computer Science at Ruhr University Bochum (RUB)
David George @DavidGeorge171
0 Followers 2 Following
Ankit Arya Sam @iamankitaryasam
114 Followers 320 Following Founder & CEO - HeavyCoder | NexusBytes Technologies Pvt. Ltd. JavaScript, Java, Springboot, PostgreSQL, Coding memes, Engineering❤️
Sai Prashanth @saiprashanth751
13 Followers 416 Following Diving into Web Development, Web3, and Open Source. Learn and contribute 🧑💻
Rakshat @singh_rakshat
258 Followers 391 Following Summer Intern'26 @DellTech |ex-research intern @IIIT Guwahati | Google DGoC Lead | 3x🏆 | building @hiremeet , https://t.co/uoGH84dD9q | shitposting 24×7
ZC @ZC41255
0 Followers 2K Following
Solar @Solar1530
7 Followers 89 Following Game's 👀 Music 🎶✨ Anime 💫 One Piece is Real 🌚 I'm just a friendly person, so if you want to be friends, I’m totally open to it!🍻
Manish Sethia @TheManishSethia
363 Followers 3K Following Indian🇮🇳 by birth | Programmer💻 by profession | Designer🖼️ by passion | Sarcastic😏 by choice. Busy building Kraftistaan!🎨
Pawan Singh @PThakuni
60 Followers 268 Following Nextjs| Typescript| Sql Prisma| React js | express js | nodejs | mongoDB | webSocket| MonoRepo| javascript | bootstrap | tailwind css | HTML5 |
therealsohamparekh @aavisalunkhe
234 Followers 1K Following ece 27 || i chase cats and dreams with equal psychopathy
SuKu @Su_Ku_2000
174 Followers 1K Following SWE Backend GCP ACE, Java, Python, Django, SQL Learning - Springboot, Data Engineering, Python and SQL
PankajAgarwal @iPankaj2005
68 Followers 1K Following I am a software developer |📚 Tech Enthusiast | . Here to follow my heroes in Java/spring and cloud
Neal @nealjc
16 Followers 191 Following
Jatin sharma @jatin4224
1K Followers 4K Following Building cool stuff, writing tech content, and creating 3D art (with a few adventurous treks in between). @ChaiCodeHQ | Prev: @100xengineers | VIT’25
Dirk Beyer @beyer_dirk
765 Followers 535 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Aashi☆ @coding_Aashi
55 Followers 93 Following IT👩💻 ||🐍python ll DSA ll streamlit || java || dart ||flutter||drawing(free style)||freelancel|☆Anime ☆ll freelance ll ♟chess ll #coding and learning.....
Sanchal Ghosh @ghosh_sanchal
4 Followers 17 Following
Sambit Chakraborty @SambitChakrabo8
246 Followers 4K Following Your go-to AI guy | Full-time @Bitwise_Updates (Bitwise)
Venkyyyyyy @vskrch
62 Followers 564 Following
Satyam Singh @SatyamS25049905
41 Followers 331 Following Engineering @MindTickle || Ex- SWE Intern @Laika_ai || GoLang, Typescript, Backend, Frontend 🚀
A_Happy_Kid @AddalaRaed
81 Followers 1K Following Software Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan. Turns out Functional Programming isn't that hard.
Mohammed Ali Al-sakka... @md_ali_alsakkaf
1 Followers 37 Following
Entropy @e_acc_chaos
49 Followers 436 Following 🌈Bi AF. If you know me irl, I hope you don't find out this persona.
ax @AosenX
22 Followers 460 Following
Nitish Dwivedi @NitishDwi07
2 Followers 44 Following
Lingming Zhang @LingmingZhang
2K Followers 385 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
Guangdong Bai @baigd
188 Followers 252 Following Associate Professor @ The University of Queensland @UQSchoolEECS | Software security, privacy, AI security
Soha Hussein @SohaHussein2424
3 Followers 20 Following
Zhou Yang @Zhou_Yang_X
203 Followers 142 Following I’m a PhD Student at Singapore Management University, working on “beyond accuracy of code models” like robustness, security, privacy, etc.
Vincenzo Riccio @p1ndsvin
1K Followers 1K Following Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️
emsejournal @emsejournal
2K Followers 22 Following EMSE Journal Official Twitter account: Tweets about Empirical Software Engineering Journal (Springer) and related topics.
Thomas Zimmermann @tomzimmermann
4K Followers 1K Following Chancellor's Professor and Bren Chair at UC Irvine. ACM Fellow. IEEE Fellow. Previously at Microsoft Research.
Thuan Pham @thuanpv_
2K Followers 899 Following Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing. (Fuzz) Testing enthusiast. Tweets are my own.
Rahul Gopinath ⇾ @r... @_rahulgopinath
697 Followers 994 Following Computer Scientist. Lecturer (Asst/Prof) at the University of Sydney 🇦🇺. ശ്രീദേവി's Dad. Social: https://t.co/1FAoO2dBbV
davidcshepherd @davidcshepherd
3K Followers 2K Following Associate Prof @LSU, co-EiC of @JSSoftware. Taking Research (https://t.co/tt6R0cFYTp) into Practice (https://t.co/FOXNLfsBZZ).
Ezekiel Soremekun @ezekSoremekun
165 Followers 484 Following Ezekiel Soremekun is an Assistant Professor at ISTD Pillar, Singapore University of Technology and Design @sutdsg
SBFT 2025 @sbftworkshop
570 Followers 635 Following The 18th Search-Based and Fuzz Testing Workshop is co-located with @ICSEconf 2025. @sbftworkshop
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shane McIntosh @shane_mcintosh
2K Followers 773 Following Software engineering researcher, Leader of the @SoftwareREBELs, Associate Professor at @UWaterloo
Lei Ma @leima_2005
281 Followers 1K Following
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Maria Christakis @mchri5taki5
665 Followers 326 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Software Institute @usisoftware
804 Followers 275 Following The center of excellence committed to teaching, research, and development of software at @USI_INF // @USI_university 🇨🇭
Sebastiano Panichella @spanichella
2K Followers 2K Following Computer Science Researcher | Teacher | Philanthropist | Free-time Actor | Tennis Lover | Storyteller. Projects: https://t.co/0Qxfm1ZC8s
Coen De Roover @CoenDeRoover
1K Followers 2K Following Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
Daniele Di Pompeo @danieledipompeo
256 Followers 878 Following Assistan Professor (rtd-a) in Computer Science @ University of L'Aquila
Paolo Tonella @paolo_tonella
757 Followers 86 Following Professor @USI_INF and @usisoftware, PI of @ERC_Research project https://t.co/DpOwCepB5p, fellow @FBK_research, honorary professor @uclcs
EASE 2025 @ConfEASE
1K Followers 238 Following The 29th edition of the Evaluation and Assessment in Software Engineering (EASE) Conference
ECOOP’24 Conference @ECOOPconf
1K Followers 110 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24
Andy Zaidman @azaidman
4K Followers 605 Following Full professor in software engineering @tudelft @serg_delft. Department head @delftswtech. Software tester. Researcher. Teacher. World citizen.
ICST @icstconference
2K Followers 766 Following The 17th IEEE Conference on Software Testing, Validation and Verification (Toronto, Canada). Use #ICST2024
Ferhat Erata 🦀 @ferhaterata
515 Followers 2K Following PhD Candidate @Yale • Automated Reasoning • Reinforcement Learning • Alignment • Security • Applied Scientist @AmazonScience @AWSCloud • Views my own
Ben Hermann | @benher... @benhermann
1K Followers 412 Following Professor for secure software engineering at @TU_Dortmund, activist, devout follower of @ModCuisine and @CookingIssues, human being 🏳️🌈💻🎓
tosem @acm_tosem
2K Followers 828 Following
Sebastian Baltes @s_baltes
1K Followers 766 Following Software Engineering & Empirical Research @[email protected] • https://t.co/dpDjeLp88V • https://t.co/2ZRZfUsq50
@[email protected]... @ProfPaulRalph
2K Followers 856 Following Computer science professor @DalhousieU / @dalfcs. #SoftwareEngineering, #design, #ResearchMethods, #education, #academia.
Gordon Fraser @thegordonfraser
157 Followers 90 Following
Ting Su @su_tingsu
677 Followers 521 Following Professor of computer science @ECNUer, previously postdoc @ETH_en and @NTUsg; focus on SE/PL/Security
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Jürgen Cito @citostyle
2K Followers 1K Following Visiting Researcher @Google, CS Professor @tu_wien, Programming
Tanja E.J. Vos @tanja_vos
695 Followers 265 Following Mother, teacher, professor, researcher, software tester
Ilya Sergey @ilyasergey
6K Followers 958 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Daniel Strüber @danstrueb
404 Followers 357 Following Find me on elsewhere: https://t.co/PEwlw7S1Bo [email protected]
Dr. Venera Arnaoudova @Venera_AP
481 Followers 373 Following Associate Professor at Washington State University, Software Engineering researcher, traveler, foodie, mother, and wife. Pronouns: she/her/hers.
Gregory Gay @Greg4cr
2K Followers 713 Following Associate Professor (Chalmers/U.Gothenburg - @SoftEngDiv), mostly in software testing. Sometimes gaming journalist. 70% composed of memes.
Dirk Beyer @beyer_dirk
765 Followers 535 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Annibale Panichella @AnniPanic
2K Followers 815 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
CMU School of Compute... @SCSatCMU
48K Followers 764 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Julian Büning @julianbuening
41 Followers 132 Following PhD student @ RWTH Aachen University. Program Analysis and Symbolic Execution.Trends for United States
You might like
