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:Performance-aware Repair for Concurrent Programs
Speaker:Arjun Radhakrishna
coming from:University of Pennsylvania
Speakers Bio:Arjun Radhakrishna is a post-doctoral researcher at the University

of Pennsylvania. Previously, he completed his PhD at the Institute
of Science and Technology, Austria advised by Prof. Thomas
A. Henzinger. His research focuses primarily on using programming
language techniques, specifically, automated program synthesis, for
rigorous systems engineering.  His current research interests include
the use of alternative specification mechanisms to capture subtle soft
requirements on computing systems, such as program performance, energy
consumption, or a program's robustness to errors. He is also interested
in verification and synthesis of concurrent programs, in particular,
device drivers.

Event Type:SWS Colloquium
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Monday, 21 March 2016
Time:10:30
Duration:60 Minutes
Location:Kaiserslautern
Building:G26
Room:111
Abstract
We present a recent line of work on automated synthesis of
synchronization constructs for concurrent programs. Our techniques are
inspired by a study of the most common types of concurrency bugs and
bugs-fixes in Linux device-drivers.  As opposed to classical techniques
which tend to use expensive synchronization constructs, our technique
attempts to use inexpensive program transformations, such as reordering
independent statements, to improve the performance of generated fixes.

Our techniques are based on the observation that a large fraction of
concurrency bugs are data-independent. This observations allow us to
characterize and fix concurrency bugs based only on the order of
execution of the statements involved. We evaluated our techniques on
several real concurrency bugs that occurred in Linux device drivers, and
showed that our synthesis procedure is able to produce more efficient
and "programmer-like" bug-fixes.

We finish by talk with a brief note on the general theme of soft
specifications, such as performance and energy consumption, in program
synthesis. Specifically, we will discuss the use of quantitative
specifications and their applications to resource management in embedded
and cyber-physical systems.
Contact
Name(s):Roslyn Stricker
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Saarbrücken
To Building:E1 5To Room:029
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):

Created by:Roslyn Stricker/MPI-SWS, 03/08/2016 10:09 AMLast modified by:Uwe Brahm/MPII/DE, 11/24/2016 04:13 PM
  • Roslyn Stricker, 03/08/2016 10:13 AM -- Created document.