[oopsla'25] Carapace: Static–dynamic Information Flow Control In Rust
Synopsis
Carapace: Static–Dynamic Information Flow Control in Rust (Video, OOPSLA1 2025) Vincent Beardsley, Chris Xiong, Ada Lamba, ...
You Might Also Like
![[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] A Refinement Methodology for Distributed Programs in Rust](https://i.ytimg.com/vi/0Z_GAZzVCVA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDgPQbj3oLp99ZEVLyZuUGNW3GcFQ)
![[OOPSLA'25] Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials](https://i.ytimg.com/vi/vR9-TLNTpwQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBWm6HmePRzoskO4hogLH3N4TaH1Q)
![[OOPSLA'25] Garbage Collection for Rust: The Finalizer Frontier](https://i.ytimg.com/vi/g2MqwJnbPjs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCRZtBB7TdyerQ6bEXpTV16a6EVRg)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
![[OOPSLA'25] Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing(…)](https://i.ytimg.com/vi/xZQmy2zgkxk/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAocozgaiyzxxiQIiOyWyH-w1pcsg)
![[OOPSLA'25] Dynamic Wind for Effect Handlers](https://i.ytimg.com/vi/6u9I4R7gYJI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAq3fqjlA9n__TWJUcyBIuL-dQu1g)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis](https://i.ytimg.com/vi/kTdOdvouabM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBEWUSUjfK_XihAXzXBwOj9BKNaZQ)
![[OOPSLA'25] Float Self-Tagging](https://i.ytimg.com/vi/9xSZe1xsNfc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBAlJ9YQNdg89PmS1LJUEKaQxxWUw)
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.