ACM SIGPLAN
Videos from ACM SIGPLAN
Page 1 of 1 β’ 15 total videos
![[PLanQC'25] The Quantum Abstract Machine](/image/i.ytimg.com/vi/69gYG7_0Qlc/hqdefault.jpg)
19:02
[PLanQC'25] The Quantum Abstract Machine
ACM SIGPLAN
26 views
![[PriSC'25] Keynote: Bringing Verified Cryptographic Protocols to Practice](/image/i.ytimg.com/vi/3mshgSCvH40/hqdefault.jpg)
1:00:28
[PriSC'25] Keynote: Bringing Verified Cryptographic Protocols to Practice
ACM SIGPLAN
32 views
![[CTSTA'23] The Sparse Abstract Machine](/image/i.ytimg.com/vi/bhE9Q4lo2wA/hqdefault.jpg)
16:48
[CTSTA'23] The Sparse Abstract Machine
ACM SIGPLAN
112 views
![[CoqPL'24] Mastering Well-Founded Recursion for Reliable Formal Proofs π](/image/i.ytimg.com/vi/4jLQh013pJU/xhqdefault.jpg.pagespeed.ic.mYlBYE1QJV.jpg)
21:03
[CoqPL'24] Mastering Well-Founded Recursion for Reliable Formal Proofs π
ACM SIGPLAN
155 views
![[OOPSLA23] Discover the Meta-Theorem on Decidable Learning in Programming Languages π](/image/i.ytimg.com/vi/U1LP0nkYPcM/hqdefault.jpg)
17:32
[OOPSLA23] Discover the Meta-Theorem on Decidable Learning in Programming Languages π
ACM SIGPLAN
65 views
![[PLARCH23] Silver Oak: Hardware Software Co-Design and Co-Verification in Coq](/image/i.ytimg.com/vi/07Z6zjBXQOU/hqdefault.jpg)
9:16
[PLARCH23] Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
ACM SIGPLAN
236 views
![[POPL'23] A Core Calculus for Equational Proofs of Cryptographic Protocols](/image/i.ytimg.com/vi/5rQstrKftGE/hqdefault.jpg)
25:50
[POPL'23] A Core Calculus for Equational Proofs of Cryptographic Protocols
ACM SIGPLAN
291 views
![[Doctoral Symposium] Formally Verified Resource Bounds through Implicit Computational Complexity](/image/i.ytimg.com/vi/MrOUIFW_E5s/hqdefault.jpg)
29:06
[Doctoral Symposium] Formally Verified Resource Bounds through Implicit Computational Complexity
ACM SIGPLAN
43 views
![[POPL'22] Logarithm and Program Testing](/image/i.ytimg.com/vi/WKG-0VI69rs/hqdefault.jpg)
23:15
[POPL'22] Logarithm and Program Testing
ACM SIGPLAN
141 views
![[POPL 2021] Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient (full)](/image/i.ytimg.com/vi/Vh9co9qezcA/hqdefault.jpg)
19:27
[POPL 2021] Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient (full)
ACM SIGPLAN
255 views
![[POPL 2021] Keynote: "The road to a Universal Internet Machine" by Rachid Guerraoui](/image/i.ytimg.com/vi/KqqxIP3mUw4/hqdefault.jpg)
1:01:46
[POPL 2021] Keynote: "The road to a Universal Internet Machine" by Rachid Guerraoui
ACM SIGPLAN
1.2K views
10:59
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction i... (ICFP 2020)
ACM SIGPLAN
496 views
20:40
Undecidability of Higher-Order Unification Formalised in Coq
ACM SIGPLAN
264 views
16:55
An Algebra of Sequential Decision Problems
ACM SIGPLAN
59 views
28:00
Visualizing Abstract Abstract Machines
ACM SIGPLAN
844 views