Modular Responsiveness Verification of Rust Async Runtimes

Yanze Li, Ivan Beschastnikh, Alexander J. Summers

Asynchronous (async) programming is a popular paradigm for managing concurrency. Languages that provide async support typically have a runtime to manage asynchronous executions. Th…