JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Pingali, Keshav"
Now showing items 1231 of 45

The Bernoulli Generic Matrix Library
Mateev, Nikolay; Pingali, Keshav; Stodghill, Paul (Cornell University, 20000727)We have implemented the Bernoulli generic programming system for sparse matrix computations. What distinguishes it from existing generic sparse matrix libraries is that we use (i) a highlevel matrix abstraction for writing ... 
Compiler Parallelization of SIMPLE for a Distributed Memory Machine
Pingali, Keshav; Rogers, Anne M. (Cornell University, 199001)In machines like the Intel iPSC/2 and the BBN Butterfly, local memory operations are much faster than interprocessor communication. When writing programs for these machines, programmers must worry about exploiting spatial ... 
Compiling Imperfectlynested Sparse Matrix Codes with Dependences
Ahmed, Nawaaz; Mateev, Nikolay; Pingali, Keshav; Stodghill, Paul (Cornell University, 20000307)We present compiler technology for generating sparse matrix code from (i) dense matrix code and (ii) a description of the indexing structure of the sparse matrices. This technology embeds statement instances into a Cartesian ... 
Compiling Parallel Sparse Code for UserDefined Data Structures
Kotlyar, Vladimir; Pingali, Keshav; Stodghill, Paul (Cornell University, 199706)We describe how various sparse matrix and distribution formats can be handled using the {\em relational} approach to sparse matrix code compilation. This approach allows for the development of compilation techniques that ... 
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies
Pingali, Keshav; Beck, Micah; Johnson, Richard C.; Moudgill, Mayan; Stodghill, Paul (Cornell University, 199009)The topic of intermediate languages for optimizing and parallelizing compilers has received much attention lately. In this paper, we argue that any good representation must have two crucial properties: first, the ... 
Efficient Computation of Interprocedural Control Dependence
Ezick, James; Bilardi, Gianfranco; Pingali, Keshav (Cornell University, 20010906)Control dependence information is useful for a wide range of software maintenance and testing tasks. For example, program slicers use it to determine statements and predicates that might affect the value of a particular ... 
Fast Compiled Logic Simulation Using Linear BDDs
Gupta, Sudeep; Pingali, Keshav (Cornell University, 199506)This paper presents a new technique for compiled zero delay logic simulation, and includes extensive experiments that demonstrate its performance on standard benchmarks. Our compiler partitions the circuit into fanoutfreeregions ... 
Fast Compiled Logic Simulation Using Linear BDDs
Gupta, Sudeep; Pingali, Keshav (Cornell University, 199506)This paper presents a new technique for compiled zero delay logic simulation, and includes extensive experiments that demonstrate its performance on standard benchmarks. Our compiler partitions the circuit into fanoutfree ... 
Finding Regions Fast: Single Entry Single Exit and Control Regions in Linear Time
Johnson, Richard C.; Pearson, David; Pingali, Keshav (Cornell University, 199307)Many compilation problems require computing the control dependence equivalence relation which divides nodes in a control flow graph into equivalence classes such that nodes are in the same class if and only if they have ... 
FineGrain Compilation for Pipelined Machines
Pingali, Keshav (Cornell University, 198808)Computer architecture design requires careful attention to the balance between the complexity of code scheduling problems and the cost and feasibility of building a machine. In this paper, we show that recently developed ... 
Fractal Symbolic Analysis for Program Transformations (*new file*)
Mateev, Nikolay; Menon, Vijay; Pingali, Keshav (Cornell University, 20000202)Restructuring compilers use dependence analysis to prove that the meaning of a program is not changed by a transformation. A wellknown limitation of dependence analysis is that it examines only the memory locations ... 
From Control Flow to Dataflow
Beck, Micah; Pingali, Keshav (Cornell University, 198910)Are imperative languages tied inseparably to the von Neumann model or can they be implemented in some natural way on dataflow architectures? In this paper, we show how imperative language programs can be translated into ... 
A Fully Abstract Semantics for a Functional Language with Logic Variables
Pingali, Keshav; Panangaden, Prakash; Jagadeesan, Radhakrishnan (Cornell University, 198902)We present a novel denotational semantics for a functional language with logic variables intended for parallel execution. The intuition behind this semantics is that equations represent equational constraints on data. ... 
A Generic Programming System for Sparse Matrix Computations
Mateev, Nikolay; Kotlyar, Vladimir; Pingali, Keshav; Stodghill, Paul (Cornell University, 199907)Sparse matrices are stored in compressed formats in which zeros are not stored explicitly. Writing highperformance sparse matrix libraries is a difficult and tedious job because there are many compressed formats in use ... 
IStructures: Data Structures for Parallel Computing
Arvind; Nikhil, Rishiyur; Pingali, Keshav (Cornell University, 198702)It is difficult simulteneously to achieve elegance, efficiency and parallelism in functional programs that manipulate large data structures. We demonstrate this through careful analysis of program examples using three ... 
The Lambda Loop Transformation Toolkit (User's Reference Manual)
Li, Wei; Pingali, Keshav (Cornell University, 199408)Loop transformations are becoming critical to exploiting parallelism and data locality in parallelizing and optimizing compilers. This document describes the Lambda loop transformation toolkit, an implementation of the ... 
The Lambda Loop Transformation Toolkit (User's Reference Manual)
Li, Wei; Pingali, Keshav (Cornell University, 199406)Loop transformations are becoming critical to exploiting parallelism and data locality in parallelizing and optimizing compilers. This document describes the Lambda loop transformation toolkit, an implementation of the ... 
Lazy Evaluation and the Logic Variable
Pingali, Keshav (Cornell University, 198711)Functional languages can be enriched with logic variables to provide new computational features such as incremental construction of data structures. In this paper, we present a novel application for logic variables that ... 
Leftlooking to Rightlooking and vice versa: An Application of FractalSymbolic Analysis to Linear Algebra Code Restructuring
Mateev, Nikolay; Menon, Vijay; Pingali, Keshav (Cornell University, 20000801)We have recently developed a new program analysis strategy called fractal symbolic analysis that addresses some of limitations of techniques such as dependence analysis. In this paper, we show how fractal symbolic analysis ... 
Man vs. Machine : Comparing Handwritten and Compilergenerated ApplicationLevel Checkpointing
Ezick, James; Marques, Daniel; Pingali, Keshav; Stodghill, Paul (Cornell University, 20041012)The contributions of this paper are the following. We describe the implementation of the $C^3$ system for semiautomatic applicationlevel checkpointing of C programs. The system has (i) a precompiler that instruments C ...