Add to ORKGAbstract- A compile-time analysis technique is developed to derive the probability with which a user-defined function or a supercombinator requires each one of its arguments. This provides a basis for identifying useful speculative parallelism in a program. The performance of speculative evaluation is compared with that of lazy evaluation, and the necessary conditions under which speculative evaluation performs better are identified. Index Terms- Conservative parallelism, speculative parallel-ism, lazy evaluation, branch speculation, argument speculation, strictness analysis I
To achieve good performance on modern hardware, software must be designed with a high degree of para...
This paper presents a set of new run-time tests for speculative parallelization of loops that defy p...
This thesis considers how to speed up the execution of functional programs using parallel execution,...
A compile-time analysis technique is developed to derive the probability with which a user-defined f...
The usual technique for extracting parallelism from lazy functional languages is to use strictness a...
Speculative evaluation, including leniency and futures, is often used to produce high degrees of par...
Speculative parallelization is a technique that tries to extract parallelism of loops that can not b...
This paper focuses on the problem of how to find and effectively exploit speculative thread-level pa...
The major specific contributions are: (1) We introduce a new compiler analysis to identify the memor...
Projection analysis is a technique for finding out information about lazy functional programs. We sh...
This paper focuses on the problem of how to find and effectively exploit speculative thread-level pa...
Abstract. The traditional target machine of a parallelizing compiler can execute code sections eithe...
We propose a formal definition for (valid) speculative computa-tions, which is independent of any im...
Developments in parallel architectures are an important branch in computer science. The success of s...
The emerging hardware support for thread-level speculation opens new opportunities to parallelize se...
To achieve good performance on modern hardware, software must be designed with a high degree of para...
This paper presents a set of new run-time tests for speculative parallelization of loops that defy p...
This thesis considers how to speed up the execution of functional programs using parallel execution,...
A compile-time analysis technique is developed to derive the probability with which a user-defined f...
The usual technique for extracting parallelism from lazy functional languages is to use strictness a...
Speculative evaluation, including leniency and futures, is often used to produce high degrees of par...
Speculative parallelization is a technique that tries to extract parallelism of loops that can not b...
This paper focuses on the problem of how to find and effectively exploit speculative thread-level pa...
The major specific contributions are: (1) We introduce a new compiler analysis to identify the memor...
Projection analysis is a technique for finding out information about lazy functional programs. We sh...
This paper focuses on the problem of how to find and effectively exploit speculative thread-level pa...
Abstract. The traditional target machine of a parallelizing compiler can execute code sections eithe...
We propose a formal definition for (valid) speculative computa-tions, which is independent of any im...
Developments in parallel architectures are an important branch in computer science. The success of s...
The emerging hardware support for thread-level speculation opens new opportunities to parallelize se...
To achieve good performance on modern hardware, software must be designed with a high degree of para...
This paper presents a set of new run-time tests for speculative parallelization of loops that defy p...
This thesis considers how to speed up the execution of functional programs using parallel execution,...