APA (7th ed.) Citation

Brahmakshatriya, A., Amarasinghe, S., & Rinard, M. (2026). Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System.

Chicago Style (17th ed.) Citation

Brahmakshatriya, Ajay, Saman Amarasinghe, and Martin Rinard. Backwards Data-Flow Analysis Using Prophecy Variables in the BuildIt System. 2026.

MLA (9th ed.) Citation

Brahmakshatriya, Ajay, et al. Backwards Data-Flow Analysis Using Prophecy Variables in the BuildIt System. 2026.

Warning: These citations may not always be 100% accurate.