iiinova — where your digital self keeps evolving

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

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.

github.com

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

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

010

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

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! 🫡

000

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

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

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

030

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 · 12/06/2025

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 😀

sysartifacts.github.io

Systems Research Artifacts

Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC

000

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

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

011

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

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

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 · 03/04/2025

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

010

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

Bogdan "Bo" Stoica @cachemisses.bsky.social · 03/12/2024

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

110

Bogdan "Bo" Stoica @cachemisses.bsky.social · 03/12/2024

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

100