BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:A Path to Achieving Sequential Correctness for Parallel Programs
DTSTART:20131011T140000
DTEND:20131011T153000
DTSTAMP:20260503T083114Z
UID:b4e0b22f2546344b771e23475567f2cc0b393d26a27089b1e0984bd7
CATEGORIES:Conferences - Seminars
DESCRIPTION:Satish Narayanasamy\nBio: 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 architectu
 re and software systems.\nHis current focus is on improving the programmab
 ility and reliabilty of multiprocessors.  He is the recipient of several 
 awards including NSF CAREER\, ASPLOS best paper\, and IEEE Top Picks award
 s.\nParallel computers are becoming all pervasive from cell phones to data
 -centers. However\, parallel programming continues to be a daunting task t
 o this day even for experts. Even a semantics as fundamental as what value
  a load from shared-memory can return is poorly defined in popular concurr
 ent languages like C++ and Java.\nIn this talk\, I will discuss how by co-
 designing hardware\, compiler and operating system we can solve some of th
 e fundamental challenges in parallel programming. Specifically\, I will pr
 esent our ultra-low overhead solutions for supporting language-level seque
 ntial consistency semantics and some powerful tools for testing multi-thre
 aded programs.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR