research
∙
09/09/2023
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
The reliability of concurrent and distributed systems often depends on s...
share
research
∙
10/06/2022
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Message-passing concurrency is a popular computation model that underlie...
research
∙
10/06/2022
Explanations as Programs in Probabilistic Logic Programming
The generation of comprehensible explanations is an essential feature of...
research
∙
12/23/2021
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging
This paper presents a lightweight formalism (a trace) to model message-p...
research
∙
08/26/2021
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency
The execution of concurrent programs generally involves some degree of n...
research
∙
08/02/2020
Concolic Testing in CLP
Concolic testing is a popular software verification technique based on a...
research
∙
07/31/2020
Reversible Debugging in Logic Programming
Reversible debugging is becoming increasingly popular for locating the s...
research
∙
02/17/2020
An SMT-Based Concolic Testing Tool for Logic Programs
Concolic testing mixes symbolic and concrete execution to generate test ...
research
∙
09/17/2019
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
08/10/2019
Introduction to the 35th International Conference on Logic Programming Special Issue
We are proud to introduce this special issue of Theory and Practice of L...
research
∙
09/12/2018
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
Many Program Verification and Synthesis problems of interest can be mode...
research
∙
06/19/2018
A Theory of Reversibility for Erlang
In a reversible language, any forward computation can be undone by a fin...
research
∙
10/08/2017