Sciweavers

202
Voted
PLDI
1995
ACM
15 years 7 months ago
A Type-Based Compiler for Standard ML
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
Zhong Shao, Andrew W. Appel
153
Voted
PLDI
1995
ACM
15 years 7 months ago
Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
Jack L. Lo, Susan J. Eggers
142
Voted
PLDI
1995
ACM
15 years 7 months ago
Unifying Data and Control Transformations for Distributed Shared Memory Machines
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
Michal Cierniak, Wei Li
142
Voted
PLDI
1995
ACM
15 years 7 months ago
APT: A Data Structure for Optimal Control Dependence Computation
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
Keshav Pingali, Gianfranco Bilardi
139
Voted
PLDI
1995
ACM
15 years 7 months ago
Elimination of Redundant Array Subscript Range Checks
Priyadarshan Kolte, Michael Wolfe
Programming Languages
Top of PageReset Settings