22:09[POPL'22] A Formal Foundation for Symbolic Evaluation with MergingACM SIGPLAN172 viewsView & Download
24:53[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic ExecutionACM SIGPLAN446 viewsView & Download
20:07[POPL'22] A Quantum Interpretation of Separating Conjunction for Local Reasoning of QuantuACM SIGPLAN68 viewsView & Download
17:23[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and TestsACM SIGPLAN237 viewsView & Download
21:49[POPL'22] One Polynomial Approximation to Produce Correctly Rounded Results of an ElementaACM SIGPLAN247 viewsView & Download
40:27"Finding bugs without running or even looking at code" by Jay ParlarStrange Loop Conference41.0K viewsView & Download
19:42[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum ProgramsACM SIGPLAN137 viewsView & Download
12:29[BYOPL:L4h] Functional programming practice: designing and implementing the isMemberTree() functionDavid Furcy2 viewsView & Download
23:58[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling RewritesACM SIGPLAN375 viewsView & Download
![[POPL'22] Logarithm and Program Testing — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/WKG-0VI69rs/mqdefault)
![[POPL'22] Type-Level Programming with Match Types — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/CKPtv4xj0Gs/mqdefault)
![[POPL'22] A Formal Foundation for Symbolic Evaluation with Merging — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/DLJrHokJq9k/mqdefault)
![[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/iPLUKbI4Yfs/mqdefault)
![[POPL'22] A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantu — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/cBbHLUuGONE/mqdefault)
![[POPL'22] Software Model-Checking as Cyclic-Proof Search — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/miozY4MV-lg/mqdefault)
![[POPL'22] On Incorrectness Logic and Kleene Algebra with Top and Tests — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/gLLlrnxB5Jg/mqdefault)
![[POPL'22] Better Learning through Programming Languages — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/Z--1OUWlLF4/mqdefault)
![[POPL'22] Static Prediction of Parallel Computation Graphs — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/uQbMrg5hWBA/mqdefault)
![[POPL'22] One Polynomial Approximation to Produce Correctly Rounded Results of an Elementa — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/qt0EBrBdqU4/mqdefault)
![[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/H3GIBgH5Ud4/mqdefault)
![[BYOPL:L4h] Functional programming practice: designing and implementing the isMemberTree() function — David Furcy — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/JvtpdeFxuzI/mqdefault)
![[SRC POPL'22] Noah Lev Bartell-Mangel -- Filling a Niche — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/dROaEavjEQw/mqdefault)
![[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/f2NEU1ENt6A/mqdefault)
![[POPL'22] Principles of Programming Language Translators — ACM SIGPLAN — popl22 logarithm and program testing YouTube to MP3 & MP4 download on TubeGalore](/api/image/SaiQdrprBFQ/mqdefault)