Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social
@CacheMisses
Followers
216
Following
859
Media
3
Statuses
223
PhD candidate in Systems @ UChicago. Working on software reliability & efficiency. Opinions, my own. Retweets are not endorsements.
Joined August 2022
Shan and I had a blast chatting with Gretchen about our @sospconf work tackling retry bugs. We're extremely grateful to our team and to @MSFTResearch for featuring us on "Abstracts". Full paper, here: #sosp2024 #sosp24 #sigops.
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 at SOSP ’24, on “Abstracts” w/ Shan Lu & Bogdan Stoica:
0
2
16
Don't forget to check out the cool infrastructure offered, with generous support, by ChameleonCloud and CloudLab: Plus, stay tuned for tutorials on how to use this infra, come August. Sharing is highly appreciated😁.
0
0
0
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: Also, check out the full AE call, here:
1
2
6
RT @AlekseyCharapko: HoliPaxos! After a revision process, I just received a VLDB acceptance for our new Paxos paper: "HoliPaxos: Towards Mo….
0
6
0
RT @Kexin_Pei: We're excited to invite you to attend DLSP 2025, co-located with IEEE S&P on May 15! Themes:. Secu….
0
6
0
Super interesting & timely work from Tianyin (@tianyin_xu) & co, a "must check out"!.
#ILLINOIS CS professor Tianjin Xu is seeking to improve the reliability of modern cloud operations to empower the next generation of cloud-computing! Xu shared his visions in the Q&A below ☁️💻 .▶️
0
0
5
Come join the Artifact Evaluation Committee for #osdi25 & @usenixtatc25, and help promote reproducibility in our Systems community. Ryan (@ryanphuang) and Tianyin (@tianyin_xu) will make this process fun, smooth, and lightweight (1-2 artifacts per reviewer).
We are seeking members to join the Artifact Evaluation Committee for #OSDI25 & #USENIXATC25. Help promote reproducibility, and engage with cutting-edge systems research!. Please apply by April 17th via #SystemsResearch #Reproducibility #OSDI #ATC.
0
6
15
@ThaleiaDimitra @portokalidis . and the entire organization committee. Also, a huge shout-out to @ChameleonCloud and @UChicagoCS for providing part of the infrastructure that made this, yet again, a successful AE. Looking forward to next year's!. Tot ziens, EuroSys! #eurosys #ChameleonCloud #uchicago.
0
0
3
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 (@ThaleiaDimitra), Christian, Georgios (@portokalidis), and.
Reproducibility is a team effort! Bogdan Alexandru Stoica and Alexander Krause (né Lochmann) received the Distinguished Artifact Evaluator Award for their contribution to #EuroSys25 artifact evaluation process. Find the evaluated research artifacts here:
5
2
33
Woo-hoo!! Congrats, everyone! 🎉🎉 @UChicagoCS folks coming in hot at @EuroSysConf this year 💪💪 .#eurosys25 #eurosys #uchicago #sigops #acm.
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:.
0
0
9
Excellent and timely (pun intended 😅) work from Shrey (@shrey_twr), Rohan (@moarbugs) & 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 MSR'25 paper:
0
0
1
Wow, this is super interesting! Kudos to Vaastav (@vaastav05) for putting this together. Bookmarking 😃.
Check out this new seminar course (designed by me) that we will be offering this summer semester :).
1
0
4
And, of course, I forgot to link the papers 😅😅.Check out Verus: and AutoVerus:
0
0
2
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.
1
0
4
Xudong (@xu_dong_sun) is an amazing researcher and has been doing exciting work on systems verification & testing. If you're hiring, definitely ping him!.
Xudong Sun is on the faculty job market. He is truly brilliant, and has been doing exciting research on System Verification and Software Testing towards the vision of provably correct cloud infra and systems. His materials can be found at,. Interview him;
1
0
12
Thank you so, so much to the PACMI (@PacmiWorkshop) organizers for inviting me. Great audience and lots of thoughtful questions. Same time, next year :-).
Bogdan Stoica @CacheMisses from University of Chicago starts of the afternoon sessions with his invited talk on Weaving Large Language Models into the Bug Finding Pipeline: Challenges and Opportunities detailing how they used LLMs to find and fix retry bugs.
0
0
6
Vijay (@vj_chidambaram) is an incredible advisor and Austin has (arguably) the best bbq in the US. Best combo ever!.
0
0
2