Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social
@CacheMisses
PhD candidate in Systems @ UChicago. Working on software reliability & efficiency. Opinions, my own. Retweets are not endorsements.
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: bastoica.github.io/files/papers/2… #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: msft.it/6012Wn6am
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: dl.acm.org/doi/10.1145/36… dl.acm.org/doi/10.1145/36…
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, marshtompsxd.github.io Interview him;…
A petition to SIGOPS to adopt the USENIX Annual Technical Conference (ATC) and retain its steering committee docs.google.com/document/d/1wK… (not sure whether it can be done by SIGOPS alone, but it's great to let the voice be heard)
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/tc7xca6PaYFqyY…. Also, check out the full AE call, here: sysartifacts.github.io/eurosys2026/ae…
HoliPaxos! After a revision process, I just received a VLDB acceptance for our new Paxos paper: "HoliPaxos: Towards More Predictable Performance in State Machine Replication" I love conferences that work with authors to improve papers instead of rejecting outright.
We're excited to invite you to attend DLSP 2025, co-located with IEEE S&P on May 15! dlsp2025.ieee-security.org Themes: + Security & Privacy for ML + ML for Security & Privacy Invited speakers include: + David Wagner (UC Berkeley) + Yuan Tian (UCLA) + Anoop Singhal (NIST) More…
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 ☁️💻 ▶️bit.ly/3XPaOF2
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 forms.gle/187NkvkWyNtBHD…. #SystemsResearch #Reproducibility #OSDI #ATC
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: rohan.padhye.org/files/datetime…
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 :)
Can #LLMs replace developers? Introducing RepoCod-Lite 🐟 for faster evaluation to answer this: 200 of the toughest #RepoCod #code-generation tasks: - GPT-4o and other LLMs have < 10% accuracy/pass@1 on RepoCod-Lite tasks - Leaderboard lt-asset.github.io/REPOCOD/ - 67…
Can language models replace developers? RepoCod says “Not Yet”, because GPT-4o and other LLMs have <30% accuracy/pass@1 on real-world method-level code generation tasks. Leaderboard lt-asset.github.io/REPOCOD/ #LLM4code #LLM #CodeGeneration #Security @cerias @PurdueScience
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.
Vijay (@vj_chidambaram) is an incredible advisor and Austin has (arguably) the best bbq in the US. Best combo ever!
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.