ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions

Jieung Kim, Jérémie Koenig, Hao Chen 0023, Ronghui Gu, Zhong Shao. ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions. Journal of Systems Architecture, 147:103046, February 2024. [doi]

Abstract

Abstract is missing.