Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This conference talk presents a static analysis approach for detecting entanglement in quantum programs, addressing a critical challenge in quantum computing. Learn how researchers from the University of Verona developed an abstract interpretation framework that automatically identifies when quantum variables become entangled, helping prevent unintended measurements that could alter computation outcomes. The presentation explores how their proposed abstract domain for entanglement properties can detect potential side effects from quantum operations, ultimately mitigating computational errors. This 25-minute talk will be delivered at the VMCAI conference (January 20-21, 2025) as part of the ACM SIGPLAN-sponsored POPL25 event.
