Concurrent Correctness in Vector Space
No abstract available.
Related papers
- From Threads to Tiles: T2T, a Compiler for CUDA-to-NPU Translation via 2D Vectorization CGO 2026
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007
- On Parsing and Compiling Arithmetic Expressions on Vector Computers TOPLAS 1980
- Work efficient higher-order vectorisation ICFP 2012
- Geometry types for graphics programming OOPSLA 2020
- Model Checking for Programming Languages using Verisoft POPL 1997
- May-happen-in-parallel analysis with static vector clocks CGO 2018
- Input space splitting for OpenCL CC 2016