BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Stamping out Concurrency Bugs
DTSTART:20151214T100000
DTEND:20151214T120000
DTSTAMP:20260502T120559Z
UID:69744b55b2ac2250ced10706b8c8e4ac598a124a80628c6a60c3515d
CATEGORIES:Conferences - Seminars
DESCRIPTION:Baris Kasikci\, EPFL\nAbstract:\nThe shift to multi-core archi
 tectures in the past ten years has led to a significant change in the way 
 most programmers write code. As hardware became increasingly parallel\, co
 ncurrent software became mainstream to leverage hardware parallelism. Howe
 ver\, the transition to multi-core hardware happened at a more rapid pace 
 than the evolution of associated programming techniques and tools\, which 
 made it difficult to write programs that employ concurrency and are both e
 fficient and correct. Failures due to concurrency bugs are often hard to r
 eproduce and fix\, and can cause massive losses. It is harder to deal with
  concurrency bugs if they occur in production because developers may not b
 e able to reproduce such bugs in house to fix them.\nIn this talk\, I will
  discuss techniques for the detection\, root cause diagnosis and classific
 ation of concurrency bugs. Specifically\, I will first describe a techniqu
 e that relies on real user executions to statistically isolate root causes
  of failures with high accuracy and low overhead\, with a focus on failure
 s due to concurrency bugs. Then\, I will present a technique to accurately
  and efficiently detect data races in production by again relying on real 
 user execution information. Finally\, I will briefly talk about a techniqu
 e for classifying data races to help developers prioritize their fixing ef
 forts. The techniques we built are efficient\, therefore they are applicab
 le to real world systems that run in production. I will also discuss how t
 he techniques we developed were adopted by major technology companies like
  Microsoft and Intel.Biography:\nI am a final year PhD candidate in the De
 pendable Systems Laboratory (DSLAB) at EPFL\, advised by George Candea. My
  research is centered around developing techniques\, tools and environment
 s that help build more reliable and secure software. I am interested in fi
 nding solutions that allow programmers to better reason about their code\,
  and that efficiently detect bugs\, classify them\, and diagnose their roo
 t cause. I especially focus on bugs that manifest in production\, because 
 they are hard and time consuming. I am also interested in efficient runtim
 e instrumentation\, hardware and runtime support for enhancing system secu
 rity\, and program analysis under various memory models.\nI am one of the 
 four recipients of the VMware 2014-2015 Graduate Fellowship.\nDuring my Ph
 D\, I interned at Microsoft Research\, VMware and Intel. Before starting m
 y PhD\, I worked as a software engineer for four years\, mainly developing
  real-time embedded systems software. Before joining EPFL\, I was working 
 for Siemens Corporate Technology.\nMore details can be found in my CV.CV
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR