research
∙
09/10/2021
Regular Path Clauses and Their Application in Solving Loops
A well-established approach to reasoning about loops during program anal...
share
research
∙
08/02/2021
Analysis and Transformation of Constrained Horn Clauses for Program Verification
This paper surveys recent work on applying analysis and transformation t...
research
∙
08/07/2020
An Experiment Combining Specialization with Abstract Interpretation
It was previously shown that control-flow refinement can be achieved by ...
research
∙
08/07/2020
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
We investigate representations of imperative programs as constrained Hor...
research
∙
08/20/2019
Polyvariant Program Specialisation with Property-based Abstraction
In this paper we show that property-based abstraction, an established te...
research
∙
07/31/2019
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
The estimation and control of resource usage is now an important challen...
research
∙
07/29/2019
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Control-flow refinement refers to program transformations whose purpose ...
research
∙
01/04/2019
Detecting and Diagnosing Energy Issues for Mobile Applications
Energy efficiency is an important criterion to judge the quality of mobi...
research
∙
04/17/2018
An iterative approach to precondition inference using constrained Horn clauses
We present a method for automatic inference of conditions on the initial...
research
∙
03/23/2018
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
This volume contains the joint proceedings of MARS 2018, the third works...
research
∙
03/05/2018
Tree dimension in verification of constrained Horn clauses
In this paper, we show how the notion of tree dimension can be used in t...
research
∙
08/24/2017
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
This volume constitutes the pre-proceedings of the 27th International Sy...
research
∙
06/13/2016
ENTRA: Whole-Systems Energy Transparency
Promoting energy efficiency to a first class system design goal is an im...
research
∙
10/14/2015