Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 22 Issue 5, Sept. 2000

Optimizing memory usage in the polyhedral model
Fabien Quilleré, Sanjay Rajopadhye
Pages: 773-815
DOI: 10.1145/365151.365152
The polyhedral model provides a single unified foundation for systolic array synthesis and automatic parallelization of loop programs. We investigate the problem of memory reuse when compiling Alpha (a functional language based...

A balanced code placement framework
Reinhard von Hanxleden, Ken Kennedy
Pages: 816-860
DOI: 10.1145/365151.365161
Give-N-Take is a code placement framework which uses a generic producer-consumer mechanism. An instance of this could be a communication step between a processor that computes (produces) some data, and other processors that subsequently...

Sets and constraint logic programming
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
Pages: 861-931
DOI: 10.1145/365151.365169
In this paper we present a study of the problem of handling constraints made by conjunctions of positive and negative literals based on the predicate symbols =, ∈, and...

The benefits and costs of DyC's run-time optimizations
Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
Pages: 932-972
DOI: 10.1145/365151.367161
DyC selectively dynamically compiles programs during their execution, utilizing the run-time-computed values of variables and data structures to apply optimizations that are based on partial evaluation. The dynamic optimizations are preplanned...