Home     Top: Programming: Compiler Design    [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.

534   Active Messages: a Mechanism for Integrated Communication and.. - von Eicken, Culler, Goldstein.. (1992)   (Correct)
362   Aspect-Oriented Programming - Kiczales, Irwin, Lamping, Loingtier, .. (1997)   (Correct)
325   TreadMarks: Distributed Shared Memory on Standard Workstations and.. - Keleher, Cox, Dwarkadas, Zwaenepoel (1994)   (Correct)
270   Proof-Carrying Code - Necula (1997)   (Correct)
258   Parallel Programming in Split-C - Culler (1993)   (Correct)
238   The essence of functional programming - Wadler (1992)   (Correct)
232   Tempest and Typhoon: User-Level Shared Memory - Reinhardt, Larus, Wood (1994)   (Correct)
223   Revised^4 Report on the Algorithmic Language Scheme - Clinger, (ed.), Rees, (ed.).. (1991)   (Correct)
200   Uniprocessor Garbage Collection Techniques - Wilson (1992)   (Correct)
183   The Oz Programming Model - Smolka (1995)   (Correct)
181   The Amber System: Parallel Programming on a Network of Multiprocessors - Chase (1989)   (Correct)
179   Munin: Distributed Shared Memory Based on Type-Specific Memory.. - Bennett, Carter, Zwaenepoel (1990)   (Correct)
179   Orca: A Language For Parallel Programming Of Distributed Systems - Bal, Kaashoek, Tanenbaum (1992)   (Correct)
174   APRIL: A Processor Architecture for Multiprocessing - Agarwal (1990)   (Correct)
170   Imperative functional programming - Jones, Wadler (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)
161   The MIT Alewife Machine: A Large-Scale Distributed-Memory.. - Agarwal, Chaiken, Johnson, Kranz.. (1991)   (Correct)
157   Pizza into Java: Translating theory into practice - Odersky (1997)   (Correct)
157   The MIT Alewife Machine: Architecture and Performance - Agarwal, Bianchini, Chaiken, al (1995)   (Correct)
155   The Omega Test: a fast and practical integer programming algorithm.. - Pugh (1993)   (Correct)
153   Points-to analysis in almost linear time - Steensgaard (1996)   (Correct)
151   Lazy Task Creation: A Technique for Increasing the Granularity of.. - Mohr, Kranz, Halstead, Jr. (1990)   (Correct)
145   The Network Architecture of the Connection Machine CM-5 - Leiserson, Abuhamdeh, Douglas.. (1994)   (Correct)
138   A Survey of Program Slicing Techniques - Tip (1995)   (Correct)
134   Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson, Lam (1995)   (Correct)
133   Nesl: A Nested Data-Parallel Language - Blelloch (1990)   (Correct)
131   Shoring Up Persistent Applications - Carey, DeWitt, Franklin, Hall.. (1994)   (Correct)
126   Value Locality and Load Value Prediction - Lipasti, al. (1996)   (Correct)
123   The Nexus Approach to Integrating Multithreading and Communication - Foster (1996)   (Correct)
118   Programming In Vienna Fortran - Chapman, Mehrotra, Zima (1992)   (Correct)
118   Standard ML of New Jersey - Appel, MacQueen (1991)   (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)
114   Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997)   (Correct)
114   Fine-grain Parallelism with Minimal Hardware Support: A.. - Culler, Sah, Schauser, von Eicken.. (1991)   (Correct)
112   A Short Cut to Deforestation - Gill, Launchbury, Jones (1993)   (Correct)
109   Implementing lazy functional languages on stock hardware: the.. - Jones (1992)   (Correct)
109   Shared Memory Consistency Models: A Tutorial - Adve, Gharachorloo (1995)   (Correct)
108   Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995)   (Correct)
103   Object-Oriented Type Inference - Palsberg, Schwartzbach (1991)   (Correct)
101   Fine-grain Access Control for Distributed Shared Memory - Schoinas (1994)   (Correct)
99   On The Acceptability Of Arguments And Its Fundamental Role In.. - Dung (1995)   (Correct)
95   The Glasgow Haskell compiler: a technical overview - Jones, Hall, Hammond, Partain, Wadler (1992)   (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   A Denotational Semantics of Inheritance and its Correctness - Cook, Palsberg (1994)   (Correct)
90   Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren (1996)   (Correct)
87   Implementation of a Portable Nested Data-Parallel Language - Blelloch (1994)   (Correct)
82   Simple Type-Theoretic Foundations For Object-Oriented Programming - Pierce, Turner (1993)   (Correct)
80   Improving Data Locality with Loop Transformations - McKinley (1996)   (Correct)
79   Automatically Tuned Linear Algebra Software - Whaley, Dongarra (1997)   (Correct)
78   Making the future safe for the past: Adding Genericity to the Java.. - Bracha, Odersky, Stoutamirc, Wadler (1998)   (Correct)
77   Reducing Indirect Function Call Overhead In C++ Programs - Calder, Grumwald (1994)   (Correct)
76   Integrating Message-Passing and Shared-Memory: Early Experience - Kranz, Johnson, Agarwal.. (1993)   (Correct)
75   Data and Computation Transformations for Multiprocessors - Anderson (1995)   (Correct)
74   Programming Parallel Algorithms - Blelloch (1996)   (Correct)
72   Branch Prediction For Free - Ball (1993)   (Correct)
71   Unifying Data and Control Transformations for Distributed Shared.. - Cierniak (1994)   (Correct)
71   Unifying Data and Control Transformations for Distributed.. - Cierniak, Li (1994)   (Correct)
69   Linearity and the Pi-Calculus - Kobayashi (1996)   (Correct)
69   The Design and Implementation of a Certifying Compiler - Necula, Lee (1998)   (Correct)
69   VIS: A System for Verification and Synthesis - Brayton, Sangiovanni-Vincentelli.. (1996)   (Correct)
69   Lazy Functional State Threads - Launchbury, Jones (1993)   (Correct)
68   Automatic Program Parallelization - Banerjee, Eigenmann, Nicolau (1993)   (Correct)
68   Reducing Memory Latency via Non-blocking and Prefetching Caches - Chen (1992)   (Correct)
68   Software Versus Hardware Shared-Memory Implementation: A Case Study - Cox (1994)   (Correct)
67   Compile-Time Techniques for Data Distribution in Distributed Memory.. - Ramanujam, Sadayappan (1991)   (Correct)
67   Reducing False Sharing on Shared Memory Multiprocessors through.. - Jeremiassen (1994)   (Correct)
66   Typed Closure Conversion - Minamide, Morrisett, Harper (1996)   (Correct)
66   An Overview of the Spring System - Mitchell, Gibbons, Hamilton.. (1994)   (Correct)
65   Charlotte: Metacomputing on the Web - Baratloo (1996)   (Correct)
65   Baring it all to software: Raw machines - Waingold, al. (1997)   (Correct)
65   A Practical System for Intermodule Code Optimization at Link-Time - Srivastava, Wall (1992)   (Correct)
64   Compiler Support for Machine-Independent Parallel Programming in.. - Hiranandani, Kennedy, Tseng (1991)   (Correct)
63   Garbage Collection Can Be Faster Than Stack Allocation - Appel (1987)   (Correct)
63   Compiler Blockability of Numerical Algorithms - Carr (1992)   (Correct)
61   Making Pure Object-Oriented Languages Practical - Chambers, Ungar (1991)   (Correct)
61   PolyP - a polytypic programming language extension - Jansson, Jeuring (1997)   (Correct)
60   The CMU Task Parallel Program Suite - Peter Dinda, Thomas Gross, David.. (1994)   (Correct)
60   Profile-Guided Automatic Inline Expansion for C Programs - Chang, Mahlke, Chen, Hwu (1992)   (Correct)
60   A Sound Type System For Secure Flow Analysis - Volpano, Smith, al. (1996)   (Correct)
59   Unboxed values as first class citizens in a non-strict functional.. - Jones, Launchbury (1991)   (Correct)
59   Task Parallelism in a High Performance Fortran Framework - Gross, Hallaron, Subhlok (1994)   (Correct)
59   Automatic Array Privatization - Tu (1993)   (Correct)
59   Abstractions for Recursive Pointer Data Structures: Improving the.. - Hendren, Hummel, Nicolau (1992)   (Correct)
59   The Zinc Experiment: An Economical Implementation Of The Ml Language - Leroy (1990)   (Correct)
58   SPIN - An Extensible Microkernel for Application-specific Operating.. - Bershad, Chambers, Eggers, Maeda.. (1994)   (Correct)
58   A Type System for Object Initialization In the Java Bytecode Language - Freund, Mitchell (1998)   (Correct)
58   XSB as an Efficient Deductive Database Engine - Sagonas (1994)   (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)
57   No Assembly Required: Compiling Standard ML to C - Tarditi, Lee, Acharya (1990)   (Correct)
57   Iterative Type Analysis and Extended Message Splitting: Optimizing.. - Chambers, Ungar (1990)   (Correct)
56   A Linear Algebra Framework for Static HPF Code Distribution - Corinne Ancourt (1995)   (Correct)
56   From Region Inference to von Neumann Machines via Region.. - Birkedal, Tofte, Vejlstrup (1996)   (Correct)
55   Automatic Data Layout for High Performance Fortran - Kennedy, Kremer (1994)   (Correct)
55   Adaptive Cache Coherency for Detecting Migratory Shared Data - Cox, Fowler (1993)   (Correct)
55   Compiler-Based Prefetching for Recursive Data Structures - Luk (1996)   (Correct)
54   Automatic Autoprojection of Recursive Equations with Global Variables .. - Bondorf, Danvy (1990)   (Correct)
54   Generating Communication for Array Statements: Design.. - Stichnoth (1994)   (Correct)
54   The Implementation Of Postgres - Stonebraker (1990)   (Correct)
54   Compiling Collection-Oriented Languages onto Massively Parallel.. - Blelloch (1990)   (Correct)
54   Scripting: Higher Level Programming for the 21st Century - Ousterhout (1997)   (Correct)
54   Efficient Compilation of Lazy Evaluation - Johnsson (1984)   (Correct)
53   Tiling Multidimensional Iteration Spaces for Multicomputers - Ramanujam, Sadayappan (1992)   (Correct)
53   Where is Time Spent in Message-Passing and Shared-Memory Programs? - Chandra, Larus, Rogers (1994)   (Correct)
53   Determining Average Program Execution Times and their Variance - Sarkar (1989)   (Correct)
52   Tag-free Garbage Collection Using Explicit Type Parameters - Tolmach   (Correct)
50   Views: A way for pattern matching to cohabit with data abstraction - Wadler (1987)   (Correct)
49   Once Upon a Type - Turner, Wadler, Mossin (1995)   (Correct)
48   Collection-Oriented Languages - Sipelstein (1991)   (Correct)
48   An International Survey of Industrial Applications of Formal Methods: .. - Craigen, Gerhart, Ralston (1993)   (Correct)
48   Neural Network Synthesis Using Cellular Encoding And The Genetic.. - Frédéric Gruau (1994)   (Correct)
47   Experience in the Automatic Parallelization of Four Perfect-Benchmark .. - Eigenmann, Hoeflinger, Li, Padua (1991)   (Correct)
46   Exploiting Task and Data Parallelism on a Multicomputer - Subhlok (1993)   (Correct)
46   Memory Consistency Models - Mosberger (1993)   (Correct)
46   A Standard ML Compiler - Appel, MacQueen (1987)   (Correct)
46   Optimal Code Motion: Theory and Practice - Knoop, Rüthing, Steffen (1994)   (Correct)
45   Detecting Coarse-Grain Parallelism Using an Interprocedural.. - Hall, Amarasinghe, Murphy, Liao, Lam (1995)   (Correct)
45   Static Detection of Dynamic Memory Errors - Evans (1996)   (Correct)
44   A High-Performance Microarchitecture with Hardware-Programmable.. - Razdan, Smith (1994)   (Correct)
44   Fragmented Objects for Distributed Abstractions - Makpangou (1992)   (Correct)
43   Adding Threads to Standard ML - Cooper, Morrisett (1990)   (Correct)
43   Simple and Effective Link-Time Optimization of Modula-3 Programs - Fernandez (1994)   (Correct)
43   A Practical Soft Type System for Scheme - Wright, Cartwright (1993)   (Correct)
42   Distributed Filaments: Efficient Fine-Grain Parallelism on a Cluster.. - Freeh, Lowenthal, Andrews (1994)   (Correct)
42   Dependence-Based Program Analysis - Johnson, Pingali (1993)   (Correct)
42   Dynamic Memory Disambiguation Using the Memory Conflict Buffer - Gallagher (1994)   (Correct)
42   Polytypic Programming - Jeuring, Jansson (1996)   (Correct)
42   A Classification and Comparison Framework for Software Architecture.. - Medvidovic (1996)   (Correct)
42   Soft Typing - Cartwright, Fagan (1991)   (Correct)
41   Metasystems: An Approach Combining Parallel Processing and.. - Grimshaw (1994)   (Correct)
41   A Semantics for Higher-order Functors - MacQueen, Tofte (1994)   (Correct)
40   A Language-Based Approach to Protocol Implementation - Abbott, Peterson (1993)   (Correct)
40   How to Declare an Imperative - Wadler (1995)   (Correct)
40   A transformation-based optimiser for Haskell - Jones, Santos (1998)   (Correct)
40   Automatic Generation of Efficient Array Redistribution Routines for.. - Ramaswamy, Banerjee (1995)   (Correct)
40   Synchronization and Communication in the T3E Multiprocessor - Scott (1996)   (Correct)
40   Code Compression - Ernst, Evans, Fraser, Lucco.. (1997)   (Correct)
39   A Linear-Time Algorithm for Computing the Memory Access Sequence in.. - Kennedy, Nedeljkovic, Sethi (1995)   (Correct)
39   Optimistic Active Messages: A Mechanism for Scheduling Communication.. - Wallach (1995)   (Correct)
39   Eliminating Array Bound Checking Through Dependent Types - Xi, Pfennig (1998)   (Correct)
38   Public International Benchmarks for Parallel Computers - Hockney, Berry (1994)   (Correct)
38   An Integrated Runtime and Compile-time Approach for Parallelizing.. - Agrawal, Sussman, Saltz (1995)   (Correct)
38   A Compilation System that Integrates High Performance Fortran and.. - Foster (1994)   (Correct)
38   Interprocedural Compilation of Fortran D for MIMD Distributed-Memory.. - Hall, Hiranandani, Kennedy, Tseng (1992)   (Correct)
38   Improving the Performance of Runtime Parallelization - Leung, Zahorjan (1993)   (Correct)
38   Preliminary Design of JML: A Behavioral Interface Specification.. - Leavens, Baker, Ruby (1999)   (Correct)
37   Approximation Techniques for Average Completion Time Scheduling - Chekuri, Motwani, Natarajan, Stein (1997)   (Correct)
37   Productive Parallel Programming: The PCN Approach - Foster, Olson, Tuecke (1992)   (Correct)
36   Compiling Haskell by program transformation: a report from the.. - Jones (1996)   (Correct)
36   Fast Interprocedural Class Analysis - DeFouw, Grove, Chambers (1997)   (Correct)
36   Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)   (Correct)
36   The Rio File Cache: Surviving Operating System Crashes - Chen, Ng, Rajamani, Aycock (1996)   (Correct)
35   A Knowledge-Based Configurator that Supports Sales, Engineering, and.. - Jon Wright (1993)   (Correct)
35   Object Distribution in Orca using Compile-Time and Run-Time Techniques - Bal, Kaashoek (1993)   (Correct)
35   Software Caching and Computation Migration in Olden - Carlisle, Rogers (1995)   (Correct)
34   Lightweight Run-Time Code Generation - Leone, Lee (1994)   (Correct)
34   The Design and Implementation of Arjuna - Parrington, al. (1995)   (Correct)
34   Heap Profiling of Lazy Functional Programs - Runciman, Wakeling (1993)   (Correct)
34   Compiler-Controlled Multithreading for Lenient Parallel Languages - Schauser, Culler, von Eicken (1991)   (Correct)
34   Mixed Integer Programming Methods for Computing Nonmonotonic.. - Bell (1994)   (Correct)
34   A High-performance Endsystem Architecture for Real-time CORBA - Schmidt, Gokhale, Harrison, Parulkar (1997)   (Correct)
34   Automatic Data Layout for Distributed Memory Machines - Kremer (1993)   (Correct)
33   The Behavior Language; User's Guide - Brooks (1990)   (Correct)
33   Message-Passing Performance of Various Computers - Dongarra, Dunigan (1995)   (Correct)
33   PERTS: A Prototyping Environment for Real-Time Systems - Liu, Redondo, Deng, Tia, Bettati.. (1993)   (Correct)
33   Demand-driven Computation of Interprocedural Data Flow - Duesterwald, Gupta, Soffa (1995)   (Correct)
33   Flexible Representation Analysis - Shao (1997)   (Correct)
33   Data Transformations for Eliminating Conflict Misses - Rivera, Tseng (1998)   (Correct)
32   Representing Control: A Study of the CPS Transformation - Danvy, Filinski (1992)   (Correct)
32   Dynamic Typing in Polymorphic Languages - Abadi, Cardelli, Pierce, Rémy (1992)   (Correct)
32   Reducing Branch Costs via Branch Alignment - Calder, Grunwald (1994)   (Correct)
32   Techniques for Debugging Parallel Programs with Flowback Analysis - Choi, Miller, Netzer (1991)   (Correct)
32   An Extensible Protocol Architecture for Application-Specific.. - Fiuczynski (1996)   (Correct)
32   GUM: a portable parallel implementation of Haskell - Hammond, Mattson, Jr., Partridge.. (1995)   (Correct)
32   GUM: a portable parallel implementation of Haskell (Abstract) - Trinder, Hammond, Jr., Partridge.. (1996)   (Correct)

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