External Source
[oopsla'25] Reasoning About External Calls
Synopsis
Reasoning about External Calls (Video, OOPSLA2 2025) Sophia Drossopoulou, Julian Mackay, Susan Eisenbach, and James ...
You Might Also Like
![[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] Opportunistically Parallel Lambda Calculus](https://i.ytimg.com/vi/SnFU-cC1CRw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLARIDLaKhhdMDpabiwaT2yu9hcHYQ)
![[OOPSLA'25] Laurel: Unblocking Automated Verification with Large Language Models](https://i.ytimg.com/vi/TKzqqR_RzO8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBF5OAB0CVBklXzzuZ4ATAHEu6M3g)
![[OOPSLA'25] Towards Verifying Crash Consistency](https://i.ytimg.com/vi/rg0QSQa1Dp8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAyKBab1BPUewmoFPTYGL6xkExoBA)
![[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] SPLASH Organisers Discussion and AMA](https://i.ytimg.com/vi/CxLyIqq3zyg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD4ogHDWWrOiTB47QXx7JHGOVtKow)
![[OOPSLA'25] Non-interference Preserving Optimising Compilation](https://i.ytimg.com/vi/Ri8lmHRafUI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDm1wIeKaOo9ndYWvSyP13QPT55gQ)
![[OOPSLA'25] Bolt-On Strong Consistency: Specification, Implementation, and Verification](https://i.ytimg.com/vi/gi-2TuKwg60/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCVEFWrLxHhawwzrjzNdbqS1LNcog)
![[OOPSLA'25] Soundness of Predictive Concurrency Analyses](https://i.ytimg.com/vi/PKE-PWwAEuI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAg5T3jm6ioRPM_fQ-TORJH4CnGZQ)
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] Semantics of Sets of Programs](https://i.ytimg.com/vi/JNbeqru3agQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC19wNOccV3Uix_bR6ltf1y8mho_g)
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.