research
∙
11/21/2020
lospre in linear time
Lifetime-optimal speculative partial redundancy elimination (lospre) is ...
research
∙
10/09/2020
C for a tiny system
We have implemented support for Padauk microcontrollers, tiny 8-Bit devi...
research
∙
10/09/2020
Constant-time connectivity tests
We present implementations of constant-time algorithms for connectivity ...
research
∙
01/14/2019