Iron Managing Obligations In Higher Order Concurrent Separation Logic Popl 2019 Mp3 & Mp4 Download

49:36

[popl 2021] plmw: "reasoning in higher-order concurrent separation logic" by amin timany

29:11

interactive proofs in higher-order concurrent separation logic

19:33

[popl'24] trillium: higher-order concurrent and distributed separation logic for intension...

19:43

[popl'24] asynchronous probabilistic couplings in higher-order separation logic

18:03

[popl 2021] distributed causal memory for higher-order distributed separation logic (full)

23:44

a relational model of types-and-effects in higher-order concurrent separation logic

26:44

[popl'22] concurrent incorrectness separation logic

20:27

a separation logic for concurrent randomized programs

24:19

[popl'22] tada live: compositional reasoning for termination of fine-grained concurrent pr

19:10

[pldi'23] beyond backtracking: connections in fine-grained concurrent separation logic

13:53

steel: proof-oriented programming in a dependently typed concurrent separation logic

1:16:05

6.826 fall 2020 lecture 16: concurrent separation logic, iris

17:27

[popl'24] dislog: a separation logic for disentanglement

15:00

steelcore: an extensible concurrent separation logic for effectful dependently typed ... (icfp 2020)

1:39:41

iris, a modern concurrent separation logic

4:51

provably correct, asymptotically efficient, higher-order reverse-mode automatic differenti (teaser)

16:32

[oopsla23] modular verification of safe memory reclamation in concurrent separation logic

23:20

[popl 2021] verifying observational robustness against a c11-style memory model (full)

18:51

iron: managing obligations in higher-order concurrent separation logic

Download video MP4

Download video MP3

Similar videos

[popl 2021] plmw: "reasoning in higher-order concurrent separation logic" by amin timany

interactive proofs in higher-order concurrent separation logic

[popl'24] trillium: higher-order concurrent and distributed separation logic for intension...

[popl'24] asynchronous probabilistic couplings in higher-order separation logic

[popl 2021] distributed causal memory for higher-order distributed separation logic (full)

a relational model of types-and-effects in higher-order concurrent separation logic

[popl'22] concurrent incorrectness separation logic

a separation logic for concurrent randomized programs

[popl'22] tada live: compositional reasoning for termination of fine-grained concurrent pr

[pldi'23] beyond backtracking: connections in fine-grained concurrent separation logic

steel: proof-oriented programming in a dependently typed concurrent separation logic

6.826 fall 2020 lecture 16: concurrent separation logic, iris

[popl'24] dislog: a separation logic for disentanglement

steelcore: an extensible concurrent separation logic for effectful dependently typed ... (icfp 2020)

iris, a modern concurrent separation logic

provably correct, asymptotically efficient, higher-order reverse-mode automatic differenti (teaser)

[oopsla23] modular verification of safe memory reclamation in concurrent separation logic

[popl 2021] verifying observational robustness against a c11-style memory model (full)

[popl 2021] mechanized logical relations for termination-insensitive noninterference (full)