TY  - RPRT
TI  - Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
AU  - Vikram Nitin
AU  - Anne Mulhern
AU  - Sanjay Arora
AU  - Baishakhi Ray
PY  - 2025
DO  - 10.1109/tse.2024.3447671
UR  - https://arxiv.org/abs/2310.08507
ID  - 2310.08507
ER  -