[popl 2021] mechanized logical relations for termination-insensitive noninterference (full)
Published 3 years ago • 71 plays • Length 18:51Download video MP4
Download video MP3
Similar videos
-
![[popl 2021] a separation logic for effect handlers (full)](https://i.ytimg.com/vi/Zqyu0LPbBb8/mqdefault.jpg)
25:21
[popl 2021] a separation logic for effect handlers (full)
-
![[popl 2021] intersection types and (positive) almost-sure termination (full)](https://i.ytimg.com/vi/-Zl1p3oExmQ/mqdefault.jpg)
23:44
[popl 2021] intersection types and (positive) almost-sure termination (full)
-
![[popl 2021] the taming of the rew: a type theory with computational assumptions (full)](https://i.ytimg.com/vi/7XYKfcmFs6w/mqdefault.jpg)
27:52
[popl 2021] the taming of the rew: a type theory with computational assumptions (full)
-
![[popl'24] a new perspective on commutativity in verification](https://i.ytimg.com/vi/S_lYmWWZD2w/mqdefault.jpg)
58:23
[popl'24] a new perspective on commutativity in verification
-
![[popl'24] when subtyping constraints liberate: a novel type inference approach for first-c...](https://i.ytimg.com/vi/jDhSUuvxomY/mqdefault.jpg)
21:33
[popl'24] when subtyping constraints liberate: a novel type inference approach for first-c...
-
![[popl'24] polymorphic type inference for dynamic languages](https://i.ytimg.com/vi/dYJ9DB5ySwU/mqdefault.jpg)
21:04
[popl'24] polymorphic type inference for dynamic languages
-
![[popl 2021] taming x86-tso persistency (full)](https://i.ytimg.com/vi/ziV1f7fixSQ/mqdefault.jpg)
26:00
[popl 2021] taming x86-tso persistency (full)
-
![[popl 2021] persevere: persistency semantics for verification under ext4 (full)](https://i.ytimg.com/vi/T8UEifIYDoc/mqdefault.jpg)
27:52
[popl 2021] persevere: persistency semantics for verification under ext4 (full)
-
![[popl 2021] a graded dependent type system with a usage-aware semantics (full)](https://i.ytimg.com/vi/yrwtXrey7mE/mqdefault.jpg)
31:06
[popl 2021] a graded dependent type system with a usage-aware semantics (full)
-
![[popl'22] tada live: compositional reasoning for termination of fine-grained concurrent pr](https://i.ytimg.com/vi/nOQuDbHkI6I/mqdefault.jpg)
24:19
[popl'22] tada live: compositional reasoning for termination of fine-grained concurrent pr
-
![[popl 2021] a unifying type-theory for higher-order (amortized) cost analysis (full)](https://i.ytimg.com/vi/WmTTP25QHzg/mqdefault.jpg)
23:21
[popl 2021] a unifying type-theory for higher-order (amortized) cost analysis (full)
-
![[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] intensional datatype refinement (full)](https://i.ytimg.com/vi/BkqoQfAWYTo/mqdefault.jpg)
29:17
[popl 2021] intensional datatype refinement (full)
-
![[popl'24] mechanizing refinement types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
20:26
[popl'24] mechanizing refinement types