Alex Weisberger on Perfomal [PWL NYC]

We're pleased to present Alex Weisberger on Performal: Formal Verification of Latency Properties for Distributed Systems

Paper: https://dl.acm.org/doi/pdf/10.1145/3591235

---
We'd like to thank Datadog for sponsoring the PWL NYC Meetup
Join the Pack! https://careers.datadoghq.com/
---

Performal is an approach for formally reasoning about latency in distributed systems. It provides a way to state and prove worst-case latency bounds in a way that abstracts over the complexity of real-world infrastructure. To deal with the messy details of physical reality, it provides a way to pair this with performance measurements so that end-to-end latency can be accurately estimated.

Alex Weisberger is a full-stack engineer currently working at Datadog on the Database Monitoring product. At work, he's been working on database health analysis and recommendations. His extracurricular tech interests are around applying formal methods to day-to-day work: things like property-based testing, model-based testing, TLA+, and simulation. His weekends are mostly filled with Nerf fights, Super Smash Bros., and various sports with his kids.