[popl'23] A Compositional Theory Of Linearizability

2024 24:07
Synopsis
[POPL'23] A Compositional Theory of Linearizability Arthur Oliveira Vale, Zhong Shao, Yixuan Chen Compositionality is at the ...

You Might Also Like

[Session Previews @ POPL'23] Concurrency & Linearizability 9:45
[session Previews @ Popl'23] Concurrency & Linearizability
2024
[POPL'23] The Path to Durable Linearizability 24:44
[popl'23] The Path To Durable Linearizability
2024
[POPL'23] Conditional Contextual Refinement 24:29
[popl'23] Conditional Contextual Refinement
2024
Generalized kerning is undecidable! But anagraphing is possible. (Tom Academy) 51:51
Generalized Kerning Is Undecidable! But Anagraphing Is Possi...
2018
[OOPSLA23] Proof Automation for Linearizability in Separation Logic 18:53
[oopsla23] Proof Automation For Linearizability In Separatio...
2025
Consistency Models Explained | Linearizability vs Sequential vs Causal 1:21:07
Consistency Models Explained | Linearizability Vs Sequential...
2026
[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ... 18:26
[popl'24] Polymorphic Reachability Types: Tracking Freshness...
2025
Descriptor Systems (DAEs) – Linear and Nonlinear Examples 45:54
Descriptor Systems (daes) – Linear And Nonlinear Examples
2025
From Linearizability to Eventual Consistency 38:16
From Linearizability To Eventual Consistency
2017
7 11 Proof of Linearizability 16:20
7 11 Proof Of Linearizability
2017
EE221A: Linear Systems Theory, Jacobian Linearization 19:25
Ee221a: Linear Systems Theory, Jacobian Linearization
2018
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.