A new programming language called ATL for high-performance computing

ATL is the only tensor language with formally verified optimisations that has been tested on a number of small programs.

Researchers at MIT have built a new programming language for high-performance computing called ‘ A Tensor Language’. ATL allows users to write programs for high-performance computing in an optimal way to speed things up.

Register for Data Engineering Summit 2022

“Everything in our language is aimed at producing either a single number or a tensor,” said Amanda Liu, a second-year PhD student at the MIT Computer Science and Artificial Intelligence Laboratory and one of the creators of ATL. Tensors, in turn, are generalisations of vectors and matrices. Whereas vectors are one-dimensional objects (often represented by individual arrows) and matrices are familiar two-dimensional arrays of numbers, tensors are n-dimensional arrays, which could take the form of a 3x3x3 array, for instance, or something of even higher (or lower) dimensions.


Sign up for your weekly dose of what's up in emerging technology.

Amanda Liu along with the University of California at Berkeley postdoc Gilbert Louis Bernstein, MIT Associate Professor Adam Chlipala, and MIT Assistant Professor Jonathan Ragan-Kelley created  ‘A Tensor Language’.

The ATL project combines two of the main research interests of Ragan-Kelley and Chlipala. Ragan-Kelley has been working on the optimisation of algorithms in the context of high-performance computing. Chlipala, meanwhile, has focused more on the formal (as in mathematically-based) verification of algorithmic optimisations

Download our Mobile App

ATL is the only tensor language with formally verified optimisations that has been tested on a number of small programs.“One of our main goals, looking ahead, is to improve the scalability of ATL, so that it can be used for the larger programs we see in the real world,” Lui added.

More Great AIM Stories

SharathKumar Nair
Sharath is an ardent believer in the ‘Transhumanism’ movement. Anything and everything about technology excites him. At Analytics India Magazine, he writes about artificial intelligence, cybersecurity and the impact these emerging technologies have on day-to-day human lives. When not working on a story, he spends his time reading tech novels and watching sci-fi movies and series.

AIM Upcoming Events

Early Bird Passes expire on 3rd Feb

Conference, in-person (Bangalore)
Rising 2023 | Women in Tech Conference
16-17th Mar, 2023

Conference, in-person (Bangalore)
Data Engineering Summit (DES) 2023
27-28th Apr, 2023

3 Ways to Join our Community

Telegram group

Discover special offers, top stories, upcoming events, and more.

Discord Server

Stay Connected with a larger ecosystem of data science and ML Professionals

Subscribe to our Daily newsletter

Get our daily awesome stories & videos in your inbox