3,196 Hits in 8.8 sec

Alias Analysis in Java with Reference-Set Representation for High-Performance Computing

Jongwook Woo, Jean-Luc Gaudiot, Andrew L. Wendelborn
2004 International journal of parallel programming  
In high-performance computing, alias analysis is even more useful for instruction-level parallelism and distributed and cluster computing, because the possibility of aliasing adversely affects factors  ...  As one optimization technique used in the static analysis of compilers, alias analysis has been developed to detect aliased variables in a code and to be used in reordering instructions to enhance performance  ...  Reference-Set Representation An alias analysis algorithm computes alias sets in a piece of program.  ... 
doi:10.1023/b:ijpp.0000015564.82048.f3 fatcat:reumc2kab5e3dcj52xbkoaa7ca

Flow-sensitive alias analysis with referred-set representation for Java

Jehak Woo, Jongwook Woo, Jean-Luc Gaudiot
2000 Proceedings Fourth International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region  
For the efficiency, we define a referred-set representation of an alias that is proper for Java, while the conventional representations in C++ cause an inefficient analysis for Java.  ...  Finally, we propose our algorithm that uses an iterative looping method for an alias analysis with a structural traverse of a CFG to improve its efficiency. Alias relation representation in Java  ...  Section 2 presents the difference in naming scheme between C++ and Java, and proposes the referred-set representation for aliases in Java.  ... 
doi:10.1109/hpc.2000.846603 fatcat:6uhkoc4qsbgireo6i33a2tmdym

Automatic Loop Transformations and Parallelization for Java

P Artigas
2001 Parallel Processing Letters  
We achieve, with Java, between 80 and 100% of the performance of highly optimized Fortran code in a variety of benchmarks.  ...  We describe a new transformation called alias versioning that takes advantage of the simplicity of pointers in Java.  ...  Acknowledgments The technique of creating new symbols to provide more precise alias information was jointly developed with the TPO group of the IBM Toronto Lab.  ... 
doi:10.1016/s0129-6264(00)00016-0 fatcat:rvxbu4qu2jfizg6e6u2qpwuoga

Automatic loop transformations and parallelization for Java

Pedro V. Artigas, Manish Gupta, Samuel P. Midkiff, José E. Moreira
2000 Proceedings of the 14th international conference on Supercomputing - ICS '00  
We achieve, with Java, between 80 and 100% of the performance of highly optimized Fortran code in a variety of benchmarks.  ...  We describe a new transformation called alias versioning that takes advantage of the simplicity of pointers in Java.  ...  Acknowledgments The technique of creating new symbols to provide more precise alias information was jointly developed with the TPO group of the IBM Toronto Lab.  ... 
doi:10.1145/335231.335232 dblp:conf/ics/ArtigasGMM00 fatcat:pxsttcbmkrgnjgz7ijukipiks4

Java as a specification language for hardware-software systems

Helaihel, Olukotun
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97  
However, static control and dataflow analysis of Java programs is problematic because Java classes are dynamically linked.  ...  The output of our analysis is a control dataflow graph for the input specification.  ...  At a meet point, the alias set of some reference assigned in one or more of the meeting branches is the union of the alias sets for that reference from each of the meeting control flow edges.  ... 
doi:10.1109/iccad.1997.643613 dblp:conf/iccad/HelaihelO97 fatcat:z2r4ykqrlfeuho5ozvgdsmgcya

NINJA: Java for High Performance Numerical Computing

José E. Moreira, Samuel P. Midkiff, Manish Gupta, Peng Wu, George Almasi, Pedro Artigas
2002 Scientific Programming  
Our measurements with the NINJA prototype Java environment show that Java can be competitive in performance with highly optimized and tuned Fortran code.  ...  In the particularly performance-sensitive field of numerical computing, initial measurements indicated a hundred-fold performance disadvantage between Java and more established languages such as Fortran  ...  Nevertheless, our thesis is that there are no technical barriers to high performance computing in Java.  ... 
doi:10.1155/2002/314103 fatcat:ewpurji2jfh5ljjwalxqvq352m

Rethinking Soot for summary-based whole-program analysis

Dacong Yan, Guoqing Xu, Atanas Rountev
2012 Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis - SOAP '12  
It uses Soot, a widely-used program analysis framework for Java, as a vehicle to explore some of the important issues in providing analysis infrastructures with capabilities for summary-based analysis.  ...  In this paper, such an approach is referred to as a summary-based whole-program analysis.  ...  Acknowledgments We thank the SOAP reviewers for their valuable comments. This material is based upon work supported by the National Science Foundation under grants CCF-0546040 and CCF-1017204.  ... 
doi:10.1145/2259051.2259053 dblp:conf/pldi/YanXR12 fatcat:l3udydvkhncvjifecfggmvkqgu

Alias Analysis for Object-Oriented Programs [chapter]

Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
2013 Lecture Notes in Computer Science  
We also discuss how whole-program alias analysis has become less useful for modern Java programs, due to increasing use of reflection in libraries and frameworks.  ...  We present a high-level survey of state-of-the-art alias analyses for object-oriented programs, based on a years-long effort developing industrial-strength static analyses for Java.  ...  In this work, we give a high-level survey of the alias-analysis techniques that we have found most useful during a years-long effort developing industrialstrength analyses for Java programs.  ... 
doi:10.1007/978-3-642-36946-9_8 fatcat:f4v62o24r5dztec7h7exgfle2y

Demand-driven context-sensitive alias analysis for Java

Dacong Yan, Guoqing Xu, Atanas Rountev
2011 Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11  
This paper presents a novel context-sensitive, demand-driven alias analysis for Java that achieves efficiency by answering alias queries directly, instead of relying on an underlying points-to analysis  ...  In addition, the use of method summaries can lead to significant improvements in analysis performance.  ...  Guoqing Xu was supported in part by an IBM Ph.D. Fellowship Award. REFERENCES  ... 
doi:10.1145/2001420.2001440 dblp:conf/issta/YanXR11 fatcat:eckra33635hhbprcp4ao3icixe

Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++

Petru Florin Mihancea
2008 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
In this tool demo we introduce MEMBRAIN, a dataflow analysis infrastructure for reverse engineering.  ...  Many high-level analysis methods have been developed to support program comprehension, some of them based on dataflow analysis.  ...  First, it defines a common representation for programs written in Java and C++ 3 .  ... 
doi:10.1109/synasc.2008.7 dblp:conf/synasc/Mihancea08 fatcat:plb2yygbejeovdu62l6ieblzmq

Program Analysis Scenarios in Rascal [chapter]

Mark Hills, Paul Klint, Jurgen J. Vinju
2012 Lecture Notes in Computer Science  
We then focus on ongoing work on alias analysis and type inference for PHP, showing how Rascal is being used, and sketching a hypothetical solution in Maude.  ...  In this paper we focus on the use of Rascal for software analysis.  ...  ) the inferred type of a concatenation expression, the aliases created in a reference assignment, or the set of all alias pairs at a given control point.  ... 
doi:10.1007/978-3-642-34005-5_2 fatcat:4yef53ksinb7rgaw67i2osoixq

Partial redundancy elimination for access path expressions

Antony L. Hosking, Nathaniel Nystrom, David Whitlock, Quintin Cutts, Amer Diwan
2001 Software, Practice & Experience  
In this paper we evaluate an approach to eliminating common access expressions by combining partial redundancy elimination (PRE) [1] with type-based alias analysis (TBAA) [2] .  ...  We describe an approach to elimination of redundant access expressions that combines partial redundancy elimination (PRE) with type-based alias analysis (TBAA).  ...  Type-based alias analysis Alias analysis refines the set of possible variables to which an access path may refer.  ... 
doi:10.1002/spe.371 fatcat:f65cvjyebrhida7v6cim3ussgm

Andromeda: Accurate and Scalable Security Analysis of Web Applications [chapter]

Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
2013 Lecture Notes in Computer Science  
ANDROMEDA is currently in use in a commercial product. It supports applications written in Java, .NET and JavaScript.  ...  In this paper, we investigate a novel approach for enabling precise yet scalable static taint analysis.  ...  Conclusion We have presented ANDROMEDA, a security-analysis algorithm featuring local, demanddriven tracking of vulnerable information flows.  ... 
doi:10.1007/978-3-642-37057-1_15 fatcat:vzvyutcwwreaviyips3rd4zlsm

Improving Compilation of Java Scientific Applications

Zoran Budimlić, Mackale Joyner, Ken Kennedy
2007 The international journal of high performance computing applications  
Previous work in improving the performance of object-oriented, high-performance, scientific Java applications consisted of high level compiler optimization and analysis strategies, such as class specialization  ...  Java is a high productivity object-oriented programming language that is rapidly gaining popularity in high-performance application development.  ...  An object was aliased. Inlining objects with multiple references in Java can produce incorrect results. 3. An object that is an element of an array was aliased.  ... 
doi:10.1177/1094342007078437 fatcat:wsafjqoi5fbwrkzvwckx2nxbsm

Incremental Confined Types Analysis

Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh
2006 Electronical Notes in Theoretical Computer Science  
In this paper, we discuss an implementation of confined types based on Java 5 annotations.  ...  Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable  ...  For every changed class we compute the set of classes that have to be reanalyzed and then reevaluate the constraint against all classes in this set 8 .  ... 
doi:10.1016/j.entcs.2006.10.006 fatcat:ag3wbq36srdgzei5yqkovdmgi4
« Previous Showing results 1 — 15 out of 3,196 results