并行程序的非过程语言

I CAN HAS？使用基于Meme的程序设计语言教授并行和分布式计算概念的新方法

I CAN HAS SUPERCOMPUTER? A Novel Approach to Teaching Parallel and Distributed Computing Concepts Using a Meme-Based Programming Language

提出了一种新的方法来教授同步和远程存储器访问的并行和分布式计算概念。本文提出的单程序多数据（SPMD）分区全局地址空间（PGAS）模型使用一种面向本科生的过程式程序设计语言。我们建议，有趣的性质的方法可能会产生创造力和兴趣，使用这些概念后，在更清醒的环境。具体来说，我们实现了并行扩展LOLCODE内的源到源编译器足够的并行和分布式算法的发展，通常使用传统的高性能计算语言和API。

并行化或不并行化，

To parallelize or not to parallelize, bugs issue

程序正确性是并行编程中最困难的挑战之一。消息传递接口MPI被广泛用于编写并行应用程序。由于MPI不是一种编译语言，程序员在编写MPI程序时会遇到一些编程错误，本文介绍了MPI程序中最常见的编程错误，以帮助程序员在并行性的优点和检测和修复这些错误所需的额外工作之间进行折衷。一个代数规格的MPI类程序设计语言，称为简单MPI（SMPI），用于编写MPI程序规范也已提出。此外，SMPI程序中的不确定性和死锁现象也在Maud系统中得到了验证。

MISO：一种表示并行和可靠程序的中间语言

MISO: An intermediate language to express parallel and dependable programs

编写快速程序的一种方法是探索潜在的并行性，并利用微处理器中可用的大量内核。这可以通过手动指定哪些代码在哪个线程上执行、使用编译器并行化提示（如OpenMP或Cilk）或使用并行程序设计语言（如X10、Chapel或Aeminium）来实现。无论采用哪种方法，所有这些程序都被编译成一种中间的低级语言，这种语言是顺序的，从而防止后端编译器优化程序并观察其并行特性。本文介绍了MISO，一个中间语言，表示程序的并行性，可以针对前端编译器。该语言定义了“单元格”，由状态和从一个状态到下一个状态的转换函数组成。该语言既能表示串行程序，也能表示并行程序，为后端编译器生成高效的并行程序提供了信息。此外，MISO可用于通过复制状态或通过利用不同的处理器核心来自动地向程序添加冗余，以便为在不可靠的硬件上运行的程序提供容错。

混合填充覆盖半定规划的并行近似算法

A parallel approximation algorithm for mixed packing and covering semidefinite programs

对一类混合填充和覆盖半定规划问题提出了一种并行近似算法，该算法推广了Jain和Yao [2011]所考虑的半正定规划问题.作为推论，我们得到了一个更快的近似算法的半正定程序与更好的依赖于并行运行时间的近似因子，相比，Jain和姚[2011]。我们的算法和分析与Young [2001]的算法和分析类似，Young [2001]考虑了类似的线性规划。

Glasgow并行归约机：使用并行任务组合编程共享内存众核系统

The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition

我们提出了格拉斯哥并行归约机（GPRM），一种新颖的，灵活的框架，并行任务组合为基础的众核编程。我们允许程序员将程序结构化为任务代码，编写为C++类，和通信代码，编写在C++的有限子集中，具有功能语义和并行评估。在本文中，我们讨论的GPRM，虚拟机框架，使并行任务组合方法。我们集中讨论GPIR，函数语言作为中间表示的字节码上运行的GPRM。使用这种语言的例子，我们展示了我们的任务组成框架的灵活性和力量。我们展示了潜力，使用合并排序算法的64核Tilera处理器上的实现，以及在传统的英特尔四核处理器和AMD 48核处理器系统。我们还比较了我们的框架与在Tilera处理器上运行的并行指针追逐算法中的OpenMP任务。我们的研究结果表明，GPRM程序优于相应的OpenMP代码在所有的测试平台上，可以大大方便的并行程序的编写，特别是非数据并行算法，如减少。

用ThreadScope分析并行Mercury程序

Profiling parallel Mercury programs with ThreadScope

并行程序的行为比顺序程序的行为更难理解。并行程序可能会受到影响顺序程序的任何性能问题的影响，也可能会受到并行系统特有的几个问题的影响。如果没有专业工具的帮助，这些问题中的许多都很难（甚至几乎不可能）诊断。我们提出了一个建议，一个工具，分析并行执行的水星计划，建议的实施，我们已经开始。这个工具是ThreadScope分析器的一个改编和扩展，ThreadScope分析器最初是用来帮助程序员可视化并行Haskell程序的执行的。

一种快速的任务并行程序因果分析器

A Fast Causal Profiler for Task Parallel Programs

本文提出了TASKPROF，一个分析器，确定任务并行程序的并行性瓶颈。它利用任务并行执行的结构来执行细粒度的工作归属到程序的各个部分。TASKPROF使用硬件性能计数器来执行细粒度测量，从而最大限度地减少了干扰。TASKPROF的配置文件执行使用多核并行运行。TASKPROF的因果配置文件使用户能够估计在并行性的改进时，一个区域的代码进行了优化，即使具体的优化是未知的。我们使用TASKPROF隔离了23个使用英特尔线程构建模块库的应用程序中的并行性瓶颈。我们已经设计了并行化技术在五个应用程序中增加并行度的数量级使用TASKPROF。我们的用户研究表明，开发人员能够使用TASKPROF轻松隔离性能瓶颈。

SPMD并行程序自动性能测试中的相似性分析

Similarity Analysis in Automatic Performance Debugging of SPMD Parallel Programs

与顺序程序不同，并行程序有其自身的特点，在多进程或多线程环境下难以分析。本文提出了一种自动分析SPMD程序的新方法。首先，利用基于相似性分析的聚类方法，设计了一种自动定位并行程序性能问题的算法。其次，粗糙集方法被用来揭示性能问题，并提供了微观层次的原因洞察。最后，我们分析了一个生产并行应用程序，以验证我们的方法和系统的有效性。

使用低级线程原语的逻辑程序的简单有效的显式并行化

A simple and efficient explicit parallelization of logic programs using low-level threading primitives

在这项工作中，我们提出了一种自动的方式来并行化逻辑程序，以找到所有的答案查询使用转换到低级别的线程原语。虽然十多年前在逻辑编程的并行化方面已经做了很多工作（例如，Aurora，Muse，YapOR），并行化逻辑程序的现状仍然很差。本文提出了一种在良基语义下，XSB Prolog表式逻辑程序并行化的方法。这项工作的一个重要贡献在于合并来自多个子线程的答案表，而不会导致数据结构的复制或完全共享和同步。父子共享答案表的实现在效率上超过了目前使用多线程并行化完成答案所实现的所有其他数据结构。转换及其较低级别的答案合并谓词是作为XSB系统的扩展实现的。

面向运算符的程序设计：实现窗口接口和并行算法的新范例

Operator-oriented programming: a new paradigm for implementing window interfaces and parallel algorithms

我们提出了一个新的编程范式，可以是有用的，特别是，用于实现窗口接口和并行算法。这个范例允许用户定义可以包含嵌套运算符的运算符。这种新的范式被称为面向运营商。这种模式的目标之一是避免许多面向对象语言中固有的对象定义的复杂性，并转向透明的算法定义。

HLPP 2026会议录：第19届高级并行编程与应用国际研讨会

Proceedings of HLPP 2026: 19th International Symposium on High-Level Parallel Programming and Applications

HLPP 2026会议录包含十篇同行评审论文，研讨会涵盖并行编程高级方法，2026年版扩展到人工智能领域，论文经单盲评审选出，按程序顺序发表，由李冲等人编辑。

基于Petri网的并行程序协调级建模与分析

Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets

在过去的十五年中，高性能计算（HPC）社区已经要求并行编程环境，其调和分布式存储器并行计算平台的通用性、更高抽象级别、可移植性和效率。哈希组件模型似乎是解决HPC社区要求满足这些要求的替代方案。本文提出的基础，将使一个基于哈希模型的并行程序设计环境，以解决问题的“调试”，性能评估和验证的形式属性的并行程序通过一个强大的，简单的，广泛采用的形式主义：Petri网。

面向过程的并行程序设计及其在数据密集型计算中的应用

Process-Oriented Parallel Programming with an Application to Data-Intensive Computing

我们介绍面向过程的编程作为一个自然的扩展面向对象的编程并行计算。它基于这样的观察：面向对象语言的每个类都可以实例化为一个进程，可以通过远程指针访问。进程指针的引入不需要语法扩展，用编程对象标识进程，并使进程能够通过执行远程方法简单地交换信息。面向过程的编程是一种高级语言，可以替代多线程、MPI和当前用于并行计算的许多其他语言、环境和工具。它只使用现有语言（如C++和Python）的最小语法扩展来实现自然的基于对象的并行性，因此有可能导致并行编程的广泛采用。我们实现了一个原型系统运行进程使用C++与MPI，并使用它来计算一个大型的三维傅立叶变换的计算机集群上建立的商品硬件组件。三维傅立叶变换是具有复杂数据访问模式的数据密集型应用程序的原型。面向进程的代码只有几百行，通过实现大规模并行和最大化硬件利用率来实现非常高的数据吞吐量。

ParFORM：符号操作程序FORM的并行版本

ParFORM: Parallel Version of the Symbolic Manipulation Program FORM

在介绍了FORM的顺序版本和背后的机制之后，我们报告了我们的并行化项目的状态。我们现在有一个并行版本的FORM运行在集群和SMP架构上。该版本可用于并行运行任意FORM程序。

MPI_XSTAR: MPI-based Parallelization of the XSTAR Photoionization Program

We describe a program for the parallel implementation of multiple runs of XSTAR, a photoionization code that is used to predict the physical properties of an ionized gas from its emission and/or absorption lines. The parallelization program, called MPI_XSTAR, has been developed and implemented in the C++ language by using the Message Passing Interface (MPI) protocol, a conventional standard of parallel computing. We have benchmarked parallel multiprocessing executions of XSTAR, using MPI_XSTAR, against a serial execution of XSTAR, in terms of the parallelization speedup and the computing resou…