Conferences - Seminars
A Path to Achieving Sequential Correctness for Parallel Programs
By Satish Narayanasamy
Bio: Satish Narayanasamy is an Assistant Professor in the EECS Department at the University of Michigan, where he joined in 2008. He has a Ph.D. in Computer Science from the University of California, San Diego. His research interests include computer architecture and software systems.
His current focus is on improving the programmability and reliabilty of multiprocessors. He is the recipient of several awards including NSF CAREER, ASPLOS best paper, and IEEE Top Picks awards.
In this talk, I will discuss how by co-designing hardware, compiler and operating system we can solve some of the fundamental challenges in parallel programming. Specifically, I will present our ultra-low overhead solutions for supporting language-level sequential consistency semantics and some powerful tools for testing multi-threaded programs.
Organization Babak Falsafi
Contact Stéphanie Baillargues
Accessibility Informed public