16:58

[ARRAY24] The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum(…)

ACM SIGPLAN

25:15

[ARRAY24] Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments

ACM SIGPLAN

24:04

[ARRAY24] Escaping the Pointless: Embedding Pointful Array Programming in Python

ACM SIGPLAN

24:52

[ARRAY24] Zero-Overhead Parallel Scans for Multi-Core CPUs

ACM SIGPLAN

24:45

[ARRAY24] Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling

ACM SIGPLAN

24:24

[ARRAY24] Shray: an Owner-Compute Distributed Shared-Memory System

ACM SIGPLAN

22:55

[ARRAY24] Apple Array Allocation

ACM SIGPLAN

23:16

[ARRAY24] Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus

ACM SIGPLAN

26:06

[ARRAY24] Mechanical Proofs in an Array-Combinator Language

ACM SIGPLAN

23:24

[ARRAY24] An LLP (q, k) Parser Generator

ACM SIGPLAN

24:48

[ARRAY24] AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

ACM SIGPLAN