TY - RPRT TI - AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs AU - Baihong Chen AU - Wen Li PY - 2026 UR - https://arxiv.org/abs/2610.18831 ID - 2610.18831 ER -