Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Philipp Haller

Programming Languages Enhancing Network Management with Verified APIs

Learn how verified APIs improve SDN reliability and performance.

2025-09-29T08:37:00+00:00 ― 4 min read

Programming Languages Proving Failure Transparency in Stateful Dataflow Systems

A formal approach to ensure reliability in stateful dataflow systems like Apache Flink.

2025-07-16T12:09:24+00:00 ― 6 min read