A Comprehensive Compiler-Assisted Thread Abstraction for Resource- Constrained Systems Alexander Bernauer, ETH Zürich Kay Römer, University of Lübeck Meng-Lin.