A principled approach towards debugging communicating event-loops

Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, Hanspeter Mossenbock

Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)

4 Citations (Scopus)


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 suciently expressive.
In this paper, we explore a formal foundation that allows
researchers to identify debugging techniques and assess how
complete their features are in the context of message-passing
In particular, we describe a principled approach for dening
the operational semantics of a debugger. Subsequently,
we apply this technique to derive the operational semantics
for a communicating event-loop debugger. We show that
our technique scales for dening 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 rst formal semantics for debugging asynchronous
message passing-based concurrency models.
Original languageEnglish
Title of host publicationProceeding AGERE 2017 Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
PublisherAssociation for Computing Machinery (ACM)
Number of pages9
ISBN (Electronic)9781450355162
Publication statusPublished - 23 Oct 2017
EventAGERE! 2017: Programming Based on Actors, Agents, and Decentralized Control: AGERE! 2017 - Vancouver, Canada
Duration: 23 Oct 2017 → …


WorkshopAGERE! 2017: Programming Based on Actors, Agents, and Decentralized Control
Period23/10/17 → …

Cite this