∇-Nabla: Numerical Analysis BAsed LAnguage

∇-Nabla: Numerical Analysis BAsed LAnguage

nablaLulesh-512.png nablaCoMD-512.png nablaDDFV-512.png nablaMNLDDFV-512.png nablaSethi-512.png nablaSPH-512.png

∇ Presentation

The ∇ domain-specific language (DSL) provides a productive development way for exascale HPC technologies, flexible enough to be competitive in terms of performances.

This software is a computer program whose purpose is to translate specific numerical-analysis sources and generate optimized code for different targets and architectures.

Latest News

<2016-03-25 Fri> Prototype #160325 released

  • backends common lib
  • CUDA uses common lib
  • Glace2D test geometry fix
  • backend generation globals-free
  • common mesh generator for backends

<2016-03-10 Thu> Prototype #160310 released

  • Glace2D split and cleanup
  • Glace2D test OK with scatter
  • OLD_LINUX_KERNEL fix for CentOS
  • Cleanup and moved Okina calls and dump
  • __STDC_NO_THREADS__ to toggle aligned_alloc
  • x86 backend lib, all Okina but nOkinaHeaderDump

<2016-02-26 Thu> Prototype #160226 released

  • tests/ns4n
  • tests/ndspmhd
  • tests/ns4n/ahosla
  • tests/glace2D for λ
  • Makefile test target
  • backends call vs hook
  • Kokkos backend first step
  • Kokkos backend with ℵ
  • middlend now animates Okina
  • middlend now animates Arcane
  • backend/lib for common λ & Kokkos

<2016-02-04 Thu> Prototype #160204 released

  • Makefile CTEST target
  • Few cppcheck leak fix
  • APPLE p1apwb1D test fix
  • APPLE work around for aligned_alloc

<2016-01-27 Wed> Prototype #160127 released

  • Recursive HLT
  • Now jobs need ∀
  • λ mesh 2D and tests
  • New gloci and anyitem tests
  • in/inout/out variables are inserted
  • Glace2D test compared with other backends
  • Jobs can be declared without void and (void)
  • Arcane, λ p1apwb1D tests and CLANG + ByFL tests
  • CUDA and λ backends are now animated by middlend
  • GCC and CLANG compilation for OKINA intrinsics tests + ByFL

Status

  • <2017-02-27 Mon> SIAM CSE 2017, Atlanta
  • <2017-02-01 Wed> New Legion/Regent backend
  • <2016-11-21 Mon> ∇ update meeting @ LLNL
  • <2016-11-13 Sun> SC16.4CBlackRedTextOutlinescaled.png @ Salt Lake city
  • <2016-05-18 Wed> New RAJA backend
  • <2016-04-12 Tue> SIAM Parallel Processing 2016, Paris
  • <2016-04-08 Fri> New OKINA AVX512 SIMD backend
  • <2016-04-04 Mon> New Kokkos backend
  • <2016-03-14 Mon> Principles and Practice of Parallel Programming (PPoPP16), Barcelona
  • <2015-06-01 Mon> Added ∇'s paper in the Publications section
  • <2015-04-17 Fri> Updated the Publications section with EASC15 slides
  • <2015-03-10 Tue> Updated the Publications section with SIAM CSE15 slides
  • For a brief description of ∇'s features, you can look at the Overview or the Publications sections
  • <2015-02-18 Wed> First prototype #150218 out

camierjs@nabla-lang.org, Jean-Sylvain.Camier@cea.fr