Results 1 -
3 of
3
Escape analysis for Java
- OOPSLA
, 1999
"... 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 accessed only by a single thread duriing its lifetime, so that synchronization operations on that object ca ..."
Abstract
-
Cited by 300 (12 self)
- Add to MetaCart
be used effectively in different calling contexts. We present an interprocedural al-gorithm that uses the above property to efficiently compute the connection graph and identify the non-escaping objects for methods and threads. The experimental results, from a proto-type implementation of our framework
Region-based Selective Flow-Sensitive Pointer Analysis
"... Abstract. We introduce a new region-based SELective Flow-Sensitive (Selfs) approach to inter-procedural pointer analysis for C that operates on the regions partitioned from a program. Flow-sensitivity is maintained between the regions but not inside, making traditional flow-insensitive and flow-sens ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
by reusing existing pointer resolution al-gorithms. We also introduce a new unification-based approach for region partitioning to demonstrate the generality and flexibility of our Selfs framework, as evaluated using SPEC2000/2006 benchmarks in LLVM. 1
Array Optimizations for Parallel Implementations of High Productivity Languages
"... DARPA’s HPCS program has set a goal of bringing high pro-ductivity to high-performance computing. This has resulted in the creation of three new high-level languages, namely Chapel, Fortress and X10, that have successfully addressed one aspect of productivity: programmability. Unfortunately, the cur ..."
Abstract
- Add to MetaCart
, the current state of the art in implementation of these high-level language concepts result in significant performance overheads. Our research addresses this issue by concentrat-ing on the second aspect of productivity: performance. This paper presents an interprocedural rank analysis al-gorithm