Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...

Abstract: Crack, cavity, and leakage defects in subway tunnels significantly threaten tunnel operational safety. Due to the limited detection time window, the trend in the tunnel detection has shifted ...