並行プログラミングは過去 10 年間にわたって人気を集めてきました。それぞれの言語とプラットフォームが対応するプリミティブを提供しているため、緩和されたメモリモデルや NUMA アーキテクチャなどの複雑さが増すにつれ、効果的に使用することが困難となりました。実際、有効な並行アルゴリズムを構築するにはどうすればよいのか、進捗の保証、効率、公平性のどれを優先するのが最適なのか、すべてのアルゴリズムの正確性をどのように確認すればよいのか、どのようにベンチマークすればよいのか、といったさまざまな重要な疑問が生じています。このような問題の一部は学問的に部分的な回答を得ることができますが、実質的な問題の多くは未解決です。私たちは実質的に合理的で理論的に価値のあるソリューションを提供するだけでなく、並行性の分野で活動する他の研究者や開発者を支援する品質の高いツールを提供することで、このような問題に応えることを目標としています。