This paper is concerned with the mathematical structure of the immersed boundary (IB)
method, which is intended for the computer simulation of fluid–structure interaction …

A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …

We describe the design and implementation of FaRM, a new main memory distributed
computing platform that exploits RDMA to improve both latency and throughput by an order …

Modern parallel architectures have both heterogeneous processors and deep, complex
memory hierarchies. We present Legion, a programming model and runtime system for …

In this paper we consider productivity challenges for parallel programmers and explore ways
that parallel language design might help improve end-user productivity. We offer a …

The Partitioned Global Address Space (PGAS) model is a parallel programming model that
aims to improve programmer productivity while at the same time aiming for high …

Offering the only existing finite element (FE) codes for Maxwell equations that support hp
refinements on irregular meshes, Computing with hp-ADAPTIVE FINITE ELEMENTS …

In this work, we present a survey of the different parallel programming models and tools
available today with special consideration to their suitability for high-performance …

We present Sequoia, a programming language designed to facilitate the development of
memory hierarchy aware parallel programs that remain portable across modern machines …

Irregular and dynamic parallel applications pose significant challenges to achieving
scalable performance on large-scale multicore clusters. These applications often require …