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.
8/ Folks interested in this project can now check out the preprint version: https://bastoica.github.io/files/papers/2024_sosp_wasabi.pdf
I'll gradually post slides, videos, posters, etc. on my website: https://bastoica.github.io/research/
Stay tuned!
7/ A huge, huge, huge thank you to our rock star advisor, Shan; our stellar MSR mentors Suman, Jonathan, and Madan; our amazing undergrad research assistants, Yiming and Cyrus; and, last but not least, my fantastic co-first author, Utsav.
6/ We believe this is an exciting new direction: bug-finding at the mechanism level. Traditional program analysis is less suited to extract higher-level functionality patterns from code. Yet, LLMs offer a first compelling opportunity to tackle bugs at this level of abstraction.
5/ So we built Wasabi, a toolkit to detect retry bugs combining fault injection, static analysis, testing, and the fuzzy code comprehension capabilities of LLMs. We found 100+ new retry bugs by repurposing existing tests as bug triggers, and thru LLM-informed static analysis.
4/ We also found retry is often under-tested due to difficulty of writing tests that faithfully simulate retry conditions, like transient errors.
3/ We studied 70 retry bug reports from eight popular Apache systems and found challenges at both policy (if, when, how often to retry) and mechanism levels (how retry should be performed).
2/ Retry logic commonly improves software reliability. Yet despite its simplicity, implementing retry correctly is challenging.
Rob RicciI bought knock-off robes as a faculty member because they had pockets in them. A+
Also no one knows what any of the regalia actually means so I wore Dumbledore's hat to graduation one year
Dan PortsOne of my favorite random things in western WA is this unfinished nuclear power plant which was abandoned after a massive bond default and eventually turned into... the overstock.com call center.
(photo via https://www.portofgraysharbor.com/satsop-business-park)
Satsop Business Park — Port of Grays Harbor
Satsop Business Park is a community-owned facility that operates like a private company. Surrounded by 1200 acres of FSC-certified, sustainably managed forest land, Satsop Business Park offers more than 600 acres of developable land, robust utilities and a variety of facilities to private and public