External Source
[oopsla'25] Revealing Sources Of (memory) Errors Via Backward Analysis
Synopsis
Revealing Sources of (Memory) Errors via Backward Analysis (Video, OOPSLA1 2025) Flavio Ascari, Roberto Bruni, Roberta Gori, ...
You Might Also Like
![[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] Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice](https://i.ytimg.com/vi/BNQt_1L5WxE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBjZ6jQRrcu-tkG17KeQg_vvBUoQg)
![[OOPSLA'25] Dynamic Wind for Effect Handlers](https://i.ytimg.com/vi/6u9I4R7gYJI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAq3fqjlA9n__TWJUcyBIuL-dQu1g)
![[OOPSLA'25] Software Model Checking via Summary-Guided Search](https://i.ytimg.com/vi/h8MU14LYQck/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBJbjaXmaHMCJq3sq-PQWepKX0JEw)
![[OOPSLA'25] Soundness of Predictive Concurrency Analyses](https://i.ytimg.com/vi/PKE-PWwAEuI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAg5T3jm6ioRPM_fQ-TORJH4CnGZQ)
![[OOPSLA'25] Quantified Underapproximation via Labeled Bunches](https://i.ytimg.com/vi/l5phK55JEqw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA3d-7ErdC1zYNRC17-V-UilQdreg)
![[OOPSLA'25] SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races](https://i.ytimg.com/vi/SDpKIge0x7Q/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB3HCojy95SkzDZLy4faIbMJK-RcA)
![[OOPSLA'25] PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns](https://i.ytimg.com/vi/oQy9Xr4vM54/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDdt3MND4gHj9G3hs7l6cRsiwEu-Q)
![[OOPSLA'25] Non-interference Preserving Optimising Compilation](https://i.ytimg.com/vi/Ri8lmHRafUI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDm1wIeKaOo9ndYWvSyP13QPT55gQ)
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.