Stuck-me-not: A deadlock detector on blockchain software in Rust. - Pengxiang Ning; Boqin Qin (EUSPN/ICTH, 2020)