[oopsla'25] Choreographic Quick Changes: First-class Location (set) Polymorphism
Synopsis
Choreographic Quick Changes: First-Class Location (Set) Polymorphism (Video, OOPSLA2 2025) Ashley Samuelson, Andrew K.
You Might Also Like
![[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)](https://i.ytimg.com/vi/Z7SxbzFo55U/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC3jyYizCx75hgT40jUmBm6GJkqyQ)
![[OOPSLA'25] Dynamic Wind for Effect Handlers](https://i.ytimg.com/vi/6u9I4R7gYJI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAq3fqjlA9n__TWJUcyBIuL-dQu1g)
![[OOPSLA'25] QbC: Quantum Correctness by Construction](https://i.ytimg.com/vi/fslxi9Qd9Is/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAX4ojA-Y9Toe9d02r6cTivIOwcUQ)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] Polymorphic Records for Dynamic Languages](https://i.ytimg.com/vi/8pvCR3BsfQc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBcniuD2aPb5kOA7li6Aco8m8-wAg)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/bIaRdFHHnKg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB5URv5NZbMLrsb1wqDEEm7ZJ8aow)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
![[OOPSLA'25] Model-guided Fuzzing of Distributed Systems](https://i.ytimg.com/vi/qUgdQIEWQrU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAbaJod2GjqYeXmPIQw7Sg5elR3Mw)
![[OOPSLA'25] Bridging the Gap between Real-World and Formal Binary Lifting through(…)](https://i.ytimg.com/vi/_KnHylSrn9s/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDTixdNsCdY7rdOPKBcxKQIto0kQA)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/zoE2w2hueYQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLByeUk03lCLvw6e4ZNBQ7EPHZWP1g)
![[OOPSLA'25] LOUD: Synthesizing Strongest and Weakest Specifications](https://i.ytimg.com/vi/HIfH4Id7EQw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBW-lHDft0txzX7D-35u2jqaly6qQ)
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.