09 Feb A new programming language called ATL for high-performance computing Sharath Kumar Nair algorithms ATL is the only tensor language with formally verified optimisations that has been tested on a number of small programs.