[popl'23] modular primal-dual fixpoint logic solving for temporal verification
Published 1 year ago • 87 plays • Length 25:59Download video MP4
Download video MP3
Similar videos
-
![[popl'23] temporal verification with answer-effect modification: dependent temporal type-a...](https://i.ytimg.com/vi/LZjQyc-yCAA/mqdefault.jpg)
24:52
[popl'23] temporal verification with answer-effect modification: dependent temporal type-a...
-
![[popl'23] conditional contextual refinement](https://i.ytimg.com/vi/fINgpZeyF_g/mqdefault.jpg)
24:29
[popl'23] conditional contextual refinement
-
![[session previews @ popl'23] relational & automated verification](https://i.ytimg.com/vi/SkNH6MMsxl4/mqdefault.jpg)
8:38
[session previews @ popl'23] relational & automated verification
-
12:51
lumenpnp v3.1 - full job
-
16:59
ollama langfuse - track your local experiments
-
17:41
pattern matching in gopxl with lars fermum
-
![[popl'24] deciding asynchronous hyperproperties for recursive programs](https://i.ytimg.com/vi/RL-gKSxvzfI/mqdefault.jpg)
19:31
[popl'24] deciding asynchronous hyperproperties for recursive programs
-
![[popl'23] the geometry of causality: multi-token geometry of interaction and its causal un...](https://i.ytimg.com/vi/C-oCr6ZGxAA/mqdefault.jpg)
24:56
[popl'23] the geometry of causality: multi-token geometry of interaction and its causal un...
-
3:30
proget - release 2.13
-
![[popl'22] induction duality: primal-dual search for invariants](https://i.ytimg.com/vi/1b-5329Prtc/mqdefault.jpg)
21:11
[popl'22] induction duality: primal-dual search for invariants
-
![[popl'23] witnessability of undecidable problems](https://i.ytimg.com/vi/3SPNPfA049I/mqdefault.jpg)
22:09
[popl'23] witnessability of undecidable problems
-
![[session previews @ popl'23] logic & decidability ii](https://i.ytimg.com/vi/o0H_gUq0tg0/mqdefault.jpg)
11:06
[session previews @ popl'23] logic & decidability ii
-
![[popl'23] higher-order leak and deadlock free locks](https://i.ytimg.com/vi/QJyJNMHkgWY/mqdefault.jpg)
25:57
[popl'23] higher-order leak and deadlock free locks
-
![[popl'24] programming-by-demonstration for long-horizon robot tasks](https://i.ytimg.com/vi/b2iN3keWUgk/mqdefault.jpg)
20:49
[popl'24] programming-by-demonstration for long-horizon robot tasks
-
![[popl'22] safe, modular packet pipeline programming](https://i.ytimg.com/vi/HVS24hDB8VU/mqdefault.jpg)
28:07
[popl'22] safe, modular packet pipeline programming
-
![[popl'24] orthologic with axioms](https://i.ytimg.com/vi/uW39tCEqfUU/mqdefault.jpg)
19:50
[popl'24] orthologic with axioms