Towards Proving Optimistic Multicore Schedulers.

Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller

Browse the full HotOS paper archive.