Field Programmable Gate Arrays (FPGAs) are spatial architectures with a heterogeneous
reconfigurable fabric. They are state-of-the-art for prototyping, telecommunications …

The big data revolution has ushered an era with ever increasing volumes and complexity of
data requiring ever faster computational analysis. During this very same era, CPU …

The ubiquity of accelerators in high-performance computing has driven programming
complexity beyond the skill-set of the average domain scientist. To maintain performance …

High-performance kernel libraries are critical to exploiting accelerators and specialized
instructions in many applications. Because compilers are difficult to extend to support …

Approximate computing is an emerging paradigm for developing highly energy-efficient
computing systems such as various accelerators. In the literature, many libraries of …

Memory-augmented neural networks are getting more attention from many researchers as
they can make an inference with the previous history stored in memory. Especially, among …

This paper presents a novel formal semantics, mechanized in Coq, for a large, sequential
subset of the LLVM IR. In contrast to previous approaches, which use relationally-specified …

Large integer multiplication is becoming a major challenge for FPGA-based acceleration of
many cryptographic applications. Existing techniques for decomposing and optimizing large …

Great strides have been made to enable performance, portability, and productivity in HPC,
but the focus has so far been on standalone applications and on-node programming …

Compilation techniques for nested-parallel applications that can adapt to hardware and
dataset characteristics are vital for unlocking the power of modern hardware. This paper …