[popl 2021] distributed causal memory for higher-order distributed separation logic (full)
Published 3 years ago • 59 plays • Length 18:03Download video MP4
Download video MP3
Similar videos
-
![[popl'24] trillium: higher-order concurrent and distributed separation logic for intension...](https://i.ytimg.com/vi/eYgDMkHwfco/mqdefault.jpg)
19:33
[popl'24] trillium: higher-order concurrent and distributed separation logic for intension...
-
![[popl 2021] mechanized logical relations for termination-insensitive noninterference (full)](https://i.ytimg.com/vi/HqxIGFnWiqM/mqdefault.jpg)
18:51
[popl 2021] mechanized logical relations for termination-insensitive noninterference (full)
-
![[popl 2021] on algebraic abstractions for concurrent separation logics (full)](https://i.ytimg.com/vi/6QAaeND39go/mqdefault.jpg)
26:12
[popl 2021] on algebraic abstractions for concurrent separation logics (full)
-
![[popl'24] dislog: a separation logic for disentanglement](https://i.ytimg.com/vi/PhIHAlgHd7g/mqdefault.jpg)
17:27
[popl'24] dislog: a separation logic for disentanglement
-
![[popl 2021] simplifying multiple-statement reductions with the polyhedral model (full)](https://i.ytimg.com/vi/ITS-4rCBIyU/mqdefault.jpg)
24:19
[popl 2021] simplifying multiple-statement reductions with the polyhedral model (full)
-
![[popl'22] concurrent incorrectness separation logic](https://i.ytimg.com/vi/1m7ebAOH8CI/mqdefault.jpg)
26:44
[popl'22] concurrent incorrectness separation logic
-
![[popl 2021] asynchronous effects (full)](https://i.ytimg.com/vi/BPNxvRCnOBA/mqdefault.jpg)
25:20
[popl 2021] asynchronous effects (full)
-
![[popl 2021] intensional datatype refinement (full)](https://i.ytimg.com/vi/BkqoQfAWYTo/mqdefault.jpg)
29:17
[popl 2021] intensional datatype refinement (full)
-
![[popl'24] kelvin room (jan 19th)](https://i.ytimg.com/vi/dcF6T7y4xkU/mqdefault.jpg)
9:27:45
[popl'24] kelvin room (jan 19th)
-
![[popl'24] haslett - wits (jan 20)](https://i.ytimg.com/vi/VxCdQhrHWDM/mqdefault.jpg)
9:16:57
[popl'24] haslett - wits (jan 20)
-
12:47
instantiating the iris program logic for a new language: a tutorial
-
![[src popl'22] paulette koronkevich -- dependent-type-preserving memory allocation](https://i.ytimg.com/vi/74lb50kX-aY/mqdefault.jpg)
3:00
[src popl'22] paulette koronkevich -- dependent-type-preserving memory allocation
-
![[popl 2021] the (in)efficiency of interaction (full)](https://i.ytimg.com/vi/mke-HuJOUaw/mqdefault.jpg)
21:18
[popl 2021] the (in)efficiency of interaction (full)
-
![[popl 2021] the fine-grained and parallel complexity of andersen's pointer analysis (full)](https://i.ytimg.com/vi/QwSDj5kT9XA/mqdefault.jpg)
21:45
[popl 2021] the fine-grained and parallel complexity of andersen's pointer analysis (full)
-
![[popl'22] a separation logic for heap space under garbage collection](https://i.ytimg.com/vi/rh5MVxrctBQ/mqdefault.jpg)
18:45
[popl'22] a separation logic for heap space under garbage collection
-
![[popl'24] polynomial time and dependent types](https://i.ytimg.com/vi/u2UcApiJA1Q/mqdefault.jpg)
20:02
[popl'24] polynomial time and dependent types
-
![[popl'24] thunks and debits in separation logic with time credits](https://i.ytimg.com/vi/FraK4NRL4Io/mqdefault.jpg)
20:29
[popl'24] thunks and debits in separation logic with time credits
-
![[popl 2021] coqpl: a limited case for reification by type inference](https://i.ytimg.com/vi/qDqwYeNCB0g/mqdefault.jpg)
13:53
[popl 2021] coqpl: a limited case for reification by type inference
-
![[popl'22] a separation logic for negative dependence](https://i.ytimg.com/vi/eRhBZuIAQY4/mqdefault.jpg)
18:22
[popl'22] a separation logic for negative dependence