ACM SIGPLAN
Videos from ACM SIGPLAN
Page 1 of 1 • 15 total videos
19:02
Discover the Quantum Abstract Machine at PLanQC'25 🚀
ACM SIGPLAN
26 views
1:00:28
[PriSC'25] Practical Cryptography: Implementing Verified Protocols for Real-World Security 🔐
ACM SIGPLAN
32 views
16:48
[CTSTA'23] Unlocking Efficiency with the Sparse Abstract Machine (SAM) 🚀
ACM SIGPLAN
112 views
21:03
[CoqPL'24] Mastering Well-Founded Recursion for Reliable Formal Proofs 🔍
ACM SIGPLAN
155 views
17:32
[OOPSLA23] Discover the Meta-Theorem on Decidable Learning in Programming Languages 🎓
ACM SIGPLAN
65 views
9:16
Unlocking Hardware-Software Co-Design with Coq: Silver Oak Methodology 🚀
ACM SIGPLAN
236 views
25:50
New Core Calculus for Simplifying Cryptographic Protocol Proofs 🔐
ACM SIGPLAN
291 views
29:06
Unlocking Reliable Resource Bounds with Formal Verification in Implicit Computational Complexity 📊
ACM SIGPLAN
43 views
23:15
[POPL'22] Enhancing Program Testing with Logarithmic Techniques 🔍
ACM SIGPLAN
141 views
19:27
POPL 2021: Advancing Gradual Typing with Precise and Space-Efficient Abstractions 🚀
ACM SIGPLAN
255 views
1:01:46
POPL 2021 Keynote: Unlocking the Future of a Universal Internet Machine 🌐
ACM SIGPLAN
1.2K views
10:59
Unlocking Normal-Order Reduction: Krivine Machine KN Simulates Pure Reduction Step-by-Step 🧠
ACM SIGPLAN
496 views
20:40
Proving the Undecidability of Higher-Order Unification in Coq 🧠
ACM SIGPLAN
264 views
16:55
Mastering Sequential Decision Problems: The Algebra Behind Optimal Strategies 📈
ACM SIGPLAN
59 views
28:00
Interactive Visualization of Abstract Machines for Static Analysis 📊
ACM SIGPLAN
844 views