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. |