Bogdan "Bo" Stoica

GitHub - cmu-pasta/fray: A controlled concurrency testing framework for the JVM A controlled concurrency testing framework for the JVM - cmu-pasta/fray

Leo (@aoli.al) is doing solid work in the code analysis & testing space, and currently on the tenure-track job market. 📢📢📢
Check out Fray (OOPSLA'25): github.com/cmu-pasta/fray and the other cool stuff Leo is working on.

I had an awesome conversation with Rohan (@rohan.padhye.org) and Leo (@aoli.al) about where production-grade testing is heading. Give it a listen!
Also, a huge, huge shout-out to Jack (@disseminatepodcast.bsky.social) for putting together yet another amazing episode.

Also, a huge, huge shout-out to Jack (jackwaudby.github.io) from @disseminatepodcast.bsky.social for giving me the opportunity to guest-host this episode. It was fun, exciting, and can't wait to do guest-host again! 🫡

This is an awesome episode where Shrey and I take a deep dive into the world of temporal computations and why it's so challenging for engineers to get these right. Give it a listen and check out Shrey's Award-winning MSR'25 paper on this (www.shreytiwari.com)! 💪💪💪

This is so cool! Congratulations, Manu (@manu.sridharan.net) & team!

Whoohoo!! Congratulations @aoli.al, @rohan.padhye.org and team! 💪💪💪

My research group at the University of Utah runs CloudLab. I agree: CloudLab is the type of thing that needs to be in the world more! Thank you to the "Fork Around and Find Out" team for mentioning the work we do.

Learn more about CloudLab: cloudlab.us

Two more weeks for a chance to help EuroSys'26 authors to improve their artifacts. Please consider joining the AE committee by Aug 1st. 👇👇👇

Claire Le Goues @clegoues.bsky.social gave a fantastic ISSTA @issta.bsky.social 2025 keynote this morning on software correctness in the age of generative AI.

Don't forget to check out the cool infrastructure offered, with generous support, by ChameleonCloud and CloudLab: sysartifacts.github.io/evaluator-gu...
Plus, stay tuned for tutorials on how to use this infra, come August. Sharing is highly appreciated 😀

An accurate and apt description of my PhD 😅 (cries in ::dissertation writing::)

☝️☝️☝️

EuroSys'26 Artifact Evaluation Committee Self-Nomination Form We are looking for members to join the Artifact Evaluation Committee for EuroSys'26. Committee members will evaluate artifacts from papers accepted at EuroSys'26 for both the Spring and Fall submissi...

What to explore cool research artifacts and help authors improve their work? Join Pierre and me on the EuroSys'26 AE committee. Self-nominate by August 1: forms.gle/tc7xca6PaYFq...
Check out the full AE call, here: sysartifacts.github.io/eurosys2026/...

Such a great read! Thanks for sharing :-)

Also, a huge shout-out to the Chameleon Cloud Project and UChicago CS (@uchicagopsd.bsky.social ) for providing part of the infrastructure that made this, yet again, a successful AE. Looking forward to next year's AE 🥳 🥳 🥳 Tot ziens, EuroSys!

#ArtifactEvaluation #eurosys #ChameleonCloud #uchicago

I'm deeply honored to receive the Distinguished Artifact Evaluator Award alongside Alexander. This was such a great and worthwhile effort from both the authors and the committee. I'm incredibly grateful to Thaleia, Christian, Georgios, and the entire organization committee.

I wish I could've made it to Rotterdam this year 😔 I always have lots of fun at @eurosysconf.bsky.social

Woo-hoo!! Congrats, everyone! 🎉🎉 UChicago CS folks coming in hot at EuroSys this year 💪💪 #eurosys25 #eurosys #uchicago #sigops #acm @uchicagopsd.bsky.social @eurosysconf.bsky.social

I feel your pain :-(

Excellent and timely (pun intended 😅) work from Shrey, Rohan (@rohan.padhye.org‬) & co.

Blog post titled "Concurrency bugs in Lucene: How to fix optimistic concurrency failures" By Benjamin Trent and Ao Li (February 7, 2025) Text reads: "Thanks to Fray, a deterministic concurrency testing framework from CMU’s PASTA Lab, we tracked down a tricky Lucene bug and squashed it"

Back to basics: Concurrency testing in Java!

Our new tool *Fray* correctly solves a 25+ year old problem for real-world software. See this feature from Elastic Labs about Fray's contributions to Lucene.

📰: www.elastic.co/search-labs/...

🔧: github.com/cmu-pasta/fray

📝: arxiv.org/pdf/2501.12618

Super cool work!

Abstracts: November 4, 2024 - Microsoft Research A new toolkit using LLMs, combined w/ fault injection & repurposed unit tests, can detect common “retry” bugs in software systems, helping improve their robustness. Learn more about the work, featured...

And in case you missed it, here's Shan and I discussing our SOSP'24 paper on how LLMs can support traditional software testing to find bugs in retry logic: www.microsoft.com/en-us/resear...

Shan, my rock star advisor, sharing ideas on integrating LLMs into the bug-finding pipeline. 💡🐞🤟

Oh, no!! Good luck! Keeping my fingers crossed, waiting for the post-defense broadcast :-)

Ah, so you started early, I see. (alright, I'l show my self out 😅)