[oopsla23] verification-preserving inlining in automatic separation logic verifiers
Published 8 months ago • 23 plays • Length 19:37Download video MP4
Download video MP3
Similar videos
-
![[oopsla23] modular verification of safe memory reclamation in concurrent separation logic](https://i.ytimg.com/vi/bheUSO6cyJk/mqdefault.jpg)
16:32
[oopsla23] modular verification of safe memory reclamation in concurrent separation logic
-
![[oopsla23] proof automation for linearizability in separation logic](https://i.ytimg.com/vi/dHi2pJ2nBqM/mqdefault.jpg)
18:53
[oopsla23] proof automation for linearizability in separation logic
-
![[oopsla23] when concurrency matters: behaviour-oriented concurrency](https://i.ytimg.com/vi/iX8TJWonbGU/mqdefault.jpg)
15:36
[oopsla23] when concurrency matters: behaviour-oriented concurrency
-
![[pldi'23] loop rerolling for hardware decompilation](https://i.ytimg.com/vi/LG0rHhfohFo/mqdefault.jpg)
18:49
[pldi'23] loop rerolling for hardware decompilation
-
16:15
enhisecure sailpoint identitynow rules - an overview
-
![[oopsla] consistency-preserving propagation for smt solving of concurrent program verification](https://i.ytimg.com/vi/obnjuWLV5Ok/mqdefault.jpg)
13:28
[oopsla] consistency-preserving propagation for smt solving of concurrent program verification
-
![[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
-
![[oopsla23] leaf: modularity for temporary sharing in separation logic](https://i.ytimg.com/vi/ZvwW16KT9yo/mqdefault.jpg)
18:52
[oopsla23] leaf: modularity for temporary sharing in separation logic
-
![[oopsla23] verifying indistinguishability of privacy-preserving protocols](https://i.ytimg.com/vi/buoKTDlR0JA/mqdefault.jpg)
18:04
[oopsla23] verifying indistinguishability of privacy-preserving protocols
-
![[oopsla23] outcome logic: a unifying foundation for correctness and incorrectness reasonin...](https://i.ytimg.com/vi/FfrZsL-0Wjo/mqdefault.jpg)
15:07
[oopsla23] outcome logic: a unifying foundation for correctness and incorrectness reasonin...
-
![[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