🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I find it really sad that ICSE is charging an extra fee for attendees needing a visa invitation letter! These folks are usually from countries where the financial burden of conferences is already sky high. Why can't the costs be folded into registration like everything else?

The OSS-Fuzz team is hiring a PhD intern for this summer. Come join us and build the future of fuzzing. Link in next tweet in thread. RTs appreciated!

Back to basics: Concurrency testing in Java! Our new tool *Fray* correctly solves a 25+ year old problem for complex real-world software. See this feature from the great folks at Elastic ! 📰: elastic.co/search-labs/bl… 🔧: github.com/cmu-pasta/fray 📝: arxiv.org/pdf/2501.12618

#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: Ruijie Meng (NUS) + Rohan Padhye (Rohan Padhye; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20. March (Submission) //cc @YannicNoller (RUB), László Szekeres (László Szekeres; Google)

🚨 New Paper 🚨 It’s about time someone unraveled the mystery of date/time bugs affecting modern software systems and how to catch them! 📢 I'm excited to share our upcoming MSR'25 paper on exactly this. 📜 Paper: rohan.padhye.org/files/datetime… Thread...

If you are looking for formal models of a real-world distributed system, DeepSeek DeepSeek released P specifications for their new distributed file system (3FS): github.com/deepseek-ai/3F…

Excited to announce that this Summer, Ao Li (aoli.al) will be joining us as a research intern! Ao's previous work includes the Fray concurrency testing framework for the JVM. See, for example, the bugs they found in Lucene: elastic.co/search-labs/bl…

Happy Daylight Savings Time to everyone in the US! A few more weeks for European Summer Time. If you notice some of your apps glitching, don't be alarmed. Even ChatGPT can't write correct date/time code!!! See more in our upcoming MSR'25 paper: rohan.padhye.org/files/datetime…

#FUZZING'25 Deadline Extension ────── If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025! 🔗 fuzzingworkshop.github.io //cc Rohan Padhye (Rohan Padhye), László Szekeres (László Szekeres), Ruijie Meng, Marcel Böhme👨‍🔬

I'm excited to talk about the engineering behind Fray (github.com/cmu-pasta/fray) at the DC Systems meetup Antithesis. Swing by if you're in the area!

Delighted to receive an ACM SIGSOFT Distinguished Award for this work! Proud of Shrey Tiwari and the REU students visiting the PASTA lab :-)

SCS faculty members Rohan Padhye, Yonatan Bisk, Todd Mowry, Aayush Jain and Dimitrios Skarlatos have received Amazon Research Awards to support work in areas like AI, cryptography and automated reasoning. cs.cmu.edu/news/2025/amaz…