Axum is a programming language designed to support concurrent programming on many cores, with emphasis on correctness. It was developed by Microsoft Research and released under the MIT license in 2012.
The language is based on the actor model of concurrent computation, in which each concurrent process is an actor with its own private state. Actors communicate with each other by sending and receiving messages. This approach is intended to make it easier to write correct concurrent programs, by isolating the state of each actor and eliminating the need for locking.
Axum has been used to develop a number of concurrent applications, including an implementation of the MapReduce programming model and a distributed database.