Immutability specification and its applications

Concurrency and Computation: Practice and Experience

Volumn 17, Issue 5-6 SPEC. ISS., 2005, Pages 639-662

  Pechtchanski, Igor ^a   Sarkar, Vivek ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Annotations; Immutability; Optimization

Indexed keywords

BENCHMARKING; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; PROGRAM COMPILERS; PROGRAM DOCUMENTATION;

ANNOTATIONS; CODE OPTIMIZATION; IMMUTABILITY; PROGRAMMING ERRORS;

COMPUTER PROGRAMMING;

EID: 17444405567     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.853     Document Type: Conference Paper

References (29)

1. Pechtchanski I. A framework for optimistic program optimization. PhD Thesis, New York University, September 2003.
2. Pugh W. Fixing the Java memory model. Proceedings of the ACM 1999 Java Grande Conference. ACM Press: New York, 1999; 89-98.
3. Chambers C, Pechtchanski I, Sarkar V, Serrano MJ, Srinivasan H. Dependence analysis for Java. Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing. Springer: Berlin, 1999.
4. Porat S, Biberstein M, Koved L, Mendelson B. Automatic detection of immutable fields in Java. Proceedings of CASCON 2000. IBM Press: Armonk, NY, 2000.
5. Pechtchanski I, Sarkar V. Dynamic optimistic whole program analysis: A framework and an application. Proceedings of the ACM Conference on Object-Orienteg Programming Systems, Languages, and Applications. ACM Press: New York, 2001.
6. Lindholm T, Yellin F. The Java Virtual Machine Specification (The Java Series). Addison-Wesley: Reading, MA, 1996.
7. Jones R, Lins R. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley: Chichester, 1996.
8. Alpern B, Wegman MN, Zadeck FK. Detecting equality of variables in programs. Proceedings of the 15th Annual ACM Symposium on the Principles of Programming Languages, San Diego, CA, January 1988. ACM Press: New York, 1988; 1-11.
9. Muchnick SS. Advanced Compiler Design and Implementation. Morgan Kaufmann: San Francisco, CA, 1997.
10. Rosen BK, Wegman MN, Zadeck Fk. Global value numbers and redundant computations. Proceedings of the 15th Annual ACM Symposium on the Principles of Programming Languages, San Diego, CA, January 1988. ACM Press: New York, 1988; 12-27.
11. Fink S, Knobe K, Sarkar V. Unified analysis of array and object references in strongly typed languages. Proceedings of the 7th International Static Analysis Symposium. Springer: Berlin, 2000.
12. Bodik R, Gupta R, Sarkar V. ABCD: Eliminating array bounds checks on demand. Proceedings of the SIGPLAN 2000 Conference on Programming Language Design and Implementation. ACM Press: New York, 2000.
13. Wolfe MJ. Optimizing Supercompilers for Supercomputers (Research Monographs in Parallel and Distributed Computing). Pitman/MIT Press: London/Cambridge, MA, 1989.
14. Dolby J, Chien A. An automatic object inlining optimization and its evaluation. Proceedings of the SIGPLAN '00 Conference on Programming Language Design and Implementation. ACM Press: New York, 2000.
15. Chilimbi TM, Hill MD, Larus JR. Cache-conscious structure layout. Proceedings of the SIGPLAN '99 Conference on Programming Language Design and Implementation. ACM Press: New York, 1999.
16. IBM. The Jikes Research Virtual Machine, http://ibm.com/developerworks/oss/jikesrvm/ [2001].
17. Alpern B et al. The Jalapeño virtual machine. IBM Systems Journal 2000; 39(1):211-238.
18. Gosling J, Joy B, Steele G. The Java Language Specification. Addison-Wesley: Reading, MA, 1996.
19. Ellis MA, Stroustrup B. The Annotated C++ Reference Manual. Addison-Wesley: Reading, MA, 1990.
20. Gosling J. The evolution of numerical computing in Java. http://java.sun.com/people/jag/FP.html [2003].
21. Stoutamire D, Omohundro S. The Sather 1.1 specification. Technical Report TR-96-012, International Computer Science Institute, University of California at Berkeley, Berkeley, CA, 1996.
22. Kernigham BW, Ritchie DM. The C Programming Language (2nd edn). Prentice-Hall: Englewood Cliffs, NJ, 1988.
23. Grant B, Philipose M, Mock M, Chambers C, Eggers SJ. An evaluation of staged run-time optimizations in DyC. Proceedings of the SIGPLAN '99 Conference on Programming Language Design and Implementation. ACM Press: New York, 1999; 293-304.
24. Bloch J. A metadata facility for the Java™ Programming Language. http://www.jcp.org/en/jsr/detail?id=175 [2002].
25. Ghiya R, Hendren LJ. Putting pointer analysis to work. Proceedings of the 25th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages. ACM Press: New York, 1998; 121-133.
26. Ghiya R, Lavery D, Sehr D. On the importance of points-to analysis and other memory disambiguation methods for C programs. Proceedings of the SIGPLAN '01 Conference on Programming Language Design and Implementation, 2001; 47-58.
27. Pominville P, Qian F, Vallée-Rai R, Hendren L, Verbrugge C. A framework for optimizing Java using attributes. Proceedings of CASCON 2000. IBM Press: Armonk, NY, 2000; 152-168.
28. Azevedo A, Nicolau A, Hummel J. Java Annotation-aware Just In Time (AJIT) compilation system. Proceedings of the ACM 1999 Java Grande Conference. ACM Press: New York, 1999.
29. Jones J, Kamin S. Annotating Java class files with virtual registers for performance. Concurrency: Practice and Experience 2000; 12(6):389-406.