This paper explores how fork-join parallelism, as supported by concurrency platforms such
as Cilk and OpenMP, can be embedded into a compiler's intermediate representation (IR) …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

A unique challenge for SSD storage caching management in a virtual machine (VM)
environment is to accomplish the dual objectives: maximizing utilization of shared SSD …

Global address space languages like UPC exhibit high performance and portability on a
broad class of shared and distributed memory parallel architectures. The most scalable …

Tapir (pronounced TAY-per) is a compiler intermediate representation (IR) that embeds
recursive fork-join parallelism, as supported by task-parallel programming platforms such as …

Programming standards like OpenMP, OpenCL and MPI are frequently considered
programming languages for developing parallel applications for their respective kind of …

We present a compiler technique, which is based on Shasha and Snir's delay set analysis,
to hide the underlying related memory consistency model for an optimizing compiler for …

The business process execution language for web services (WS-BPEL) provides a
technology to aggregate encapsulated functionalities for defining high-value web services …

Traditional compiler techniques developed for sequential programs do not guarantee the
correctness (sequential consistency) of compiler transformations when applied to parallel …

WS-BPEL is a standard language to model business processes. Control flow is modeled
explicitly using links. Data is passed via shared variables and there is no notion of explicit …