[popl'24] trillium: higher-order concurrent and distributed separation logic for intension...
Published 8 months ago • 67 plays • Length 19:33Download video MP4
Download video MP3
Similar videos
-
![[popl'24] asynchronous probabilistic couplings in higher-order separation logic](https://i.ytimg.com/vi/pWbixzvXcLU/mqdefault.jpg)
19:43
[popl'24] asynchronous probabilistic couplings in higher-order separation logic
-
![[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'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'24] higher order bayesian networks, exactly](https://i.ytimg.com/vi/ESfLesM315A/mqdefault.jpg)
15:50
[popl'24] higher order bayesian networks, exactly
-
![[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] deadlock-free separation logic: linearity yields progress for dependent higher-o...](https://i.ytimg.com/vi/Tt28Z-3OM7A/mqdefault.jpg)
19:42
[popl'24] deadlock-free separation logic: linearity yields progress for dependent higher-o...
-
![[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'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] automatic parallelism management](https://i.ytimg.com/vi/G87sgOdDLTw/mqdefault.jpg)
25:28
[popl'24] automatic parallelism management