Search Results for "POPL"
Find videos related to your search query. Browse through our collection of videos matching "POPL". Search across titles, descriptions, tags, and channels to discover the content you're looking for.
Search Results for "POPL"
4 results found
![[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
![[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
![[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'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