Lukas Convent
YOU?
Author Swipe
View article: Doo bee doo bee doo
Doo bee doo bee doo Open
We explore the design and implementation of Frank, a strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar’s effect handler abstraction. Eff…
View article: TeSSLa: Temporal Stream-based Specification Language
TeSSLa: Temporal Stream-based Specification Language Open
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and comp…
View article: Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing Open
In this tutorial, we present a comprehensive approach to non-intrusive monitoring of multi-core processors. Modern multi-core processors come with trace-ports that provide a highly compressed trace of the instructions executed by the proce…
View article: TeSSLa: Temporal Stream-Based Specification Language
TeSSLa: Temporal Stream-Based Specification Language Open
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and comp…