@misc{indiciaeb44cdd8b9373, title = {YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation}, author = {Xuan Tang and Kemeng Huang and Gilbert Bernstein and Minchen LI and Tzumao Li}, year = {2026}, doi = {10.1145/3811327}, url = {https://arxiv.org/abs/2605.23088}, note = {Source identifier: 2605.23088} }