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 ,