Invariant Aware Programming: A Path to Safer Code

Powered by Restream https://restream.io

Speaker: Ryan Berger

Ryan Berger is a Senior Software Developer at Starbucks working on tools to manage their fleet of thousands of servers at the edge. He also moonlights as a computer science researcher doing work related to programming languages and software correctness.

Description:

In this session, we will delve into the fundamental concept of an invariant - what is true about a program at a given time - and its crucial role in software correctness. By understanding how to identify, define, and enforce invariants within data structures, distributed systems, or any number of contexts, you will gain a new tool to prevent bugs, mitigate errors, and enhance the robustness of your applications.