Thread-sensitive points-to analysis for multithreaded Java programs (2004)


Download Links

by Byeong-mo Chang , Jong-deok Choi
Venue:In ISCIS’04: Proceedings of the 19th International Symposium on Computer and Information Sciences, volume 3280 of LNCS: Lecture Notes in Computer Science
Citations:1 - 0 self

Documents Related by Co-Citation

1 Information flow in a Java intermediate language – A Ahmedani - 2006
1 A practical MHP information computation for concurrent Java programs – L Li - 2004
5 Optimistic Thread Concurrency: Breaking the Scale Barrier. Azul Systems Whitepaper, http://www.azulsystems. com/products/whitepapers.htm – B Goetz - 2006
2 Performance Evaluation Corporation. SPEC JVM Client98 benchmark suite – Standard - 1998
15 Lock Inference for Atomic Sections – P Pratikakis, J S Foster, M Hicks - 2006
1 Optimized lock assignment and allocation for productivity: A method for exploiting concurrency among critical sections – Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao - 2006
4 A new framework for analysis and optimization of shared memory parallel programs – V C Sreedhar, Y Zhang, G R Gao - 2005
22 Transparently reconciling transactions with locking for Java synchronization – Adam Welc, Antony L. Hosking, Suresh Jagannathan - 2006
19 Comprehensive Synchronization Elimination for Java – Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
40 and escape analysis for multithreaded programs – Pointer - 2001
54 Pointer and Escape Analysis for Multithreaded Programs – Alexandru Salcianu, Martin Rinard - 2001
31 Compiler techniques for high performance sequentially consistent java programs – Z SURA, X FANG, C-L WONG, S P MIDKIFF, J LEE, D PADUA - 2005
6 Interprocedural slicing of multithreaded programs with applications to java – M G Nanda, S Ramesh
12 Automatic synchronization correction – C Flanagan, S N Freund - 2005
22 Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing – Kenneth Russell, David Detlefs - 2006
6 Optimized Lock Assignment and Allocation: A Method for Exploiting Concurrency among Critical Sections. CAPSL Technical Memo Revised 65 – Y ZHANG, V C SREEDHAR, W ZHU, V SARKAR, G R GAO - 2007
84 Speculative Synchronization: Applying Thread-Level Speculation to Explicitly Parallel Applications – Jose F. Martinez, Josep Torrellas - 2002
116 Thin Locks: Featherweight Synchronization for Java – David Bacon, Ravi Konuru, Chet Murthy, Mauricio Serrano - 1998