DeveloperWeek 2023 has ended
Back To Schedule
Wednesday, February 15 • 12:00pm - 12:50pm
PRO WORKSHOP: Formal Modeling and Analysis of Distributed Systems (Finding Critical Bugs Early!) LIMITED

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Limited Capacity seats available

Ankush Desai, Senior Applied Scientist , Amazon Web Services

Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about the myriad possible interleaving of messages and failures. Unsurprisingly, it is common to uncover bugs after deployment.

Formal methods (FM) can play an important role in addressing this challenge. But the key requirement for “success” in is the ability to integrate FM in all the phases of development process from system design, implementation, to unit and integration testing, and even in production through runtime monitoring.

In this talk, we will provide an overview of the P programming framework. P is a state machine-based programming language for modeling and specifying complex distributed systems. We will discuss how P is currently being used extensively inside Industry and Academia, addressing the challenges mentioned above. P is open-source: https://p-org.github.io/P/

P usage in Amazon S3: https://www.twitch.tv/videos/962963706?t=0h15m16s

avatar for Ankush Desai

Ankush Desai

Senior Applied Scientist, Amazon Web Services
Ankush Desai is a Senior Applied Scientist in the Database Services (DBS) group at AWS. He is currently working onbuilding formal tools and techniques that help developers reason about the correctness of complex distributedservices across AWS (S3, DBS, EBS,). These techniques range... Read More →

Wednesday February 15, 2023 12:00pm - 12:50pm PST
PRO Stage C
  DevOps Summit