@misc{indiciae506128b51ed7, title = {AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs}, author = {Baihong Chen and Wen Li}, year = {2026}, url = {https://arxiv.org/abs/2610.18831}, note = {Source identifier: 2610.18831} }