NDLI: A Basic Linear Algebra Compiler

Please wait, while we are loading the content...

Software Transactional Memory for GPU Architectures

Red Fox: An Execution Environment for Relational Query Processing on GPUs

Call Paths for Pin Tools

DeltaPath: Precise and Scalable Calling Context Encoding

Static Reference Analysis for GUI Objects in Android Software

Non-affine Extensions to Polyhedral Code Generation

Security Signature Inference for JavaScript-based Browser Addons

Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs

Warm-Up Simulation Methodology for HW/SW Co-Designed Processors

Just-In-Time Software Pipelining

Portable and Transparent Host-Device Communication Optimization for GPGPU Environments

LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Dynamic and Adaptive Calling Context Encoding

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes

Estimating the Empirical Cost Function of Routines with Dynamic Workloads

Fix the code. Don't tweak the hardware: A new compiler approach to Voltage-Frequency scaling

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization

A Basic Linear Algebra Compiler

Hybrid Hexagonal/Classical Tiling for GPUs

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing

Fine-grained Benchmark Subsetting for System Selection

Partial Escape Analysis and Scalar Replacement for Java

Simplifying Scalable Graph Processing with a Domain-Specific Language

Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection

Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices

Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support

Efficient Mapping of Irregular C++ Applications to Integrated GPUs

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking

A Basic Linear Algebra Compiler

Content Provider	ACM Digital Library
Author	Spampinato, Daniele G. Püschel, Markus
Abstract	Many applications in media processing, control, graphics, and other domains require efficient small-scale linear algebra computations. However, most existing high performance libraries for linear algebra, such as ATLAS or Intel MKL are more geared towards large-scale problems (matrix sizes in the hundreds and larger) and towards specific interfaces (e.g., BLAS). In this paper we present LGen: a compiler for small-scale, basic linear algebra computations. The input to LGen is a fixed-size linear algebra expression; the output is a corresponding C function optionally including intrinsics to efficiently use SIMD vector extensions. LGen generates code using two levels of mathematical domain-specific languages (DSLs). The DSLs are used to perform tiling, loop fusion, and vectorization at a high level of abstraction, before the final code is generated. In addition, search is used to select among alternative generated implementations. We show benchmarks of code generated by LGen against Intel MKL and IPP as well as against alternative generators, such as the C++ template-based Eigen and the BTO compiler. The achieved speed-up is typically about a factor of two to three.
Starting Page	23
Ending Page	32
Page Count	10
File Format	PDF
ISBN	9781450326704
DOI	10.1145/2544137.2544155
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-02-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Basic linear algebra Tiling Dsl Program synthesis Simd vectorization Small matrices
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A basic linear algebra compiler for structured matrices

A stencil compiler for short-vector SIMD architectures

Automatic SIMD vectorization for Haskell

A Compiler Approach for Exploiting Partial SIMD Parallelism

Vectorization for SIMD architectures with alignment constraints

From relational verification to SIMD loop synthesis

Program generation for the all-pairs shortest path problem

Vectorization past dependent branches through speculation

Compiler Vectorization Techniques for a Disjoint SIMD Architecture

A Basic Linear Algebra Compiler

Similar Documents

A basic linear algebra compiler for structured matrices

A stencil compiler for short-vector SIMD architectures

Automatic SIMD vectorization for Haskell

A Compiler Approach for Exploiting Partial SIMD Parallelism

Vectorization for SIMD architectures with alignment constraints

From relational verification to SIMD loop synthesis

Program generation for the all-pairs shortest path problem

Vectorization past dependent branches through speculation

Compiler Vectorization Techniques for a Disjoint SIMD Architecture

A Basic Linear Algebra Compiler