_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 16 minutes 58 seconds ACM SIGPLAN [ARRAY24] The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum(…) YT 25 minutes 15 seconds ACM SIGPLAN [ARRAY24] Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments YT 24 minutes 4 seconds ACM SIGPLAN [ARRAY24] Escaping the Pointless: Embedding Pointful Array Programming in Python

YT 24 minutes 52 seconds ACM SIGPLAN [ARRAY24] Zero-Overhead Parallel Scans for Multi-Core CPUs YT 24 minutes 45 seconds ACM SIGPLAN [ARRAY24] Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling YT 24 minutes 24 seconds ACM SIGPLAN [ARRAY24] Shray: an Owner-Compute Distributed Shared-Memory System

YT 22 minutes 55 seconds ACM SIGPLAN [ARRAY24] Apple Array Allocation YT 23 minutes 16 seconds ACM SIGPLAN [ARRAY24] Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus YT 26 minutes 6 seconds ACM SIGPLAN [ARRAY24] Mechanical Proofs in an Array-Combinator Language

YT 23 minutes 24 seconds ACM SIGPLAN [ARRAY24] An LLP (q, k) Parser Generator YT 24 minutes 48 seconds ACM SIGPLAN [ARRAY24] AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming