ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 21 Issue 4, July 1999

Cache miss equations: a compiler framework for analyzing and tuning memory behavior
Somnath Ghosh, Margaret Martonosi, Sharad Malik
Pages: 703-746
DOI: 10.1145/325478.325479
With the ever-widening performance gap between processors and main memory, cache memory, which is used to bridge this gap, is becoming more and more significant. Caches work well for programs that exhibit sufficient locality. Other programs,...

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
Tevfik Bultan, Richard Gerber, William Pugh
Pages: 747-789
DOI: 10.1145/325478.325480
Model checking is a powerful technique for analyzing large, finite-state systems. In an infinite state system, however, many basic properties are undecidable. In this article, we present a new symbolic model checker which conservatively...

Dependency analysis for Standard ML
Matthias Blume
Pages: 790-812
DOI: 10.1145/325478.325481
Automatic dependency analysis is a useful addition to a system like CM, our compilation manager for Standard ML of New Jersey. It relieves the programmer from the tedious and error-prone task of having to specify compilation dependencies by...

Hierarchical modularity
Matthias Blume, Andrew W. Appel
Pages: 813-847
DOI: 10.1145/325478.325518
To cope with the complexity of very large systems, it is not sufficient to divide them into simple pieces because the pieces themselves will either be too numerous or too large. A hierarchical modular structure is the natural solution. In this...

Interprocedural pointer alias analysis
Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi
Pages: 848-894
DOI: 10.1145/325478.325519
We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a...