DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/10054/1588

Title: Pointer analysis of multithreaded Java programs
Authors: NANDA, MANGALA GOWRI
RAMESH, S
Keywords: algorithms
java programming language
problem solving
context free languages
Issue Date: 2003
Publisher: Association for Computing Machinery
Citation: Proceedings of the ACM Symposium on Applied Computing, Melbourne, Florida, USA, 9-12 March 2003, 1068-1075
Abstract: This paper presents a context-sensitive and path-sensitive, intra-thread and inter-thread solution to combined pointer analysis, escape analysis and data dependence analysis of multithreaded Java programs which uses a sparse representation. We build and maintain a complete Static Single Assignment (SSA) form even for fields variables. We show how to compute inter-thread dependencies for multithreaded programs with structured fork-join constructs, open-ended threads, recursively generated threads, monitors, and wait-notify synchronization. We have implemented our algorithm in a slicer for Java programs. Our experimental results show that a sparse representation improves the analysis time and strong updates on field variables improves the precision.
URI: 10.1145/952532.952741
http://hdl.handle.net/10054/1588
http://dspace.library.iitb.ac.in/xmlui/handle/10054/1588
ISBN: 1-58113-624-2
Appears in Collections:Proceedings papers

Files in This Item:

File Description SizeFormat
4588774321.pdf731.99 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback