Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Effective Testing for Concurrency Bugs
Speaker:Pedro Fonseca
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Defense
Visibility:SWS
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Wednesday, 24 June 2015
Time:13:00
Duration:
Location:Saarbr├╝cken
Building:E1 5
Room:029
Abstract
In the current multi-core era, concurrency bugs are a serious threat to
software reliability. As hardware becomes more parallel, concurrent
programming will become increasingly pervasive. However, correct
concurrent programming is known to be extremely challenging for developers
and can easily lead to the introduction of concurrency bugs. This talk
addresses this challenge by proposing novel techniques to help developers
expose and detect concurrency bugs.
First, I will briefly present the results of a bug study that analyzed the
external and internal effects of real-world concurrency bugs. This study
revealed that a significant fraction of concurrency bugs qualify as
semantic or latent bugs, which are two particularly challenging classes of
concurrency bugs. Based on the insights from the study, I will present a
concurrency bug detector, PIKE, that analyzes the behavior of program
executions to infer whether concurrency bugs have been triggered during a
concurrent execution. In addition, I will present the design of a testing
tool, SKI, that allows developers to test operating system kernels for
concurrency bugs in a practical manner. SKI bridges the gap between
user-mode testing and kernel-mode testing by enabling the systematic
exploration of the kernel thread interleaving space. Both PIKE and SKI
have been shown to be effective at finding concurrency bugs.
Contact
Name(s):Maria-Louise Albrecht
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:112
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created by:Maria-Louise Albrecht/MPI-KLSB, 11/19/2015 11:06 AMLast modified by:Uwe Brahm/MPII/DE, 11/24/2016 04:14 PM
  • Maria-Louise Albrecht, 11/19/2015 11:09 AM -- Created document.