Keynote talk III

III- Finding the Root Cause for Concurrency Bugs

Luis Rodrigues INESC-ID, Universidade de Lisboa, Portugal

Biography:
Luís Rodrigues is Professor at Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa and a researcher of the Distributed Systems Group at the INESC-ID laboratory, where he currently serves as the head of the board of directors. His current interests include fault-tolerant distributed systems, concurrency, replicated data management, cloud computing, dynamic networks, information dissemination, and autonomic computing.  He is co-author of two books on distributed computing.

Abstract:
In this talk I will briefly overview ongoing work at INESC-ID that aims at designing and implementing tools for helping programmers to find the root cause for concurrency bugs in parallel programs. With that goal in mind, our tools provide differential schedule projections (DSPs); a DSP shows the small set of memory operations and data-flows responsible for a failure, as well as a reordering of those elements that avoids the failure. I will describe how we can find non-failing schedules from failing schedules but also how we can leverage on non-failing schedules to guide the search for bugs. This was joint work with Nuno Machado (INESC-ID, IST, U. Lisboa) and  Brandon Lucia (CMU).