[Update : 2026/07/16]

• Qihao Lian, Di Wang* (2025). Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials. In OOPSLA. (Distinguished Paper Award)
  DOI Code Preprint