[popl'24] decision and complexity of dolev-yao hyperproperties
Published 6 months ago • 58 plays • Length 20:47Download video MP4
Download video MP3
Similar videos
-
18:55
[popl'24] predictive monitoring against pattern regular languages
-
18:19
[popl'24] a formalization of core why3 in coq
-
17:37
[popl'24] decalf: a directed, effectful cost-aware logical framework
-
20:04
[popl'24] optimal program synthesis via abstract interpretation
-
18:59
[popl'24] inference of robust reachability constraints
-
20:45
[popl'24] quotient haskell: lightweight quotient types for all
-
20:02
[popl'24] polynomial time and dependent types
-
20:04
[popl'24] pipelines and beyond: graph types for adts with futures
-
8:24
[popl'24] welcome to popl 2024
-
20:10
[popl'24] internalizing indistinguishability with dependent types
-
20:40
[popl'24] effectful software contracts
-
19:35
[popl'24] with a few square roots, quantum computing is as easy as pi
-
17:27
[popl'24] dislog: a separation logic for disentanglement
-
21:21
[popl'24] guided equality saturation
-
20:49
[popl'24] programming-by-demonstration for long-horizon robot tasks
-
19:43
[popl'24] asynchronous probabilistic couplings in higher-order separation logic
-
19:50
[popl'24] orthologic with axioms
-
26:11
[popl'24] calculational design of [in]correctness transformational program logics by abstr...
-
18:36
[popl'24] internal and observational parametricity for cubical agda