431 citations
- Technical University of DenmarkDK18 papers
- IMDEA Software InstituteES11 papers
- University of CopenhagenDK10 papers
- Danish National Research FoundationDK8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- University of California, BerkeleyUS7 papers
- Institut Laue-LangevinFR5 papers
- Nankai UniversityCN5 papers
- The University of SydneyAU5 papers
- Aalborg UniversityDK4 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE4 papers
- Monash UniversityAU4 papers
10 papers · 1 filter
An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and se…
An Experiment Combining Specialization with Abstract Interpretation
John P. Gallagher, Robert Glück
It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analys…
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
John P. Gallagher, Manuel Hermenegildo, Bishoksan Kafle +3
We investigate representations of imperative programs as constrained Horn clauses. Starting from operational semantics transition rules, we proceed by writing interpreters as const…
Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses
Maja Hanne Kirkeby
We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., int…
Confluence and Convergence in Probabilistically Terminating Reduction Systems
Maja H. Kirkeby, Henning Christiansen
Convergence of an abstract reduction system (ARS) is the property that any derivation from an initial state will end in the same final state, a.k.a. normal form. We generalize this…
Probabilistic Resource Analysis by Program Transformation
Maja H. Kirkeby, Mads Rosendahl
The aim of a probabilistic resource analysis is to derive a probability distribution of possible resource usage for a program from a probability distribution of its input. We prese…