Bogdan "Bo" Stoica
@cachemisses.bsky.social
Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
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 (@disseminatepodcast.bsky.social) for putting together yet another amazing episode.
🚨 "Fray: An Efficient General-Purpose Concurrency JVM Testing Platform" with Rohan Padhye (@rohan.padhye.org) & Ao Li (@aoli.al) is available now!
🎙️ Guest hosted by the brilliant Bogdan Stoica (@cachemisses.bsky.social)
🎧 Listen on YouTube ➡️ youtu.be/SDaTOOEDuto?...
🎙️ Guest hosted by the brilliant Bogdan Stoica (@cachemisses.bsky.social)
🎧 Listen on YouTube ➡️ youtu.be/SDaTOOEDuto?...
This Tool Finds Hidden Concurrency Bugs in Java Apps [OOPSLA 2025: Fray]
YouTube video by Disseminate: The Computer Science Research Podcast
youtu.be
October 6, 2025 at 6:14 PM
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 (@disseminatepodcast.bsky.social) for putting together yet another amazing episode.
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)! 💪💪💪
🚨 "It's About Time: A Study of Date and Time Bugs in Python Software" with Shrey Tiwari is available now!
🎙️ Guest hosted by the excellent Bogdan Stoica (@cachemisses.bsky.social)
🎧 Listen on Apple ➡️ podcasts.apple.com/us/podcast/d...
🎧 Listen on Spotify ➡️ open.spotify.com/show/6IQIF9o...
🎙️ Guest hosted by the excellent Bogdan Stoica (@cachemisses.bsky.social)
🎧 Listen on Apple ➡️ podcasts.apple.com/us/podcast/d...
🎧 Listen on Spotify ➡️ open.spotify.com/show/6IQIF9o...
September 24, 2025 at 6:55 PM
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)! 💪💪💪
Reposted by Bogdan "Bo" Stoica
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
Learn more about CloudLab: cloudlab.us
July 23, 2025 at 7:12 PM
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
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. 👇👇👇
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/...
Check out the full AE call, here: sysartifacts.github.io/eurosys2026/...
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...
forms.gle
July 17, 2025 at 5:23 PM
Two more weeks for a chance to help EuroSys'26 authors to improve their artifacts. Please consider joining the AE committee by Aug 1st. 👇👇👇
Reposted by Bogdan "Bo" Stoica
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.
June 26, 2025 at 9:24 AM
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.
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/...
Check out the full AE call, here: sysartifacts.github.io/eurosys2026/...
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...
forms.gle
May 27, 2025 at 5:19 PM
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/...
Check out the full AE call, here: sysartifacts.github.io/eurosys2026/...
Such a great read! Thanks for sharing :-)
When your application runs into performance issues, don't be so quick to blame the database — most of the time, the real culprit is your app is using it wrong, especially when ORMs are involved.
🔗 hyperloop-rails.github.io/220-HowNotSt...
🔗 hyperloop-rails.github.io/220-HowNotSt...
April 8, 2025 at 8:45 PM
Such a great read! Thanks for sharing :-)
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.
April 3, 2025 at 4:05 PM
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.
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
The #EuroSys25 best paper awards go to Jiayi Yao et al. for their work on CacheBlend and Ruibo Fan et al. for their work on SpInfer. You can find the full text of the papers in the conference proceedings:
dl.acm.org/doi/10.1145/...
dl.acm.org/doi/10.1145/...
dl.acm.org/doi/10.1145/...
dl.acm.org/doi/10.1145/...
April 2, 2025 at 6:59 PM
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
Excellent and timely (pun intended 😅) work from Shrey, Rohan (@rohan.padhye.org) & co.
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 paper: rohan.padhye.org/files/dateti... (MSR'25 preprint)
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 paper: rohan.padhye.org/files/dateti... (MSR'25 preprint)
March 10, 2025 at 3:21 PM
Excellent and timely (pun intended 😅) work from Shrey, Rohan (@rohan.padhye.org) & co.
Reposted by Bogdan "Bo" Stoica
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
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
February 7, 2025 at 9:57 PM
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
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
Shan, my rock star advisor, sharing ideas on integrating LLMs into the bug-finding pipeline. 💡🐞🤟
Struggles with programming languages helped Shan Lu find her calling as a bug hunter. In “Ideas,” she discusses one bug that really haunted her, the thousands she’s identified since, and how she’s turning to LLMs to help make software more reliable.
www.microsoft.com/en-us/resear...
www.microsoft.com/en-us/resear...
January 28, 2025 at 8:48 PM
Shan, my rock star advisor, sharing ideas on integrating LLMs into the bug-finding pipeline. 💡🐞🤟