Peer-Reviewed Publications
| SOSP'24 |
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems Bogdan Alexandru Stoica*, Utsav Sethi*, Yiming Su, Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath (*equal contribution). The 30th Symposium on Operating Systems Principles (SOSP). Austin, TX, USA. November, 2024. Paper / Poster / Slides / Code Press: Abstracts - a Microsoft Research Podcast (Nov 4th episode) |
| EuroSys'23 |
Waffle: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection Bogdan Alexandru Stoica, Shan Lu, Madan Musuvathi, and Suman Nath. The 18th ACM SIGOPS European Conference on Computer Systems (EuroSys). Rome, Italy. May, 2023. Paper / Poster / Slides / Code Press: Disseminate - The Computer Science Research Podcast, Ep. #38 |
Talks
| Conference |
If At First You Don’t Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting
Retry Bugs in Software Systems Conference Talk. SOSP’24. Austin, TX, US. November 2024. |
| Conference |
Weaving Large Language Models into the Bug Finding Pipeline: Challenges and Opportunities Invited Talk. PACMI’24. Austin, TX, US. November 2024 |
| Conference |
Artifact Reproducibility as a Classroom Tool Invited Tutorial Talk. ACM REP'24. Rennes, France. June 2024. |
| Conference |
Waffle: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection Conference Talk. EuroSys'23. Rome, Italy. May 2023. |
| Seminar |
Failure Diagnosis with Hardware Support Seminar. Imperial Collage London. London, UK. Jan 2019. Invited Talk. University of Illinois at Urbana-Champaign. Champaign, IL, USA. Sep 2018. |
| Seminar |
Exploring Hardware Data Logging on Modern CPUs Seminar. Microsoft Research. Redmond, WA, USA. Sep 2018. |
| Seminar |
Modern Hardware and OS Support for Efficient Execution Tracing Invited Talk. University of Zurich. Zurich, Switzerland. Dec 2017. |