Communications of the ACM
Programming Language, Tool Ensure Code Will Compute as Intended
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