[popl'24] answer refinement modification: refinement type system for algebraic effects and...
Published 8 months ago • 98 plays • Length 22:52Download video MP4
Download video MP3
Similar videos
-
![[popl'24] mechanizing refinement types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
20:26
[popl'24] mechanizing refinement types
-
![[popl'24] focusing on refinement typing (toplas)](https://i.ytimg.com/vi/dKd-7hQwbkY/mqdefault.jpg)
18:40
[popl'24] focusing on refinement typing (toplas)
-
![[popl 2021] intensional datatype refinement (full)](https://i.ytimg.com/vi/BkqoQfAWYTo/mqdefault.jpg)
29:17
[popl 2021] intensional datatype refinement (full)
-
![[popl 2021] data flow refinement type inference (full)](https://i.ytimg.com/vi/GOAguNduMcM/mqdefault.jpg)
23:45
[popl 2021] data flow refinement type inference (full)
-
![[plmw@popl'24] refinement types from light to deep verification](https://i.ytimg.com/vi/R9EKRBcFvyE/mqdefault.jpg)
45:39
[plmw@popl'24] refinement types from light to deep verification
-
![[popl'24] calculational design of [in]correctness transformational program logics by abstr...](https://i.ytimg.com/vi/e2F0Y_LIhV4/mqdefault.jpg)
26:11
[popl'24] calculational design of [in]correctness transformational program logics by abstr...
-
![[popl'24] type-based gradual typing performance optimization](https://i.ytimg.com/vi/YHUadoP9ZFg/mqdefault.jpg)
18:21
[popl'24] type-based gradual typing performance optimization
-
![[popl'24] fully composable and adequate verified compilation with direct refinements betwe...](https://i.ytimg.com/vi/AS5wHIjHYMc/mqdefault.jpg)
19:44
[popl'24] fully composable and adequate verified compilation with direct refinements betwe...
-
![[popl'24] on model-checking higher-order effectful programs](https://i.ytimg.com/vi/8g2PqP7Q2uo/mqdefault.jpg)
21:05
[popl'24] on model-checking higher-order effectful programs
-
![[popl'24] decalf: a directed, effectful cost-aware logical framework](https://i.ytimg.com/vi/JQNL0NQbaiE/mqdefault.jpg)
17:37
[popl'24] decalf: a directed, effectful cost-aware logical framework
-
![[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...](https://i.ytimg.com/vi/rOGmRSPHQsU/mqdefault.jpg)
20:58
[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...
-
![[popl 2021] asynchronous effects (full)](https://i.ytimg.com/vi/BPNxvRCnOBA/mqdefault.jpg)
25:20
[popl 2021] asynchronous effects (full)
-
![[popl'24] sound gradual verification with symbolic execution](https://i.ytimg.com/vi/BB1D6R9U-rs/mqdefault.jpg)
18:04
[popl'24] sound gradual verification with symbolic execution
-
![[popl'24] efficient matching of regular expressions with lookaround assertions](https://i.ytimg.com/vi/ZfdAkJNNK_I/mqdefault.jpg)
21:14
[popl'24] efficient matching of regular expressions with lookaround assertions
-
![[pldi'23] mostly automated proof repair for verified libraries](https://i.ytimg.com/vi/iylsgioe0tY/mqdefault.jpg)
18:30
[pldi'23] mostly automated proof repair for verified libraries