1/ We're excited to announce that our paper on finding bugs in retry logic was accepted at SOSP'24! #sosp #sosp24 #sigops #acm
Opinions, my own. Boosts are not endorsements.
| Personal website: | https://bastoica.github.io/ |
Bogdan Alexandru Stoica
- 22 Followers
- 83 Following
- 46 Posts
PhD student in Systems @ U of Chicago, working on software reliability & efficiency. Debugging by choice :-)
Opinions, my own. Boosts are not endorsements.
Opinions, my own. Boosts are not endorsements.
➤ In case you missed my EuroSys'23 talk earlier this month, you can find the slides, paper, and artifact here: http://bastoica.github.io/research
➤ A huge, huge thank you to my advisor Shan, and mentors Suman and Madan for helping me get this over the finish line!
➤ Waffle is a delay injection tool that aims to expose MemOrder bugs (memory order violations like use-after-free), effectively and with minimal user/dev intervention. At a glance, Waffle reuses existing test suites to steer the execution towards a MemOrder bug by strategically delaying threads at carefully selected program locations.
➤ Beyond the tool itself, one of the broader takeaways of our work is the roadmap we sketched out: breaking down active delay injection into core design points and showing how to adapt them one-by-one to the traits of a particular type of bug. We hope that future research in this space will get inspired by our "blueprint" when building new, better active delay injection tools.