Bogdan "Bo" Alexandru Stoica

Postdoctoral Research Associate, SysNet @ UIUC

Contact: bastoica-AT-illinois-DOT-edu

I am a Postdoctoral Research Associate in the SysNet group at the University of Illinois Urbana-Champaign (UIUC) where I am fortunate to be hosted by Prof. Tianyin Xu.

I work at the intersection of Systems, Software Engineering, Programming Languages, and Artificial Intelligence, designing techniques to help software engineers better implement, deploy, and reason about their software. To this end, I build analysis tools that combine traditional software testing and monitoring techniques with modern AI approaches.

I obtained my PhD from the University of Chicago, after spending several wonderful years in the Second City. I was lucky to be mentored by my rock start advisor, Prof. Shan Lu, and guided by several amazing mentors, including Prof. Haryadi Gunawi (UChicago), Prof. Kexin Pei (UChicago), Dr. Suman Nath (Microsoft Research) and Dr. Madan Musuvathi (Microsoft Research). My doctoral studies were supported, in part, by an Eckhardt Scholarship.

Before joining UChicago, I obtained my MSc degree from the Swiss Federal Institute of Technology in Lausanne (EPFL) and my BSc degree from the University of Bucharest. In a previous life, I had a grown-up job working as a Software Engineer for Microsoft and Bitdefender Labs.

Recent News


September
2025
Our paper on guiding fuzzing with LLM-generated pseudo-invariants to synthesize performance tests was accepted to NeurIPS'25. See you in San Diego, CA!
August
2025
Prof. Pierre Olivier and I are co-charing the EuroSys'26 Artifact Evaluation Commitee. Please consider submitting your artifacts.
July
2025
Our paper on understanding and identifying bugs in Cloud management software was accepted to NSDI'26. See you in Renton, WA!
April
2025
I am deeply honored and incredibly grateful to receive a Distinguished Artifact Evaluator award at EuroSys'25.
October
2024
Our paper on understanding and identifying bugs in retry functionality was accepted to SOSP'24. See you in Austin, TX!
September
2024
I will give an invited talk about the challenges and opportunities of integrating large language models with traditional bug-finding techniques at PACMI'24.
August
2024
I will serve on the Artifact Evaluation committee of EuroSys'25. Looking forward to trying out your artifacts!
June
2024
I will co-organize a Birds-of-a-Feather (BoF) session on facilitating systems reproducibility with the Chameleon testbed at OSDI'24. See you in Santa Clara, CA!
April
2024
I will give a talk about using artifact reproducibility as a classroom tool as part of the "Practical Strategies for Teaching Reproducibility" tutorial at ACM REP'24.
July
2023
I will serve on the Artifact Evaluation committee of this year's SOSP. Looking forward to seeing your artifacts!
April
2023
This summer, I will join the Core ML Engineering team at Google as a Research Intern mentored by Gloria Shen and Dr. Ilya Kavalerov.
March
2023
I will serve on the Artifact Evaluation committee of MLSys'23. Please consider submitting your artifacts.
August
2022
Our paper on exposing memory order violations using delay injection was accepted to EuroSys'23. See you in Rome!
March
2022
This summer, I will join the Profiling group at Meta as a Research Intern mentored by Nathan Slingerland.
February
2022
I will serve on the Artifact Evaluation committees of ASPLOS'22, EuroSys'22 and OSDI'22. Please consider submitting your code.
August
2021
I will serve on the Artifact Evaluation Committee of SOSP'21. Please consider registring your artifacts.
January
2021
This winter, I will join Microsoft Research as a PhD Collaborator, mentored by Dr. Suman Nath and Dr. Madan Musuvathi.