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]
@inproceedings{LepersZLPGSLM17,
title = {Towards Proving Optimistic Multicore Schedulers},
author = {Baptiste Lepers and Willy Zwaenepoel and Jean-Pierre Lozi and Nicolas Palix and Redha Gouicem and Julien Sopena and Julia Lawall and Gilles Muller},
year = {2017},
doi = {10.1145/3102980.3102984},
url = {http://doi.acm.org/10.1145/3102980.3102984},
researchr = {https://researchr.org/publication/LepersZLPGSLM17},
cites = {0},
citedby = {0},
pages = {18-23},
booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
editor = {Alexandra Fedorova and Andrew Warfield and Ivan Beschastnikh and Rachit Agarwal 0001},
publisher = {ACM},
isbn = {978-1-4503-5068-6},
}