5 citations · 9 across the 5 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.PL2020
lospre in linear time
Philipp Klaus Krause
Lifetime-optimal speculative partial redundancy elimination (lospre) is the most advanced currently known redundancy elimination technique. It subsumes many previously known approa…
cs.PL2020
C for a tiny system
Philipp Klaus Krause, Nicolas Lesser
We have implemented support for Padauk microcontrollers, tiny 8-Bit devices with 60 B to 256 B of RAM, in the Small Device C Compiler (SDCC), showing that the use of (mostly) stand…
cs.DS2020
Constant-time connectivity tests
Philipp Klaus Krause
We present implementations of constant-time algorithms for connectivity tests and related problems. Some are implementations of slightly improved variants of previously known algor…