论文标题
第十二届国际编程语言方法的论文集，以并发和通信为中心的软件
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
论文作者
论文摘要
现代硬件平台，从非常小到非常大，越来越多地为应用程序提供平行和分布式的计算资源，以最大程度地提高性能。因此，许多应用需要有效利用数十个，数百甚至数千个计算节点。因此，此类系统中的计算本质上是并发和以通信为中心的。有效地编程此类应用程序具有挑战性；性能，正确性和可伸缩性很难实现。 因此，为这种日益平行的景观开发有效的编程方法，需要探索和理解各种基础和实用思想。关于以并发和以通信为中心软件的编程语言方法的国际研讨会致力于在这一领域工作。该研讨会为来自不同领域的研究人员提供了一个论坛，以将有关这些挑战的新想法交换为现代和未来的编程，在这种编程中，并发和分发是常态，而不是边际关注。 该卷包含第12版的会议记录，该论文集与爱尔兰都柏林的2020年ETAPS共同置于共同位置。
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. The development of effective programming methodologies for this increasingly parallel landscape therefore demands exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) is dedicated to work in this area. The workshop offers a forum for researchers from different fields to exchange new ideas about these challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. This volume contains the proceedings of the 12th edition of PLACES, which was co-located with ETAPS 2020 in Dublin, Ireland.
