Qihao Lian

According to our database, Qihao Lian authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials.

Qihao Lian, Di Wang

CoRR, February, 2025

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials.

Qihao Lian, Di Wang

Proc. ACM Program. Lang., 2025