Towards Proving Optimistic Multicore Schedulers.
Towards Proving Optimistic Multicore Schedulers.
Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
01 February 2017
Venue : HotOS
External Link: https://doi.org/10.1145/3102980.3102984