Bogdan "Bo" Stoica
banner
cachemisses.bsky.social
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/
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 - cmu-pasta/fray: A controlled concurrency testing framework for the JVM
A controlled concurrency testing framework for the JVM - cmu-pasta/fray
github.com
October 6, 2025 at 6:16 PM
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! 🫡
September 24, 2025 at 6:57 PM
This is so cool! Congratulations, Manu (@manu.sridharan.net) & team!
September 16, 2025 at 9:24 PM
Whoohoo!! Congratulations @aoli.al, @rohan.padhye.org and team! 💪💪💪
August 29, 2025 at 6:45 PM
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 😀
Systems Research Artifacts
Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
sysartifacts.github.io
June 12, 2025 at 6:13 PM
An accurate and apt description of my PhD 😅 (cries in ::dissertation writing::)
June 3, 2025 at 6:03 PM
☝️☝️☝️
June 3, 2025 at 6:00 PM
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
April 3, 2025 at 4:07 PM
I wish I could've made it to Rotterdam this year 😔 I always have lots of fun at @eurosysconf.bsky.social
April 3, 2025 at 3:30 PM
I feel your pain :-(
March 11, 2025 at 6:22 PM
Super cool work!
February 8, 2025 at 3:35 AM
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...
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...
www.microsoft.com
January 28, 2025 at 8:54 PM
Oh, no!! Good luck! Keeping my fingers crossed, waiting for the post-defense broadcast :-)
December 3, 2024 at 4:30 PM