Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a 14-minute conference presentation from OOPSLA 2025 that introduces PBKAT, a novel programming language designed for specifying, verifying, and optimizing quantum network protocols. Learn how quantum networks utilize Bell pairs as their fundamental communication unit and understand the unique challenges these networks face, including resource competition and high failure probabilities that necessitate quantitative reasoning. Discover how PBKAT addresses these challenges through expressive primitives for probabilistic and possibilistic behaviors, along with semantics that model protocol executions for Bell pair distribution. Examine the language's theoretical foundations and practical applications through real-world protocol examples drawn from current literature. Gain insights into the quantitative analysis capabilities that make PBKAT well-suited for expressing complex quantum network protocols and reasoning about their performance properties. Access supplementary materials including research artifacts that have been evaluated as reusable with reproduced results, providing hands-on resources for further exploration of quantum network protocol development and analysis.
