[oopsla'25] Quantified Underapproximation Via Labeled Bunches
Synopsis
Quantified Underapproximation via Labeled Bunches (Video, OOPSLA2 2025) Lang Liu, Farzaneh Derakhshan, Limin Jia, ...
You Might Also Like
![[OOPSLA'25] Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with(…)](https://i.ytimg.com/vi/RZnHwiEZbJo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD6lOWSg_efbufASp-9xQtq7rZZwQ)
![[OOPSLA'25] QbC: Quantum Correctness by Construction](https://i.ytimg.com/vi/fslxi9Qd9Is/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAX4ojA-Y9Toe9d02r6cTivIOwcUQ)
![[OOPSLA'25] A Language for Quantifying Quantum Network Behavior](https://i.ytimg.com/vi/ytPQyhuo0Ao/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDxdfu_4wpTlY0WmJvOv7y045Eg0A)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for(…)](https://i.ytimg.com/vi/CYieVNo1Btg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCjKoCTBdIzIiYm8_1kpGOap2Tb0g)
![[OOPSLA'25] What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data(…)](https://i.ytimg.com/vi/JfOV8dKOxyg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBdGdARgNrpXzrlSsY9TErctrKAfA)
![[OOPSLA'25] Model-guided Fuzzing of Distributed Systems](https://i.ytimg.com/vi/qUgdQIEWQrU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAbaJod2GjqYeXmPIQw7Sg5elR3Mw)
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
![[OOPSLA'25] SPLASH Organisers Discussion and AMA](https://i.ytimg.com/vi/CxLyIqq3zyg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD4ogHDWWrOiTB47QXx7JHGOVtKow)
![[OOPSLA'25] Polymorphic Records for Dynamic Languages](https://i.ytimg.com/vi/8pvCR3BsfQc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBcniuD2aPb5kOA7li6Aco8m8-wAg)
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.