Deadlock-free fine-grained thread migration | IEEE Conference Publication | IEEE Xplore