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
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.
