SIGSYS Seminar
Title:
Dynamic Analysis for Multi-threaded Programs for Bugs and Relevancy
Abstract:
Testing, debugging, and understanding of multi-threaded programs are notoriously difficult due to non-determinism not only in inputs but
also in OS schedules.In the first part, we focus on various dynamic analysis techniques
that detect and predict concurrency-related bugs from an observed
trace. We discuss these techniques and their significance in the
context of an in-house x86 dynamic binary instrumentation based tool
CONTESSA (CONcurrent TESting augmented with Symbolic Analysis). We found the tool to be effective on several public benchmarks in finding known/unknown concurrency bugs.In the second part, we present a framework DTAM for dynamic taint
analysis for multi-threaded programs. It performs thread-modular
taint analysis for each thread in parallel during runtime, and then
aggregates the thread-modular results offline. This approach has
performance and coverage advantages compared to taint analysis on sequentialization of a concurrent execution. We use DTAM to identify a subset of input sources and shared objects that are, in a sense, relevant for covering program behavior. Such relevancy analysis can be used in deterministic replay, stress testing, data race predictor, prioritizing races, and security.Bio:
Malay K. Ganai is currently a Senior Research Staff Member at NECLA.
He is involved in several research activities under Formal methods and their application to testing and verification. Most of which resulted in development of in-house products such as VeriSol, F-soft, and Contessa for internal and licensed external users. He has more than 13 years of industrial experience, and has mentor-ed over 15
Ph.D. students. He has co-authored about 60 publications, and one
Springer book. He is issued with 14 patents, and 12 more are
pending. He served in program committee of several technical
conferences in various roles. He received B.Tech from IIT Kanpur,
India; MS+Ph.D. from UT Austin.
Friday, April 12, 2013 at 11:15am to 12:05pm
Smith Hall, Room 102A
Smith Hall, University of Delaware, Newark, DE 19716, USA
- Event Type
-
Registered Student Organizations, Students, College of Engineering, Academics, Lectures and Programs, Community
- Calendar
- Departments
Recent Activity
No recent activity