BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Stamping Out Concurrency Bugs - Baris Kasikci\, École Polytechniq
 ue Fédérale de Lausanne
DTSTART:20160316T093000Z
DTEND:20160316T103000Z
UID:TALK65127@talks.cam.ac.uk
CONTACT:44515
DESCRIPTION:The shift to multi-core architectures in the past ten years pu
 shed developers to write concurrent software to leverage hardware parallel
 ism. The transition to multi-core hardware happened at a more rapid pace t
 han the evolution of associated programming techniques and\ntools\, which 
 made it difficult to write concurrent programs that are both efficient and
  correct. Failures due to concurrency bugs are often hard to reproduce and
  fix\, and can cause significant losses.\n\nIn this talk\, I will first gi
 ve an overview of the techniques we\ndeveloped for the detection\, root ca
 use diagnosis\, and classification\nof concurrency bugs. Then\, I will dis
 cuss how the techniques we\ndeveloped have been adopted at Microsoft and I
 ntel. I will then\ndiscuss in detail Gist\, a technique for the root cause
  diagnosis of\nfailures. Gist uses hybrid static-dynamic program analysis 
 and gathers\ninformation from real user executions to isolate root causes 
 of\nfailures. Gist is highly accurate and efficient\, even for failures\nt
 hat rarely occur in production. Finally\, I will close by describing\nfutu
 re work I plan to do toward solving the challenges posed to software syste
 ms by emerging technology trends.\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR