Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

Since the multicore revolution, software systems are more and more inherently concurrent. Debugging such concurrent software systems is still hard, but in the recent years new tools and techniques are being proposed. For such novel debugging techniques, the main question is how to make sure that the proposed techniques are sufficiently expressive. In this paper, we explore a formal foundation to provide researchers with a principled approach to identify the design space for the proposed debugging techniques and assess how complete their set of debugging features is. In particular, we describe a principled approach for defining the operational semantics of a debugger. Subsequently, we apply this technique in order to derive the operational semantics for a communicating event-loop debugger. We show that our technique scales for defining the semantics of a wide set of novel breakpoints recently proposed by systems such as REME-D and Kómpos. To the best of our knowledge, this is the first formal semantics for debugging asynchronous message passing-based concurrency models.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
13:30
30m
Talk
Locality-Guided Scheduling in CAF
AGERE
File Attached
14:00
30m
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
AGERE
Carmen Torres Lopez , Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria, Christophe Scholliers Universiteit Gent, Belgium
14:30
30m
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro Shibanai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI