[oopsla'25] Language-parametric Reference Synthesis
Synopsis
Language-Parametric Reference Synthesis (Video, OOPSLA1 2025) Daniel A. A. Pelsmaeker, Aron Zwaan, Casper Bach, and ...
You Might Also Like
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/bIaRdFHHnKg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB5URv5NZbMLrsb1wqDEEm7ZJ8aow)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/1d80UBzb5g8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBGbmxPYBjI9QSaUmNN6Dgmw1TvRw)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/oZBLYqvsaGs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA5f7WzsbnxKpfjcgKodWa77u_LEA)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/Xas3kLG8Z9w/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBHqYEMvRrH3n1NUSTTz164uWZD_Q)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/PH86sTG6G08/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAoJMwJ0zw5gQdBRKKn7Ih0r25qKA)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/wHAGmFT7tls/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCRVdZTbBTk71aPC_ABx5zWiCLEpg)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/zre8qdh2AN8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAlG1tR0ycQkMpsud3wXScYBzAznA)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/j_nXuGhMFdo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCunrlXseo-MJYCX86l-NQbRkgF2g)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/VGDiFbX3O7w/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBqm-rF9t7Id5gpz8jzozRJGiE0fw)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/zoE2w2hueYQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLByeUk03lCLvw6e4ZNBQ7EPHZWP1g)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/BN1UnBI4usA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA758YH3dO5VtBqZBzuJHMOXA-BqQ)
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.