%0 Conference Paper %1 conf/hotos/LepersZLPGSLM17 %A Lepers, Baptiste %A Zwaenepoel, Willy %A Lozi, Jean-Pierre %A Palix, Nicolas %A Gouicem, Redha %A Sopena, Julien %A Lawall, Julia %A Muller, Gilles %B HotOS %D 2017 %E Fedorova, Alexandra %E Warfield, Andrew %E Beschastnikh, Ivan %E Agarwal, Rachit %I ACM %K %P 18-23 %T Towards Proving Optimistic Multicore Schedulers. %U http://dblp.uni-trier.de/db/conf/hotos/hotos2017.html#LepersZLPGSLM17 %@ 978-1-4503-5068-6

@inproceedings{conf/hotos/LepersZLPGSLM17, added-at = {2023-12-14T16:08:19.000+0100}, author = {Lepers, Baptiste and Zwaenepoel, Willy and Lozi, Jean-Pierre and Palix, Nicolas and Gouicem, Redha and Sopena, Julien and Lawall, Julia and Muller, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/2d3ceddfefc30e650bc4d4770f34b3fdd/admin}, booktitle = {HotOS}, crossref = {conf/hotos/2017}, editor = {Fedorova, Alexandra and Warfield, Andrew and Beschastnikh, Ivan and Agarwal, Rachit}, ee = {https://doi.org/10.1145/3102980.3102984}, interhash = {f40a0d3077dd7027319dd0ae8add72be}, intrahash = {d3ceddfefc30e650bc4d4770f34b3fdd}, isbn = {978-1-4503-5068-6}, keywords = {}, pages = {18-23}, publisher = {ACM}, timestamp = {2023-12-14T16:08:19.000+0100}, title = {Towards Proving Optimistic Multicore Schedulers.}, url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2017.html#LepersZLPGSLM17}, year = 2017 }