Escape analysis for Java
暂无分享,去创建一个
Jong-Deok Choi | Samuel P. Midkiff | Mauricio J. Serrano | Vugranam C. Sreedhar | Manish Gupta | Manish Gupta | S. Midkiff | V. Sreedhar | M. Serrano | Jong-Deok Choi | Jong-Deok Choi | Manish Gupta
[1] James C. Corbett,et al. Constructing compact models of concurrent Java programs , 1998, ISSTA '98.
[2] Bruno Blanchet,et al. Escape analysis: correctness proof, implementation and experimental results , 1998, POPL '98.
[3] Benjamin Goldberg,et al. Escape analysis on lists , 1992, PLDI '92.
[4] Urs Hölzle,et al. Removing unnecessary synchronization in Java , 1999, OOPSLA '99.
[5] Alain Deutsch,et al. On the complexity of escape analysis , 1997, POPL '97.
[6] Wilson C. Hsieh,et al. The Need for Predictable Garbage Collection , 1999 .
[7] Jong-Deok Choi,et al. Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers , 1994, LCPC.
[8] Jong-Deok Choi,et al. Efficient and precise modeling of exceptions for the analysis of Java programs , 1999, ACM SIGSOFT Softw. Eng. Notes.
[9] Emin Gün Sirer,et al. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs , 1999, SAS.
[10] Zhiyuan Li,et al. On Reducing Data Synchronization in Multiprocessed Loops , 1987, IEEE Transactions on Computers.
[11] Jong-Deok Choi,et al. Interprocedural pointer alias analysis , 1999, TOPL.
[12] Julian Dolby. Automatic inline allocation of objects , 1997, PLDI '97.
[13] Jong-Deok Choi,et al. Efficient and precise modeling of exceptions for the analysis of Java programs , 1999, PASTE '99.
[14] John Hannan. A Type-based Analysis for Stack Allocation in Functional Languages , 1995, SAS.
[15] Martin C. Rinard,et al. Compositional pointer and escape analysis for Java programs , 1999, OOPSLA '99.
[16] Martin C. Rinard,et al. Synchronization transformations for parallel computing , 1999, POPL '97.
[17] Thomas P. Murtagh,et al. Lifetime analysis of dynamically allocated objects , 1988, POPL '88.
[18] David A. Padua,et al. Compiler Algorithms for Synchronization , 1987, IEEE Transactions on Computers.
[19] Mauricio J. Serrano,et al. Thin locks: featherweight synchronization for Java , 1998, PLDI '98.
[20] Bruno Blanchet,et al. Escape analysis for object-oriented languages: application to Java , 1999, OOPSLA '99.
[21] Bjarne Steensgaard. Stack Allocating Objects in Java , 1998 .
[22] Laurie J. Hendren,et al. Putting pointer analysis to work , 1998, POPL '98.
[23] Gary A. Kildall,et al. A unified approach to global program optimization , 1973, POPL.
[24] Guy L. Steele,et al. The Java Language Specification , 1996 .
[25] Lars Birkedal,et al. From region inference to von Neumann machines via region representation inference , 1996, POPL '96.