We're pleased to present Alex Weisberger on Performal: Formal Verification of Latency Properties for Distributed Systems (Read the Paper)

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.

---

⚠️ Required: You must have your real name on your account and provide a photo ID at the entrance to attend, per the venue rules. If you are not on the list, you will not be admitted.

🚔 Reminder: Papers We Love has a code of conduct. Breaching the CoC is grounds to be ejected from the meetup at the organizers' discretion.

📹 The event will be recorded and made available 1-2 weeks afterwards.

💬 Join us on the Papers We Love Discord - https://discord.gg/6gupsBg4qp

Venue:

Datadog 620 8th Ave, 45th Floor New York, NY 10018 USA Doors open at 6:30pm EST Note: Enter the building on 8th Avenue and go to the reception desk on your left

⚠️ Required: You must have your real name on your Meetup account and provide a photo ID at the entrance to attend, per the venue rules. If you are not on the list, you will not be admitted.