External Source
[oopsla'25] Non-interference Preserving Optimising Compilation
Synopsis
Non-interference Preserving Optimising Compilation (Video, OOPSLA2 2025) Julian Rosemann, Sebastian Hack, and Deepak ...
You Might Also Like
![[OOPSLA'25] Type-Preserving Flat Closure Optimization](https://i.ytimg.com/vi/TGzaPtohjWU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCmlP48XgG2QPyoM9Iyy7zObXWoSw)
![[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] Compositional Quantum Control Flow with Efficient Compilation in Qunity](https://i.ytimg.com/vi/T-in4eBRg0E/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAKu2EVYKrluwxDdyRfTfGmCmTwWw)
![[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] Dependency-Aware Compilation for Surface Code Quantum Architectures](https://i.ytimg.com/vi/xO8kzMpGr7I/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB73jlTC6ucuMlyqgfSDX05j6RyOQ)
![[OOPSLA'25] Scaling Optimization Over Uncertainty via Compilation](https://i.ytimg.com/vi/YYXcC5WucmY/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAJvWy84fjzb5bjE7FhcJwHGjUx-g)
![[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] 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] Fuzzing C++ Compilers via Type-Driven Mutation](https://i.ytimg.com/vi/je8uYrTNfys/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDyKOYx4QJcXPJe2yMWnBT8X2_SNA)
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.