TY  - RPRT
TI  - YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
AU  - Xuan Tang
AU  - Kemeng Huang
AU  - Gilbert Bernstein
AU  - Minchen LI
AU  - Tzumao Li
PY  - 2026
DO  - 10.1145/3811327
UR  - https://arxiv.org/abs/2605.23088
ID  - 2605.23088
ER  -