Towards Proving Optimistic Multicore Schedulers

doi 10.1145/3102980.3102984