NDLI: Bounds Checking: An Instance of Hybrid Analysis

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

Exploiting Implicit Parallelism in Dynamic Array Programming Languages

NOVA: A Functional Language for Data Parallelism

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters

Just-in-time Length Specialization of Dynamic Vector Code

A Local-View Array Library for Partitioned Global Address Space C++ Programs

GPGPU Composition with OCaml

Supporting Array Programming in X10

A Composable Array Function Interface for Heterogeneous Computing in Java

Just-in-time shape inference for array-based languages

Array Operators Using Multiple Dispatch: A design methodology for array implementations in dynamic languages

Co-dfns: Ancient Language, Modern Compiler

Extract and Extend Parallelism using C/C++ Extension for Array Notation on Multicore and Many-core Platforms: An Empirical Investigation with Quantitative Finance Examples

On Predicting the Impact of Resource Redistributions in Streaming Applications

Loo.py: transformation-based code generation for GPUs and CPUs

Bounds Checking: An Instance of Hybrid Analysis

Multi-Target C Code Generation from MATLAB

Compiling a Subset of APL Into a Typed Intermediate Language

Bounds Checking: An Instance of Hybrid Analysis

Content Provider	ACM Digital Library
Author	Oancea, Cosmin E. Henriksen, Troels
Abstract	This paper presents an analysis for bounds checking of array subscripts that lifts checking assertions to program level under the form of an arbitrarily-complex predicate (inspector), whose runtime evaluation guards the execution of the code of interest. Separating the predicate from the computation makes it more amenable to optimization, and allows it to be split into a cascade of sufficient conditions of increasing complexity that optimizes the common-inspection path. While synthesizing the bounds checking invariant resembles type checking techniques, we rely on compiler simplification and runtime evaluation rather than employing complex inference and annotation systems that might discourage the non-specialist user. We integrate the analysis in the compiler's repertoire of Futhark: a purely-functional core language supporting map-reduce nested parallelism on regular arrays, and show how the high-level language invariants enable a relatively straightforward analysis. Finally, we report a qualitative evaluation of our technique on three real-world applications from the financial domain that indicates that the runtime overhead of predicates is negligible.
Starting Page	88
Ending Page	94
Page Count	7
File Format	PDF
ISBN	9781450329378
DOI	10.1145/2627373.2627388
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-06-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Functional language Autoparallelization Subscripts bounds checking
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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