All Stories

  1. TAMM: Tensor Algebra for Many-body Methods
  2. Toward generalized tensor algebra for ab initio quantum chemistry methods
  3. HPC Software Verification in Action: A Case Study with Tensor Transposition
  4. Output nondeterminism detection for programming models combining dataflow with shared memory