My research group has a new website!

RT @shrey_twr: Wow, just stumbled upon a website that perfectly illustrates the chaos of JavaScript's Date object!. Check it out at https:/….

Join millions who have switched to Grok.

Obligatory "this is not a paid endorsement in any way" haha. I actually went from starting a 7-day trial to purchasing lifetime license in ~15 minutes. Been looking for something like this for ages but never found anything with the combination of all 4 of the above.

Impressed with VoiceInk (@tryvoiceink) so far, improving my general productivity on MacOS and providing me relief from RSI. ✅ Local transcription model.✅ Open-source app.✅ One-time (!!) purchase of $19.✅ Optional context/app-based enhancement with external LLMs

RT @yannicnoller: 🚨 Our amazing #FUZZING'25 keynotes are online!. "Constraining Fuzzing without Paying Too Much" by Miryung Kim. https://t.c….

This is happening tomorrow in Trondheim! Fuzzing workshop program is here:

RT @PLDI: These PC members received a distinguished reviewer award for having more than half of their reviews flagged positively:.- Aaron B….

RT @SCSatCMU: SCS faculty members Rohan Padhye, Yonatan Bisk, Todd Mowry, Aayush Jain and Dimitrios Skarlatos have received Amazon Research….

Protect your production systems from nightmarish failures that are virtually impossible to debug. Try Fray:

Wow, @aoli_al uncovered a deadlock in Java 23+ with such simple code and Fray's powerful concurrency testing support. Read his blog post here: tl;dr - concurrently scheduling a task, waiting on its completion, and canceling the executor can cause a hang.

. does it really matter in practice? Perhaps the havoc effect is benign, or maybe even a good thing?!. Our students @aoli_al @vasumvikram @hhcmadonna studied this all in great depth! Read more in our upcoming ACM TOSEM paper on the "Havoc Paradox". 📄

📢 FUZZING NEWS!. For many years @cestlemieux and I got asked whether JQF/Zest mutations always preserve input structure. THEY DON'T! There's sometimes a disruptive "havoc" effect. BeDivFuzz (@hoanglam_ng) and Zeugma (@_jon_bell_) do a much better job avoiding it. But WAIT.

We also have an excellent program of research talks and *fuzzing nuggets*. Detailed schedule coming soon.

We're excited to announce two keynote speakers for the #FUZZING'25 workshop (part of @issta_conf at Trondheim, Norway):. [*] Will Wilson, CEO and Co-Founder of @AntithesisHQ .[*] Miryung Kim, Professor and Vice Chair of Graduate Studies at @UCLAComSci.

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

I'm excited to talk about the engineering behind Fray ( at the DC Systems meetup @AntithesisHQ. Swing by if you're in the area!.

RT @yannicnoller: #FUZZING'25 Deadline Extension.──────.If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to….

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:

RT @AntithesisHQ: Excited to announce that this Summer, Ao Li ( will be joining us as a research intern! Ao's previ….

RT @ankushpd: If you are looking for formal models of a real-world distributed system, DeepSeek @deepseek_ai released P specifications for….

RT @shrey_twr: 🚨 New Paper 🚨. It’s about time someone unraveled the mystery of date/time bugs affecting modern software systems and how to….