An Algebraic Language for Specifying Quantum Networks
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a groundbreaking 17-minute video presentation from PLDI 2024 introducing BellKAT, an innovative specification language for quantum networks. Delve into the challenges of quantum network protocols and discover how BellKAT, based on Kleene algebra, addresses resource competition and formal reasoning. Learn about the BellSKA algebraic structure, BellKAT's denotational semantics, and its sound and complete equational theory for verifying network protocols. Gain insights into the expressiveness of BellKAT through a prototype tool demonstration, showcasing practical network optimization and verification techniques. Presented by researchers from USI Lugano, Yale University, and the University of Chicago, this talk offers a deep dive into the future of quantum network specification and protocol verification.
Syllabus
[PLDI24] An Algebraic Language for Specifying Quantum Networks
Taught by
ACM SIGPLAN
Related Courses
Developing Smart ContractsGOTO Conferences via YouTube The Mathematical Underpinnings of Promises in C++
CppNow via YouTube The Intellectual Ascent to Agda
CppNow via YouTube A Denotational Approach to Release/Acquire Concurrency - GALOP'24
ACM SIGPLAN via YouTube Modular Denotational Semantics for Effects with Guarded Interaction Trees
ACM SIGPLAN via YouTube