iiinova — where your digital self keeps evolving

Bogdan "Bo" Stoica

@cachemisses.bsky.social

Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: bastoica.github.io

Posts Replies Media

Bogdan "Bo" Stoica @cachemisses.bsky.social · 06/10/2025

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.

110

Bogdan "Bo" Stoica @cachemisses.bsky.social · 24/09/2025

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)! 💪💪💪

100

Reposted by Bogdan "Bo" Stoica

Eric Eide @ericeide.bsky.social · 23/07/2025

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

Bogdan "Bo" Stoica @cachemisses.bsky.social · 17/07/2025

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

000

Reposted by Bogdan "Bo" Stoica

Yuriy Brun @yuriybrun.bsky.social · 26/06/2025

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.

0113

Bogdan "Bo" Stoica @cachemisses.bsky.social · 27/05/2025

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/...

forms.gle

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...

100

Bogdan "Bo" Stoica @cachemisses.bsky.social · 08/04/2025

Such a great read! Thanks for sharing :-)

010

Bogdan "Bo" Stoica @cachemisses.bsky.social · 03/04/2025

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.

120

Bogdan "Bo" Stoica @cachemisses.bsky.social · 02/04/2025

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

010

Bogdan "Bo" Stoica @cachemisses.bsky.social · 10/03/2025

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

110

Reposted by Bogdan "Bo" Stoica

Rohan Padhye @rohan.padhye.org · 07/02/2025

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

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"

2204

Bogdan "Bo" Stoica @cachemisses.bsky.social · 28/01/2025

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

120