Home     Top: Programming: Compiler Optimization    [Compiler Design   Compiler Optimization   Functional   Java   LISP   Logic   Memory Management   Object-oriented   Open Source   Semantics]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

258   Parallel Programming in Split-C - Culler (1993)   (Correct)
212   LEDA - A Platform for Combinatorial and Geometric Computing - Mehlhorn, Näher (1995)   (Correct)
200   Uniprocessor Garbage Collection Techniques - Wilson (1992)   (Correct)
194   Shade: A Fast Instruction-Set Simulator for Execution Profiling - Bob Cmelik (1993)   (Correct)
184   Compiler Transformations for High-Performance Computing - Bacon (1993)   (Correct)
170   KIDS: A Semi-Automatic Program Development System - Smith (1990)   (Correct)
162   Performance of Various Computers Using Standard Linear Equations.. - Dongarra (1995)   (Correct)
138   A Survey of Program Slicing Techniques - Tip (1995)   (Correct)
137   LimitLESS Directories: A Scalable Cache Coherence Scheme - Chaiken, Kubiatowicz, Agarwal (1991)   (Correct)
135   Simultaneous Multithreading: Maximizing On-Chip Parallelism - Tullsen, Eggers, Levy (1995)   (Correct)
126   Value Locality and Load Value Prediction - Lipasti, al. (1996)   (Correct)
118   Programming In Vienna Fortran - Chapman, Mehrotra, Zima (1992)   (Correct)
118   A Metaobject Protocol for C++ - Chiba (1995)   (Correct)
117   SUIF: An Infrastructure for Research on Parallelizing and Optimizing.. - Wilson, French, Wilson, Amarasinghe, .. (1994)   (Correct)
116   TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995)   (Correct)
113   MediaBench: A Tool for Evaluating and Synthesizing Multimedia and.. - Lee (1997)   (Correct)
108   Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995)   (Correct)
100   Effective Compiler Support for Predicated Execution Using the.. - Mahlke, Lin, Chen, Hank, Bringmann (1992)   (Correct)
100   An Implementation of Interprocedural Bounded Regular Section Analysis - Havlak, Kennedy (1991)   (Correct)
100   Improving Register Allocation for Subscripted Variables - Callahan, Carr, Kennedy (1990)   (Correct)
99   Lifetime-Sensitive Modulo Scheduling - Huff (1993)   (Correct)
97   Optimization of Object-Oriented Programs Using Static Class Hierarchy .. - Dean, Grove, Chambers (1995)   (Correct)
94   Compiler Optimizations for Improving Data Locality - Carr, McKinley, Tseng (1994)   (Correct)
91   Optimizing ML with Run-Time Code Generation - Leone, Lee (1995)   (Correct)
91   IMPACT: An Architectural Framework for Multiple-Instruction-Issue.. - Chang, Mahlke, Chen, Warter, Hwu (1991)   (Correct)
89   Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer (1996)   (Correct)
88   JavaParty - Transparent Remote Objects in Java - Philippsen, Zenger (1997)   (Correct)
87   Implementation of a Portable Nested Data-Parallel Language - Blelloch, Chatterjee, Hardwick.. (1994)   (Correct)
80   Improving Data Locality with Loop Transformations - McKinley (1996)   (Correct)
79   Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley.. (1994)   (Correct)
79   Automatically Tuned Linear Algebra Software - Whaley, Dongarra (1997)   (Correct)
78   Type-Directed Partial Evaluation - Danvy (1996)   (Correct)
77   Reducing Indirect Function Call Overhead In C++ Programs - Calder, Grumwald (1994)   (Correct)
76   Practical Dependence Testing - Goff, Kennedy, Tseng (1991)   (Correct)
75   Data and Computation Transformations for Multiprocessors - Anderson (1995)   (Correct)
74   Optimizing Matrix Multiply using PHiPAC: a Portable.. - Bilmes, Asanovic, Demmel, Lam, Chin (1996)   (Correct)
72   Optimizing for Parallelism and Data Locality - Kennedy, McKinley (1992)   (Correct)
72   Branch Prediction For Free - Ball, Larus (1993)   (Correct)
71   Unifying Data and Control Transformations for Distributed Shared.. - Cierniak (1994)   (Correct)
71   Optimization of Instruction Fetch Mechanisms for High Issue Rates - Conte, Menezes, Mills, Patel (1995)   (Correct)
71   Unifying Data and Control Transformations for Distributed.. - Cierniak, Li (1994)   (Correct)
71   SPNP: Stochastic Petri Net Package - Ciardo, Muppala, Trivedi (1989)   (Correct)
70   Increasing Network Throughput by Integrating Protocol Layers - Abbott, Peterson (1993)   (Correct)
68   Reducing Memory Latency via Non-blocking and Prefetching Caches - Chen (1992)   (Correct)
68   Compiler-directed Data Prefetching in Multiprocessors with Memory.. - Edward Gornish (1990)   (Correct)
68   A Retargetable Technique for Predicting Execution Time of Code.. - Harmon, Baker, Whalley (1992)   (Correct)
65   A Practical System for Intermodule Code Optimization at Link-Time - Srivastava, Wall (1992)   (Correct)
64   To Copy or Not to Copy: A Compile-Time Technique for Assessing When.. - Temam (1993)   (Correct)
64   Compiler Support for Machine-Independent Parallel Programming in.. - Hiranandani, Kennedy, Tseng (1991)   (Correct)
63   Compiler Blockability of Numerical Algorithms - Carr (1992)   (Correct)
61   Making Pure Object-Oriented Languages Practical - Chambers, Ungar (1991)   (Correct)
60   Profile-Guided Automatic Inline Expansion for C Programs - Chang, Mahlke, Chen, Hwu (1992)   (Correct)
58   An Overview of the Pablo Performance Analysis Environment - Reed, Aydt, Madhyastha, Noe.. (1992)   (Correct)
57   A Static Parameter based Performance Prediction Tool for Parallel.. - Fahringer, Zima (1993)   (Correct)
57   Register Allocation with Instruction Scheduling: a New Approach - Pinter (1993)   (Correct)
56   A Linear Algebra Framework for Static HPF Code Distribution - Corinne Ancourt (1995)   (Correct)
55   Compiler-Based Prefetching for Recursive Data Structures - Luk (1996)   (Correct)
55   Implementing Multiple Protection Domains in Java - Hawblitzel, Chang, Czajkowski, Hu.. (1998)   (Correct)
54   Generating Communication for Array Statements: Design.. - Stichnoth (1994)   (Correct)
54   A Code Generation Interface for ANSI C - Fraser, Hanson (1991)   (Correct)
53   Using Profile Information to Assist Classic Code Optimizations - Chang (1991)   (Correct)
53   Determining Average Program Execution Times and their Variance - Sarkar (1989)   (Correct)
52   KIDS - A Knowledge-Based Software Development System - Smith (1990)   (Correct)
51   Automatic Data Layout Using 0-1 Integer Programming - Bixby, Kennedy, Kremer (1994)   (Correct)
51   Interprocedural Modification Side Effect Analysis With Pointer.. - Landi, Ryder, Zhang (1993)   (Correct)
50   Dependent Types in Practical Programming - Xi (1998)   (Correct)
48   Neural Network Synthesis Using Cellular Encoding And The Genetic.. - Frédéric Gruau (1994)   (Correct)
48   Beyond Induction Variables - Wolfe (1992)   (Correct)
47   Cache Performance of the SPEC92 Benchmark Suite - Gee (1993)   (Correct)
47   Titanium: A High-Performance Java Dialect - Yelick, Semenzato, Pike, Miyamoto.. (1998)   (Correct)
47   Compiling Fortran D for MIMD Distributed-Memory Machines - Hiranandani (1992)   (Correct)
47   Cache Performance of the SPEC Benchmark Suite - Gee, Hill, Pnevmatikatos, Smith (1993)   (Correct)
46   A Standard ML Compiler - Appel, MacQueen (1987)   (Correct)
46   Optimal Code Motion: Theory and Practice - Knoop, Rüthing, Steffen (1994)   (Correct)
46   Automatic Partitioning of Parallel Loops and Data Arrays for.. - Agarwal (1995)   (Correct)
46   Profile-Guided Receiver Class Prediction - Grove, Dean, Garrett, Chambers (1995)   (Correct)
46   Cache Miss Equations: An Analytical Representation of Cache Misses - Ghosh, Martonisi, Malik (1997)   (Correct)
45   A Retargetable Compiler for ANSI C - Fraser, Hanson (1991)   (Correct)
45   Can Logic Programming Execute as Fast as Imperative Programming?.. - Van Roy (1990)   (Correct)
44   A High-Performance Microarchitecture with Hardware-Programmable.. - Razdan, Smith (1994)   (Correct)
44   Automatic Blocking of Nested Loops - Schreiber, Dongarra (1990)   (Correct)
44   Evaluating Compiler Optimizations For Fortran D - Hiranandani, Kennedy, Tseng (1994)   (Correct)
43   Simple and Effective Link-Time Optimization of Modula-3 Programs - Fernandez (1994)   (Correct)
43   Cache-Conscious Data Placement - Calder, Krintz, John, Austin (1998)   (Correct)
43   Quantifying Behavioral Differences Between C and C++ Programs - Calder (1994)   (Correct)
43   Putting Pointer Analysis To Work - Ghiya (1998)   (Correct)
43   Emerald: A General-Purpose Programming Language - Raj, Tempero, Levy, Black, al. (1991)   (Correct)
42   Dependence-Based Program Analysis - Johnson, Pingali (1993)   (Correct)
42   Soft Typing - Cartwright, Fagan (1991)   (Correct)
42   PYRROS: Static Task Scheduling and Code Generation for Message.. - Yang, Gerasoulis (1992)   (Correct)
42   Evaluation of Compiler Optimizations for Fortran D on MIMD.. - Hiranandani, Kennedy, Tseng (1992)   (Correct)
40   A Language-Based Approach to Protocol Implementation - Abbott, Peterson (1993)   (Correct)
40   Synchronization and Communication in the T3E Multiprocessor - Scott (1996)   (Correct)
40   Code Compression - Ernst, Evans, Fraser, Lucco.. (1997)   (Correct)
40   Minimizing Register Requirements under Resource-Constrained.. - Govindarajan, Altman, Gao (1994)   (Correct)
40   Run-time Adaptive Cache Hierarchy Management via Reference Analysis - Johnson, Hwn (1997)   (Correct)
40   Space-Efficient Closure Representations - Shao, Appel (1994)   (Correct)
39   Interactive Parallel Programming Using the ParaScope Editor - Kennedy, McKinley, Tseng (1991)   (Correct)
38   Interprocedural Compilation of Fortran D for MIMD Distributed-Memory.. - Hall, Hiranandani, Kennedy, Tseng (1992)   (Correct)
38   Flick: A Flexible, Optimizing IDL Compiler - Eide, Frei, Ford, Lepreu, Lindstrom (1997)   (Correct)
38   Beyond Induction Variables: Detecting and Classifying Sequences Using .. - Gerlek, Stoltz, Wolfe (1995)   (Correct)
37   Approximation Techniques for Average Completion Time Scheduling - Chekuri, Motwani, Natarajan, Stein (1997)   (Correct)
37   A Methodology For Query Reformulation In Cis Using Semantic Knowledge - Florescu, Raschid (1996)   (Correct)
37   Data Access Microarchitectures for Superscalar Processors with.. - Chen (1991)   (Correct)
37   Global Tagging Optimization by Type Inference - Henglein (1992)   (Correct)
36   Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
36   Two Classes of Boolean Functions for Dependency Analysis - Armstrong, Marriott, Schachte.. (1994)   (Correct)
36   Rewriting Executable Files to Measure Program Behavior - Larus, Ball (1992)   (Correct)
36   Flow-directed Inlining - Jagannathan, Wright (1996)   (Correct)
36   Storage Assignment to Decrease Code Size - Liao (1995)   (Correct)
35   Value Profiling - Calder (1997)   (Correct)
35   Analysis of Techniques to Improve Protocol Processing Latency - Mosberger (1996)   (Correct)
35   Design and Implementation of the Glue-Nail Database System - Derr, Morishita, Phipps (1993)   (Correct)
34   Lightweight Run-Time Code Generation - Leone, Lee (1994)   (Correct)
34   Automatic Data Layout for Distributed Memory Machines - Kremer (1993)   (Correct)
34   Points-to Analysis by Type Inference of Programs with Structures and.. - Bjarne Steensgaard (1996)   (Correct)
34   Type-Based Alias Analysis - Diwan, McKinley, Moss (1998)   (Correct)
34   Automatic Data Layout for Distributed-Memory Machines in the D.. - Kremer, Mellor-Crummey, Kennedy.. (1993)   (Correct)
34   Elimination of Redundant Array Subscript Range Checks - Kolte, Wolfe (1995)   (Correct)
33   Demand-driven Computation of Interprocedural Data Flow - Duesterwald, Gupta, Soffa (1995)   (Correct)
32   Reducing Branch Costs via Branch Alignment - Calder, Grunwald (1994)   (Correct)
32   Distributed Memory Compiler Design for Sparse Problems - Wu (1995)   (Correct)
32   The ParaScope Parallel Programming Environment - Cooper (1993)   (Correct)
32   The Semantics of Program Dependence - Cartwright, Felleisen (1989)   (Correct)
31   An Overview of the Fortran D Programming System - Hiranandani, Kenney, Koelbel.. (1991)   (Correct)
31   Extending SUIF for Machine-dependent Optimizations - Smith (1996)   (Correct)
31   Procedure Placement Using Temporal Ordering Information - Gloy, Blackwell, Smith, Calder (1997)   (Correct)
31   A General Framework for Iteration-Reordering Loop Transformations.. - Sarkar (1992)   (Correct)
31   Automatic Program Transformation with JOIE - Cohen, Chase, Kaminsky (1998)   (Correct)
31   An HPF Compiler for the IBM SP2 - Gupta, Midkriff, Schonberg, Shields, .. (1995)   (Correct)
31   The Effects of the Precision of Pointer Analysis - Shapiro (1997)   (Correct)
31   Simple and Effective Analysis of Statically-Typed Object-Oriented.. - Diwan (1996)   (Correct)
31   Programming for Different Memory Consistency Models - Gharachorloo (1992)   (Correct)
31   Precise and Efficient Groundness Analysis for Logic Programs - Marriott, Søndergaard (1993)   (Correct)
31   Cache Miss Equations: A Compiler Framework for Analyzing and Tuning.. - Ghosh, Martonosi, Malik (1998)   (Correct)
31   Control-Flow Analysis and Type Systems - Heintze (1995)   (Correct)
30   A Register Allocation Framework Based on Hierarchical Cyclic Interval .. - Hendren, Gao, Altman, Mukerji (1993)   (Correct)
29   Sharlit - A Tool for Building Optimizers - Tjiang, al. (1992)   (Correct)
29   Compilation Techniques for Block-Cyclic Distributions - Hiranandani, Kenney, Mellor-Crummey, .. (1994)   (Correct)
29   DyC: An Expressive Annotation-Directed Dynamic Compiler for C - Brian Grant (1997)   (Correct)
29   The execution algorithm of Mercury, an efficient purely declarative.. - Somogyi, Henderson, Conway (1996)   (Correct)
28   Improving Programs which Recurse over Multiple Inductive Structures - Fegaras (1994)   (Correct)
28   A More Efficient RMI for Java - Nester, Philippsen, Haumacher (1999)   (Correct)
28   A Manual for the CHAOS Runtime Library - Saltz, Ponnusamy, Sharma, Moon.. (1995)   (Correct)
27   A Quantitative Analysis of Loop Nest Locality - McKinley, Temam (1996)   (Correct)
27   Optimizing Instruction Cache Performance for Operating System.. - Josep Torrellas (1995)   (Correct)
27   System Description: Twelf -- A Meta-Logical Framework for Deductive.. - Frank Pfenning, Carsten Schürmann (1999)   (Correct)
27   Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan, Wright (1995)   (Correct)
27   Interprocedural Symbolic Analysis - Havlak (1994)   (Correct)
27   Characterizing the Impact of Predicated Execution on Branch Prediction - Mahlke, Hank, Bringmann, Gyllenhaal, .. (1994)   (Correct)
26   Nonlinear Array Layouts for Hierarchical Memory Systems - Chatterjee, Jain, Lebeck, Mundhra.. (1999)   (Correct)
26   A Hardware Implementation of Pure Esterel - Berry (1991)   (Correct)
26   Generation of efficient interprocedural analyzers with PAG - Alt, Martin (1995)   (Correct)
26   DTRE - A Semi-Automatic Transformation System - Blaine, Goldberg (1991)   (Correct)
25   Learning Approximate Control Rules Of High Utility - Cohen (1990)   (Correct)
25   Debugging Standard ML Without Reverse Engineering - Tolmach (1990)   (Correct)
25   Constraint-Based Type Inference and Parametric Polymorphism - Agesen (1994)   (Correct)
25   Annotation-Directed Run-Time Specialization in C - Grant   (Correct)
25   Smartest Recompilation - Shao, Appel (1993)   (Correct)
25   From ML to Ada(!?!): Strongly-typed Language Interoperability via.. - Tolmach, Oliva (1997)   (Correct)
25   Memory-Hierarchy Management - Carr (1992)   (Correct)
25   From ML to Ada: Strongly-typed Language Interoperability via Source.. - Tolmach, Oliva (1993)   (Correct)
25   Improving the Ratio of Memory Operations to Floating-Point Operations .. - Carr, Kennedy (1994)   (Correct)
25   Precise Miss Analysis for Program Transformations with Caches of.. - Ghosh, Martonosi, Malik (1998)   (Correct)
25   Linear-time Subtransitive Control Flow Analysis - Heintze, McAllester (1997)   (Correct)
24   The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink, Grove, Hind.. (1999)   (Correct)
24   Compilation Techniques for Low Energy: An Overview - Tiwari, Malik, Wolfe (1994)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute