Search Sciweavers | Sciweavers

38 search results - page 1 / 8

» Scalable Array SSA and Array Data Flow Analysis

click to vote

LCPC
2005
Springer

136views System Software» more LCPC 2005»

Scalable Array SSA and Array Data Flow Analysis

13 years 10 months ago

Download www.csc.lsu.edu

Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more eﬃcient data ﬂo...

Silvius Rus, Guobin He, Lawrence Rauchwerger

claim paper

Read More »

click to vote

IEEEPACT
2006
IEEE

91views Distributed And Parallel Com...» more IEEEPACT 2006»

Region array SSA

13 years 10 months ago

Download www.cs.virginia.edu

Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables eﬃcient data ﬂow analysis of scalars an...

Silvius Rus, Guobin He, Christophe Alias, Lawrence...

claim paper

Read More »

click to vote

SAS
2009
Springer

281views Formal Methods» more SAS 2009»

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination

14 years 5 months ago

Download venom.cs.utsa.edu

The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...

David Niedzielski, Jeffery von Ronne, Andreas Gamp...

claim paper

Read More »

click to vote

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

13 years 8 months ago

Download www.cs.fsu.edu

Xin Yuan, Rajiv Gupta, Rami G. Melhem

claim paper

Read More »