Pochoir

MaRDI QIDQ37585swMATHFDO

Official website https://people.csail.mit.edu/yuantang/pochoir.html

Source code repository https://github.com/Pochoir/Pochoir

Cited in

(18)

• The range 1 query (R1Q) problem
• Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
• fvGCM
• A quadtree-adaptive multigrid solver for the Serre-Green-Naghdi equations
• PATUS
• STREAM
• Mint
• GKLEE
• A new memory mapping mechanism for GPGPUs' stencil computation
• STREAM benchmark
• Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
• Empirical evaluation of the parallel distribution sweeping framework on multicore architectures
• Algorithm 656
• CTF
• Communication lower bounds and optimal algorithms for numerical linear algebra
• Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation
• Modeling the performance of geometric multigrid stencils on multicore computer architectures
• Multicore-optimized wavefront diamond blocking for optimizing stencil updates

This page was built for software: Pochoir