This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n14https://kar.kent.ac.uk/id/eprint/74328#
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
n15http://purl.org/ontology/bibo/status/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n13http://eprints.org/ontology/
n17https://kar.kent.ac.uk/id/event/
n6doi:10.4230/
bibohttp://purl.org/ontology/bibo/
n12https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n8https://kar.kent.ac.uk/id/document/
n16https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20https://kar.kent.ac.uk/74328/
n11https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n4https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:74328
rdf:type
bibo:Article bibo:AcademicArticle n13:ConferenceItemEPrint n13:EPrint
rdfs:seeAlso
n20:
owl:sameAs
n6:LIPIcs.ECOOP.2019.27
n13:hasAccepted
n8:3181781
n13:hasDocument
n8:3181781 n8:3181787 n8:3181788 n8:3181789 n8:3181791 n8:3181790
dc:hasVersion
n8:3181781
dcterms:title
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
wdrs:describedby
n11:export_kar_RDFN3.n3 n18:export_kar_RDFN3.n3
dcterms:date
2019-04-01
dcterms:creator
n4:ext-robbert.gurdeepsingh@ugent.be n4:ext-ctorresl@vub.be n4:ext-s.marr@kent.ac.uk n4:ext-egonzale@vub.be n4:ext-christophe.scholliers@ugent.be
bibo:status
n15:peerReviewed n15:published
dcterms:publisher
n12:ext-fb716d0e4677e460329957b7f78b51e8
bibo:abstract
Many of today's software systems are parallel or concurrent. With the rise of Node.js and more generally event-loop architectures, many systems need to handle concurrency. However, its non-deterministic behavior makes it hard to reproduce bugs. Today's interactive debuggers unfortunately do not support developers in debugging non-deterministic issues. They only allow us to explore a single execution path. Therefore, some bugs may never be reproduced in the debugging session, because the right conditions are not triggered. As a solution, we propose multiverse debugging, a new approach for debugging non-deterministic programs that allows developers to observe all possible execution paths of a parallel program and debug it interactively. We introduce the concepts of multiverse breakpoints and stepping, which can halt a program in different execution paths, i.e. universes. We apply multiverse debugging to AmbientTalk, an actor-based language, resulting in Voyager, a multiverse debugger implemented on top of the AmbientTalk operational semantics. We provide a proof of non-interference, i.e., we prove that observing the behavior of a program by the debugger does not affect the behavior of that program and vice versa. Multiverse debugging establishes the foundation for debugging non-deterministic programs interactively, which we believe can aid the development of parallel and concurrent systems.
dcterms:isPartOf
n16:repository
bibo:authorList
n14:authors
bibo:presentedAt
n17:ext-18844ab521a2ef39bf6dc5cdb3faef2b