External Source
[oopsla'25] Structural Information Flow: A Fresh Look At Types For Non-interference
Synopsis
Structural Information Flow: A Fresh Look at Types for Non-interference (Video, OOPSLA2 2025) Hemant Gouni, Frank Pfenning, ...
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] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[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] Code Style Sheets: CSS for Code](https://i.ytimg.com/vi/KTH33Uo040o/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAoSC7HjjTa_DH-guigHulmvjxpIw)
![[OOPSLA'25] Towards Verifying Crash Consistency](https://i.ytimg.com/vi/rg0QSQa1Dp8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAyKBab1BPUewmoFPTYGL6xkExoBA)
![[OOPSLA'25] LOUD: Synthesizing Strongest and Weakest Specifications](https://i.ytimg.com/vi/HIfH4Id7EQw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBW-lHDft0txzX7D-35u2jqaly6qQ)
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
![[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] Statically Analyzing the Dataflow of R Programs](https://i.ytimg.com/vi/4IKR-k0B5Dw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBDlyFuZi3CjC7YvG5dPZGG5eqZDg)
![[OOPSLA'25] Model-guided Fuzzing of Distributed Systems](https://i.ytimg.com/vi/qUgdQIEWQrU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAbaJod2GjqYeXmPIQw7Sg5elR3Mw)
![[OOPSLA'25] Detecting and explaining (in-)equivalence of context-free grammars](https://i.ytimg.com/vi/aH3pXQem3C8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAJ-4oVsa6iaKMPV8zOx2-NIPN2iw)
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.