RAGuard: A Hardware Based Mechanism for Backward-Edge Control-Flow Integrity

A Rust-based Runtime for the Internet of Things

Why Functional Programming Matters (1984)

Dependent Types At Work

Why Functional Programming Matters by John Hughes [1984]

Safer smart contracts through type-driven development in idris

New research enables "tailored" diet advice – based on our personal gut microbiome – for persons who want to lose weight and reduce the risk of disease

Parallelization in Rust with fork-join and friends

Finite Automata and Their Decision Problems (1959)

New tide gauge uses GPS signals to measure sea level change