NDLI: An approach for exploring code improving transformations

Content Provider	ACM Digital Library
Author	Soffa, Mary Lou Whitfield, Deborah L.
Copyright Year	1997
Abstract	Although code transformations are routinely applied to improve the performance of programs for both scalar and parallel machines, the properties of code-improving transformations are not well understood. In this article we present a framework that enables the exploration, both analytically and experimentally, of properties of code-improving transformations. The major component of the framework is a specification language, Gospel, for expressing the conditions needed to safely apply a transformation and the actions required to change the code to implement the transformation. The framework includes a technique that facilitates an analytical investigation of code-improving transformations using the Gospel specifications. It also contains a tool, Genesis, that automatically produces a transformer that implements the transformations specified in Gospel. We demonstrate the usefulness of the framework by exploring the enabling and disabling properties of transformations. We first present analytical results on the enabling and disabling properties of a set of code transformations, including both traditional and parallelizing transformations, and then describe experimental results showing the types of transformations and the enabling and disabling interactions actually found in a set of programs.
Starting Page	1053
Ending Page	1084
Page Count	32
File Format	PDF
ISSN	01640925
e-ISSN	15584593
DOI	10.1145/267959.267960
Volume Number	19
Issue Number	6
Journal	ACM Transactions on Programming Languages and Systems (TOPLAS)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1997-11-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Automatic generation of optimizers Code-improving transformations Enabling and disabling of optimizations Parallelizing transformations Specification of program optimizations
Content Type	Text
Resource Type	Article
Subject	Software

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 framework for automatic generation of code optimizers (2001).

An approach for exploring code improving transformations (1997).

Communication Optimizations for Multithreaded Code Generation from Simulink Models

An Abstract Model of Certificate Translation

Automatic generation of global optimizers

A Visualization System for Parallelizing Programs (1992)

Certificate translation for optimizing compilers

Optimizations for quadrature representations of finite element tensors through automated code generation

The Draco Approach to Constructing Software from Reusable Components

An approach for exploring code improving transformations

Similar Documents

A framework for automatic generation of code optimizers (2001).

An approach for exploring code improving transformations (1997).

Communication Optimizations for Multithreaded Code Generation from Simulink Models

An Abstract Model of Certificate Translation

Automatic generation of global optimizers

A Visualization System for Parallelizing Programs (1992)

Certificate translation for optimizing compilers

Optimizations for quadrature representations of finite element tensors through automated code generation

The Draco Approach to Constructing Software from Reusable Components

An approach for exploring code improving transformations