Abstract Machine learning (ML) is increasingly seen as a viable approach for building
compiler optimization heuristics, but many ML methods cannot replicate even the simplest of …

Branch predictor (BP) is an essential component in modern processors since high BP
accuracy can improve performance and reduce energy by decreasing the number of …

The quantum circuit model is an abstraction that hides the underlying physical
implementation of gates and measurements on a quantum computer. For precise control of …

Binary diffing analysis quantitatively measures the differences between two given binaries
and produces fine-grained basic block matching. It has been widely used to enable different …

Basic Liner algebra subprograms (BLAS) is a fundamental library in scientific computing. In
this paper, we present a template-based optimization framework, AUGEM, which can …

With the proliferation of new hardware architectures and ever-evolving user requirements,
the software stack is becoming increasingly bloated. In practice, only a limited subset of the …

Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for
complex systems that may include a variety of device architectures: multi-core CPUs, GPUs …

Abstract Development of formal proofs of correctness of programs can increase actual and
perceived reliability and facilitate better understanding of program specifications and their …

Most modern compilers operate by applying a fixed, program-independent sequence of
optimizations to all programs. Compiler writers choose a single" compilation sequence", or …

SmartNICs are on the rise as a packet processing platform, with the trend towards a uniform
P4 programming model. However, unleashing SmartNIC packet processing performance in …