The paper presents an automated refactoring tool that enables developers to extract long-running operations into a separate background task, instead of the main user interface (UI) thread. This approach reduces the burden on the programmer to do such a transformation manually. Additionally, they also have another tool that checks for the correctness of the transformation by performing an analysis to check for race conditions.

The paper is well written with a strong motivation, backed up by in-depth analysis of several code bases. The examples provided are very informative and useful for developers. The experiments are elaborate and corroborate the authors’ claims.

However, the paper lacks novelty in advancing the techniques--all of the techniques used in the paper are known and established in concurrent programming to have lots of limitations. The paper does not attempt to solve any such limitations. Instead, it just looks at time-tested techniques applied to a different setting (that is, embedded programming).