Sciweavers

PLDI
1996
ACM
14 years 2 months ago
TIL: A Type-Directed Optimizing Compiler for ML
David Tarditi, J. Gregory Morrisett, Perry Cheng, ...
PLDI
1996
ACM
14 years 2 months ago
Realistic Compilation by Partial Evaluation
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
Michael Sperber, Peter Thiemann
PLDI
1996
ACM
14 years 2 months ago
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
Martin C. Rinard, Pedro C. Diniz
PLDI
1996
ACM
14 years 2 months ago
Static Detection of Dynamic Memory Errors
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
David Evans
PLDI
1996
ACM
14 years 2 months ago
A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints
High performance compilers increasingly rely on accurate modeling of the machine resources to efficiently exploit the instruction level parallelism of an application. In this pape...
Alexandre E. Eichenberger, Edward S. Davidson
PLDI
1996
ACM
14 years 2 months ago
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
Mark W. Bailey, Jack W. Davidson
PLDI
1996
ACM
14 years 2 months ago
Fast, Effective Dynamic Compilation
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
Joel Auslander, Matthai Philipose, Craig Chambers,...
PLDI
1996
ACM
14 years 2 months ago
Representing Control in the Presence of One-Shot Continuations
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
Carl Bruggeman, Oscar Waddell, R. Kent Dybvig
PLDI
1996
ACM
14 years 2 months ago
Teapot: Language Support for Writing Memory Coherence Protocols
Satish Chandra, Brad Richards, James R. Larus