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-
Tweets45
-
Followers94
-
Following75
-
Likes44
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.
Qiuchen Yan @yanxx297 from @UMNComputerSci presenting her GSoC work.
Rahul @fourierml
257 Followers 7K Following
Rehan Chalana @rehan_chalana
30 Followers 52 Following 19 | GSOC'25 @Java_Pathfinder | LFX'24 CNCF(KCL) | Computer Science student :) | Open Source Enjoyer |
Shrikhand Puri @Shrimaan_
98 Followers 2K Following
satish_anuganti @AnugantisatishC
7 Followers 148 Following
Bhumika Sharma @schmithvillers
0 Followers 5 Following
Krish Jaiswal @venky1701
30 Followers 129 Following founding member @bhavuklabs full stack coffee enjoyer
Sayyed Nigar @__nigar__08
0 Followers 46 Following
Joker @itsJoker0013
2 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
111 Followers 318 Following Founder & CEO - HeavyCoder | NexusBytes Technologies Pvt. Ltd. JavaScript, Java, Springboot, PostgreSQL, Coding memes, Engineering❤️
Sai Prashanth @saiprashanth751
8 Followers 402 Following Diving into Web Development, Web3, and Open Source. Learn and contribute 🧑💻
rakshat.sol @singh_rakshat
236 Followers 372 Following research intern @ IIIT Guwahati | curious dev | Google DG | 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 271 Following Nextjs| Typescript| Sql Prisma| React js | express js | nodejs | mongoDB | webSocket| MonoRepo| javascript | bootstrap | tailwind css | HTML5 |
therealsohamparekh @aavisalunkhe
233 Followers 1K Following ece 27 || i chase cats and dreams with equal psychopathy
SuKu @Su_Ku_2000
178 Followers 1K Following SWE Backend GCP ACE, Java, Python, Django, SQL Learning - Springboot, Data Engineering, Python and SQL
PankajAgarwal @iPankaj2005
67 Followers 1K Following I am a software developer |📚 Tech Enthusiast | . Here to follow my heroes in Java/spring and cloud
Neal @nealjc
14 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 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Aashi☆ @coding_Aashi
53 Followers 92 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 566 Following
Satyam Singh @SatyamS25049905
40 Followers 331 Following Engineering @MindTickle || Ex- SWE Intern @Laika_ai || GoLang, Typescript, Backend, Frontend 🚀
A_Happy_Kid @AddalaRaed
77 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
52 Followers 437 Following 🌈Bi AF. If you know me irl, I hope you don't find out this persona.
ax @AosenX
22 Followers 459 Following
Nitish Dwivedi @NitishDwi07
2 Followers 44 Following
Jegatheesh @_Jagzz
2 Followers 39 Following
Lingming Zhang @LingmingZhang
2K Followers 382 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
Guangdong Bai @baigd
181 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
201 Followers 141 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 900 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
685 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
169 Followers 486 Following Ezekiel Soremekun is an Assistant Professor at ISTD Pillar, Singapore University of Technology and Design @sutdsg
SBFT 2025 @sbftworkshop
572 Followers 639 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
19K 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
280 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
663 Followers 327 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Software Institute @usisoftware
805 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
2K Followers 2K Following Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
Daniele Di Pompeo @danieledipompeo
255 Followers 878 Following Assistan Professor (rtd-a) in Computer Science @ University of L'Aquila
Paolo Tonella @paolo_tonella
755 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 767 Following The 17th IEEE Conference on Software Testing, Validation and Verification (Toronto, Canada). Use #ICST2024
Ferhat Erata 🦀 @ferhaterata
510 Followers 2K Following PhD Candidate @Yale • Automated Reasoning • Reinforcement Learning • Alignment • Security • Applied Scientist @AmazonScience @AWSCloud • Views my own
Ben Hermann | @benher... @benhermann
997 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 830 Following
Sebastian Baltes @s_baltes
1K Followers 767 Following Software Engineering & Empirical Research @[email protected] • https://t.co/dpDjeLp88V • https://t.co/2ZRZfUsq50
@[email protected]... @ProfPaulRalph
2K Followers 857 Following Computer science professor @DalhousieU / @dalfcs. #SoftwareEngineering, #design, #ResearchMethods, #education, #academia.
Gordon Fraser @thegordonfraser
158 Followers 90 Following
Ting Su @su_tingsu
673 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
699 Followers 265 Following Mother, teacher, professor, researcher, software tester
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Daniel Strüber @danstrueb
405 Followers 358 Following Find me on elsewhere: https://t.co/PEwlw7S1Bo [email protected]
Dr. Venera Arnaoudova @Venera_AP
483 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 715 Following Associate Professor (Chalmers/U.Gothenburg - @SoftEngDiv), mostly in software testing. Sometimes gaming journalist. 70% composed of memes.
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Annibale Panichella @AnniPanic
2K Followers 817 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 765 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
