Analysis of multithreaded programs

M Rinard - International Static Analysis Symposium, 2001 - Springer
The field of program analysis has focused primarily on sequential programming languages.
But multithreading is becoming increasingly important, both as a program structuring …

The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization

L Rauchwerger, D Padua - Proceedings of the ACM SIGPLAN 1995 …, 1995 - dl.acm.org
Current parallelizing compilers cannot identify a significant fraction of parallelizable loops
because they have complex or statically insufficiently defined access patterns. As …

Escape analysis for Java

JD Choi, M Gupta, M Serrano, VC Sreedhar… - Acm Sigplan …, 1999 - dl.acm.org
This paper presents a simple and efficient data flow algorithm for escape analysis of objects
in Java programs to determine (i) if an object can be allocated on the stack;(ii) if an object is …

[KIRJA][B] Optimizing supercompilers for supercomputers

MJ Wolfe - 1982 - search.proquest.com
This thesis discusses several problems facing compiler design for supercomputers. One
problem is that of building a comprehensive yet efficient means of representing the flow of …

[KIRJA][B] Supercompilers for parallel and vector computers

H Zima, B Chapman - 1990 - dl.acm.org
Supercompilers for parallel and vector computers | ACM Other Books skip to main content
ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse …

Automatic program parallelization

U Banerjee, R Eigenmann, A Nicolau… - Proceedings of the …, 1993 - ieeexplore.ieee.org
An overview of automatic program parallelization techniques is presented. It covers
dependence analysis techniques, followed by a discussion of program transformations …

Riptide: A programmable, energy-minimal dataflow compiler and architecture

G Gobieski, S Ghosh, M Heule, T Mowry… - 2022 55th IEEE/ACM …, 2022 - ieeexplore.ieee.org
Emerging sensing applications create an unprecedented need for energy efficiency in
programmable processors. To achieve useful multi-year deployments on a small battery or …

A survey on thread-level speculation techniques

A Estebanez, DR Llanos… - ACM Computing Surveys …, 2016 - dl.acm.org
Thread-Level Speculation (TLS) is a promising technique that allows the parallel execution
of sequential code without relying on a prior, compile-time-dependence analysis. In this …

[PDF][PDF] Automatic extraction of functional parallelism from ordinary programs

M Girkar, CD Polychronopoulos - IEEE transactions on parallel …, 1992 - scholar.archive.org
• Parallelism and concurrency are not mutually exclusive! In fact, we need both forms of
simultaneousness: concurrency to model systems with simultaneously working agents, and …

[KIRJA][B] Data-parallel programming on MIMD computers

PJ Hatcher, MJ Quinn - 1991 - books.google.com
Data-Parallel Programming demonstrates that architecture-independent parallel
programming is possible by describing in detail how programs written in a high-level SIMD …