Keynote talk III

III- Finding the Root Cause for Concurrency Bugs

luis 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).

Dates

These are firm deadlines

January 12, 2016

Abstract submission deadline

January 23, 2016

Paper submission deadline

March 15, 2016

Acceptance notification

April 05, 2016

Camera ready copy due

Proceedings

SpringerLNCS

The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science

Partners & Sponsors

SponsorsNETYS28