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

Update : 2025/04/10