selected publications conference paper Challenges in operating-systems reengineering for many cores. . 2010