[oopsla'25] A Language For Quantifying Quantum Network Behavior
Synopsis
A Language for Quantifying Quantum Network Behavior (Video, OOPSLA2 2025) Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, ...
You Might Also Like
![[OOPSLA'25] QbC: Quantum Correctness by Construction](https://i.ytimg.com/vi/fslxi9Qd9Is/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAX4ojA-Y9Toe9d02r6cTivIOwcUQ)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
![[OOPSLA'25] Compositional Quantum Control Flow with Efficient Compilation in Qunity](https://i.ytimg.com/vi/T-in4eBRg0E/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAKu2EVYKrluwxDdyRfTfGmCmTwWw)
![[OOPSLA'25] A Unifying Approach to Product Constructions for Quantitative Temporal Inference](https://i.ytimg.com/vi/BzCPpBNBcOI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBOIR66tP5zmjyGauxrsX7_s-Uc-A)
![[OOPSLA'25] Multi-Language Probabilistic Programming](https://i.ytimg.com/vi/xoRQ84evBWc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDM1ZZfCDilyKDbPceHHuxMZRYdcA)
![[OOPSLA'25] Towards Verifying Crash Consistency](https://i.ytimg.com/vi/rg0QSQa1Dp8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAyKBab1BPUewmoFPTYGL6xkExoBA)
![[OOPSLA'25] AccelerQ: Accelerating Quantum Eigensolvers With Machine Learning on Quantum Simulators](https://i.ytimg.com/vi/8UsTVqfQndc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDqWuFSE15xUPovi8ukRD7Jrogrgg)
![[OOPSLA'25] Compressed and Parallelized Structured Tensor Algebra](https://i.ytimg.com/vi/Yd_wtoUQdF0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDEvh-I2GFvc3DpJkFrmojUnTx5Yw)
![[OOPSLA'25] Verification of Bit-Flip Attacks against Quantized Neural Networks](https://i.ytimg.com/vi/PH85xN2lQF0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDtcT8JsEBUOHw_nzUC5RZtzi6Hkw)
![[OOPSLA'25] Embedding Quantum Program Verification into Dafny](https://i.ytimg.com/vi/uQRpESB2iXo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBNtyjyB9xreHn1YqblZ377-of_pg)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.