BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Deadlock Immunity: Teaching Systems How To Defend Against Deadlock
 s - George Candea  (EPFL)
DTSTART:20090107T110000Z
DTEND:20090107T120000Z
UID:TALK15264@talks.cam.ac.uk
CONTACT:Eiko Yoneki
DESCRIPTION:Deadlock immunity is a property by which programs\, once affli
 cted by a given deadlock\, develop resistance against future occurrences o
 f that and similar deadlocks. I will describe a technique that enables pro
 grams to automatically gain such immunity without assistance from programm
 ers or users. We implemented this approach for both Java and POSIX threads
  and evaluated it with several real systems\, including MySQL\, JBoss\, SQ
 Lite\, Apache ActiveMQ\, Limewire\, and Java JDK. The results demonstrate 
 effectiveness against real\, reported deadlock bugs\, while incurring mode
 st performance overhead and scaling to 1024 threads. I will discuss how de
 adlock immunity can offer programmers and users an attractive tool for cop
 ing with elusive deadlocks\, as well as present extensions of the immunity
  idea to other types of failures.\n\nBIO:\nGeorge Candea has been an Asst.
  Professor of Computer Science at EPFL since Fall 2006.  He established th
 e Dependable Systems Lab\, where he leads research on tools and frameworks
  for engineering reliable\, highly available\, manageable computer systems
 . He is also Chief Scientist of Aster Data Systems\, a large-scale data an
 alytics company he co-founded in 2005. George received the Top 35 Young Te
 chnology Innovators award conferred by the MIT Technology Review in 2005. 
 In 2001\, George was part of the founding team of the Recovery-Oriented Co
 mputing (ROC) project. Between 1998-2003\, George worked at Oracle Corp. i
 n the distributed systems and caching division\; previously\, he held inte
 rn positions at IBM Research and Microsoft Research. George received his P
 hD in computer science from Stanford University in 2005 and his BS (1997) 
 and MEng (1998) in computer science from the Massachusetts Institute of Te
 chnology.\n
LOCATION:SS03\, Computer Laboratory\, William Gates Builiding
END:VEVENT
END:VCALENDAR