TY  - RPRT
TI  - Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
AU  - Abhishek Rose
AU  - Sorav Bansal
PY  - 2025
DO  - 10.1145/3649863
UR  - https://arxiv.org/abs/2403.05302
ID  - 2403.05302
ER  -