Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller. Towards Proving Optimistic Multicore Schedulers. In Alexandra Fedorova, Andrew Warfield, Ivan Beschastnikh, Rachit Agarwal 0001, editors, Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017. pages 18-23, ACM, 2017. [doi]
Abstract is missing.