Login
Talks & Seminars
Title: Trace Driven Dynamic Deadlock Detection and Reproduction
Prof. Murali Krishna R., IISc Bangalore
Date & Time: January 17, 2014 16:00
Venue: Conference Room, C Block, 01st Floor, Department of Computer Science and Engineering, Kanwal Rekhi Building
Abstract:
Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this talk, I will discuss our approach to address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.
Speaker Profile:
Murali Krishna Ramanathan is an Assistant Professor in the Department of Computer Science and Automation at IISc. His research interests broadly span the areas of software engineering, programming languages and scalable system design. Before joining IISc, he was a Principal Engineer at Coverity building program analysis tools that are widely used in the software industry. He received PhD and MS degrees in Computer Science from Purdue University and a BE (CSE) from CEG, Chennai. When he is not designing techniques for software bug detection, he trains for endurance races and has finished an Ironman triathlon.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback