Mark William Stephenson  Home/Search
Context Related
| mit.edu/commit/papers/00/MarkSM.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/cgibin...ommitpapers.pl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis introduces Bitwise, a compiler that minimizes the bitwidth --- the number of bits used to represent each operand --- for both integers and pointers in a program. By propagating static information both forward and backward in the program dataflow graph, Bitwise frees the programmer from declaring bitwidth invariants in cases where the compiler can determine bitwidths automatically. Because loop instructions comprise the bulk of dynamically executed instructions, Bitwise incorporates... (Update)
Cited by: More
Retaining Path-Sensitive Relations across Control-Flow Merges - Douglas Gregor Dept (Correct)
Variable Precision Analysis for FPGA Synthesis - Mark Chang And (Correct)
Similar documents (at the sentence level):
33.6%: Bitwidth Analysis with Application to Silicon Compilation - Stephenson, Babb.. (2000) (Correct)
Active bibliography (related documents): More All
0.3: Data Compression Transformations for Dynamically Allocated.. - Zhang, Gupta (2002) (Correct)
0.2: Exploiting Superword Level Parallelism with Multimedia.. - Larsen, Amarasinghe (2000) (Correct)
0.1: Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (Correct)
Similar documents based on text: More All
0.9: Quality-Driven Design by Bitwidth Optimization for Video.. - Cao, Yasuura (Correct)
0.6: Bitwidth Cognizant Architecture Synthesis of.. - Mahlke.. (2001) (Correct)
0.5: Data Manipulation Services in the Haystack IR System - Asdoorian (1998) (Correct)
BibTeX entry: (Update)
M. W. Stephenson, "Bitwise: Optimizing bitwidths using data-range propagation," Master's thesis, Massachusetts Institute of Technology, May 2000. http://citeseer.ist.psu.edu/stephenson00bitwise.html More
@misc{ stephenson-bitwise,
author = "Mark William Stephenson",
title = "Bitwise: Optimizing Bitwidths Using Data-Range Propagation"
year = "2000",
url = "citeseer.ist.psu.edu/stephenson00bitwise.html" }
Citations (may not include all citations):173 SUIF: An Infrastructure for Research on Parallelizing and Op.. - Wilson, French et al. - 1996
135 MMX Technology Extension to Intel Architecture (context) - Peleg, Weiser - 1996
71 Space-Time Scheduling of Instruction-Level Parallelism on a .. - Lee, Barua et al. - 1998
68 Beyond Induction Variables: Detecting and Classifying Sequen.. - Gerlek, Stoltz et al. - 1995
61 Dependence-Based Program Analysis - Johnson, Pingali - 1993
59 Compiler Analysis of the Value Ranges for Variables (context) - Harrison - 1977
51 Pointer Analysis for Multithreaded Programs - Rugina, Rinard - 1999
51 Massachusetts Institute of Technology (context) - Ananian, Single et al. - 1999
42 Extending SUIF for Machine-dependent Optimizations - Smith - 1996
41 Parallelizing Applications Into Silicon - Babb, Rinard et al. - 1999
39 Accurate Static Branch Prediction by Value Range Propagation - Patterson - 1995
39 Maps: A Compiler-Managed Memory System for Raw Machines - Barua, Lee et al. - 1999
30 Array SSA form and its use in Parallelization - Knobe, Sarkar
28 PRISC: Programmable Reduced Instruction Set Computers (context) - Razdan - 1994
27 Automatic Parallelization of Divide and Conquer Algorithms - Rugina, Rinard - 2000
23 Exploiting Superword Level Parallelism with Multimedia Instr.. - Larsen, Amarasinghe - 2000
20 BitValue inference: Detecting and exploiting narrow bitwidth.. - Budiu, Goldstein et al.
14 A General Method for Compiling Event-Driven Simulations - French, Lam et al. - 1995
7 The Filter Cache: An Energy Efficient Memory Structure (context) - Kin, Gupta et al. - 1997
4 Bringing Vector Technology to the PowerPC (context) - Tyler, Lent et al. - 1999
3 High-Level Compilation For Reconfigurable Architectures (context) - Babb - 2000
1 Heros of the Computer Revolution (context) - Levy - 1994
http://www.systemc.org
http://www.cag.lcs.mit.edu/bitwise
Documents on the same site (http://cag.lcs.mit.edu/cgi-bin/commit-papers.pl): More
Baring it all to software: Raw machines - Waingold, al. (1997) (Correct)
StreaMIT: A Language for Streaming Applications - Thies, Karczmarek, Amarasinghe (2001) (Correct)
Maximizing TLP with loop-parallelization on SMT - Puppin, Tullsen (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC