[oopsla'25] Boosting Program Reduction With The Missing Piece Of Syntax-guided Transformations
Synopsis
Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations (Video, OOPSLA2 2025) Zhenyang Xu, ...
You Might Also Like
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] Non-interference Preserving Optimising Compilation](https://i.ytimg.com/vi/Ri8lmHRafUI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDm1wIeKaOo9ndYWvSyP13QPT55gQ)
![[OOPSLA'25] Dynamic Wind for Effect Handlers](https://i.ytimg.com/vi/6u9I4R7gYJI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAq3fqjlA9n__TWJUcyBIuL-dQu1g)
![[OOPSLA'25] Tracing Just-in-time Compilation for Effects and Handlers](https://i.ytimg.com/vi/SgQekWMJTUM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDB0HnQj4DVd9g_Z4mcR4DrA95E4w)
![[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust](https://i.ytimg.com/vi/0Z_GAZzVCVA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDgPQbj3oLp99ZEVLyZuUGNW3GcFQ)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
![[OOPSLA'25] Type-Preserving Flat Closure Optimization](https://i.ytimg.com/vi/TGzaPtohjWU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCmlP48XgG2QPyoM9Iyy7zObXWoSw)
![[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] 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] Fast Constraint Synthesis for C++ Function Templates](https://i.ytimg.com/vi/_6pxVhEi-bc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBN9KS4U7rkqTdMh8X29fwKBDYA6g)
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.