TY  - RPRT
TI  - Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
AU  - Ajay Brahmakshatriya
AU  - Saman Amarasinghe
AU  - Martin Rinard
PY  - 2026
UR  - https://arxiv.org/abs/2601.02653
ID  - 2601.02653
ER  -