A new programming language for high-performance computers

Researchers at MIT CSAIL developed a new programming language specifically for high-performance computing. With the prototype, says PhD student Amanda Liu, “speed and correctness do not have to compete ... they can go together, hand-in-hand.”

Related Keywords

Philadelphia ,Pennsylvania ,United States ,Amanda Liu ,Jonathan Ragan Kelley ,Adam Chlipala ,Gilbert Louis Bernstein ,Artificial Intelligence Laboratory ,University Of California At Berkeley ,Professor Adam Chlipala ,Professor Jonathan Ragan Kelley ,Programming Languages ,Mit Csail ,A Tensor Language Atl ,High Performance Computing ,Proof Assistant ,Coq Proof Assistant ,Upercomputing Programming Language ,Rogramming For Supercomputers ,Igh Performance Computing Language ,