[oopsla'25] Modular Reasoning About Global Variables And Their Initialization
Synopsis
Modular Reasoning about Global Variables and Their Initialization (Video, OOPSLA2 2025) João Pereira, Isaac van Bakel, ...
You Might Also Like
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
![[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)](https://i.ytimg.com/vi/Z7SxbzFo55U/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC3jyYizCx75hgT40jUmBm6GJkqyQ)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/zoE2w2hueYQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLByeUk03lCLvw6e4ZNBQ7EPHZWP1g)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/wHAGmFT7tls/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCRVdZTbBTk71aPC_ABx5zWiCLEpg)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/bIaRdFHHnKg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB5URv5NZbMLrsb1wqDEEm7ZJ8aow)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/Xas3kLG8Z9w/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBHqYEMvRrH3n1NUSTTz164uWZD_Q)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/oZBLYqvsaGs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA5f7WzsbnxKpfjcgKodWa77u_LEA)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/1d80UBzb5g8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBGbmxPYBjI9QSaUmNN6Dgmw1TvRw)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/VGDiFbX3O7w/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBqm-rF9t7Id5gpz8jzozRJGiE0fw)
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.