Provably sound semantics stack for multi-core system programming with kernel threads. - Artem Alekhin (2017)