External Source
[oopsla'25] Type-preserving Flat Closure Optimization
Synopsis
Type-Preserving Flat Closure Optimization (Video, OOPSLA1 2025) Adam T. Geller, Sean Bocirnea, Chester J. F. Gould, Paulette ...
You Might Also Like
![[OOPSLA'25] Non-interference Preserving Optimising Compilation](https://i.ytimg.com/vi/Ri8lmHRafUI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDm1wIeKaOo9ndYWvSyP13QPT55gQ)
![[OOPSLA'25] A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and(…)](https://i.ytimg.com/vi/NaGFtFrNybE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB2C6G9-wiw0w6Z69XtGG0UTOGIaw)
![[OOPSLA'25] Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations](https://i.ytimg.com/vi/2ByF-98Fnm4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAMvSKquroawNijJEDttpKO_Hjl-A)
![[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] LOUD: Synthesizing Strongest and Weakest Specifications](https://i.ytimg.com/vi/HIfH4Id7EQw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBW-lHDft0txzX7D-35u2jqaly6qQ)
![[OOPSLA'25] We’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators](https://i.ytimg.com/vi/g5M_JQ8lktw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAOe-Yf4qdSX2d_FXIBIQUPVO0EIQ)
![[OOPSLA'25] SPLASH Organisers Discussion and AMA](https://i.ytimg.com/vi/CxLyIqq3zyg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD4ogHDWWrOiTB47QXx7JHGOVtKow)
![[OOPSLA'25] Structural Information Flow: A Fresh Look at Types for Non-Interference](https://i.ytimg.com/vi/60gftf-nUEM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCUOlCaQ7OjD_mdfJb3VdMzNPoSSQ)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
![[OOPSLA'25] Abstract Interpretation of Temporal Safety Effects of Higher Order Programs](https://i.ytimg.com/vi/SzZXk95zzwY/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCkGZ9oTzfdx9Ki7QiyI44_f46fow)
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
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.