76 citations · 373 across the 18 of their papers we have counts for
19 papers
foetus -- Termination Checker for Simple Functional Programs
Andreas Abel
We introduce a simple functional language foetus (lambda calculus with tuples, constructors and pattern matching) supplied with a termination checker. This checker tries to find a…
Birkhoff's Completeness Theorem for Multi-Sorted Algebras Formalized in Agda
Andreas Abel
This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable…
uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures
Andreas Abel, Jan Reineke
Performance models that statically predict the steady-state throughput of basic blocks on particular microarchitectures, such as IACA, Ithemal, llvm-mca, OSACA, or CQA, can guide o…
Flushgeist: Cache Leaks from Beyond the Flush
Pepe Vila, Andreas Abel, Marco Guarnieri +2
Flushing the cache, using instructions like clflush and wbinvd, is commonly proposed as a countermeasure against access-based cache attacks. In this report, we show that several In…
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Andreas Abel, Thierry Coquand
Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from…
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems
Andreas Abel, Jan Reineke
We present nanoBench, a tool for evaluating small microbenchmarks using hardware performance counters on Intel and AMD x86 systems. Most existing tools and libraries are intended t…