Sign In

Communications of the ACM

ACM TechNews

Programming Language, Tool Ensure Code Will Compute as Intended


View as: Print Mobile App Share: Send by email Share on reddit Share on StumbleUpon Share on Hacker News Share on Tweeter Share on Facebook
Ensuring code runs correctly.

A new coding language and tool for high-performance concurrent programs ensures code is mathematically proven to compute as intended.

Credit: Markus Spiske/Pexels

A multi-institutional team of researchers led by Carnegie Mellon University (CMU) has published Armada, a coding language and tool for high-performance concurrent programs that ensure code is mathematically proven to compute as intended.

Concurrent programming requires complex coordination of multiple simultaneous executables to avoid interference, which can be a buggy process.

CMU's Bryan Parno said, "From payroll systems to hospital records to any kind of e-commerce—they are all backed by databases, and databases are always going to be backed by concurrent software. Aside from simple programs, these days almost everything has some sort of concurrency to it."

Armada has the flexibility to let users write code however they desire to run as fast as possible, while still ensuring it is provably correct.

From Carnegie Mellon University CyLab Security and Privacy Institute
View Full Article

 

Abstracts Copyright © 2020 SmithBucklin, Washington, DC, USA


 

No entries found