research
∙
08/30/2023
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
Automatic static cost analysis infers information about the resources us...
share
research
∙
09/10/2021
Regular Path Clauses and Their Application in Solving Loops
A well-established approach to reasoning about loops during program anal...
research
∙
06/13/2021
VeriFly: On-the-fly Assertion Checking via Incrementality
Assertion checking is an invaluable programmer's tool for finding many c...
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
∙
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/30/2019
Computing Abstract Distances in Logic Programs
Abstract interpretation is a well-established technique for performing s...
research
∙
04/06/2018
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Instrumenting programs for performing run-time checking of properties, s...
research
∙
03/12/2018
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption
Many applications require conformance with specifications that constrain...
research
∙
06/13/2016
ENTRA: Whole-Systems Energy Transparency
Promoting energy efficiency to a first class system design goal is an im...
research
∙
04/14/2016