Concurrency analysis for java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1824 LNCS, Issue , 2000, Pages 413-432

  Ungureanu, Cristian ^a   Jagannathan, Suresh ^a  

^a NEC LABORATORIES AMERICA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; SEMANTICS; STATIC ANALYSIS;

ANALYSIS FRAMEWORKS; CONCURRENCY ANALYSIS; DISTRIBUTED ENVIRONMENTS; INITIAL APPROXIMATION; INTEGRAL FEATURES; OPTIMIZING COMPILERS; RECENT RESEARCHES; SEQUENTIAL ANALYSIS; COMPUTATION COSTS;

CONCURRENCY CONTROL;

EID: 31744437910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45099-3_22     Document Type: Conference Paper

References (24)

1. Jonathan Aldrich, Craig Chambers, Emin Sirer, and Susan Eggers. Static analysis for eliminating unnecessary synchronization in Java programs. In International Static Analysis S ymposium, pages 19-38, September 1999
2. Ole Agesen. The cartesian product algorithm: simple and precise type inference of parametric polymorphism. ECOOP'95 Conference Proceedings, pages 2-26, 1995
3. Jeff Bogda and Urs Holzle. Removing unnecessary synchronization in Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 35-47, November 1999
4. David Bacon, Ravi Konru, Chet Murthy, and Mauricio Serrano. Thin locks: featherweight synchronization for Java. In ACM Conference on Programming Language Design and Implementation, pages 258-268, June 1998
5. Bruno Blanchet. Escape analysis for object-oriented languages: application to Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 20-35, November 1999
6. Jong-Deok Choi, Manis h Gupta, Mauricio Serrano, Vugranam Sreedhar, and Sam Midkiff. Escape analysis for Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1-19, November 1999.
7. Jyh-Herng Chow, and Williams Ludwell Harrison III. Compile time analysis of parallel programs that share memory, 19th ACM Symposium on Principles of Programming Languages, January, 1992.
8. David. R. Chase, M. Wegman, and F.K. Zadeck. Analysis of pointers and structures. In ACM Conference on Programming Language Design and Implementation, pages 296-310, June 1990
9. Alain Deutsch. On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. In 17th ACM Symposium on Principles of Programming Languages, pages 157-168, January 1990
10. Greg DeFouw, David Grove, and Craig Chambers. Fast interprocedural class analysis. In 25th ACM Symposium on Principles of Programming Languages, pages 222-236, January 1998
11. Nevin Heintze. Set-based analysis of ML programs. In ACM International Conference on Lisp and Functional Programming, pages 306-317, June 1994
12. ACM Workshop on Java for High-Performance Network Computing, 1998. Java Grande 99. ACM, June 1999
13. Neil Jones and Stephen Mu chnick. Flow analysis and optimization of Lisplike structures. In 6th ACM Symposium on Principles of Programming Languages, pages 244-256, January 1979
14. Suresh Jagannathan and S.T. Weeks. Analyzing s tores and references in a parallel symbolic language. In ACM International Conference on Lisp and Functional Programming, pages 294-305, 1994
15. Suresh Jagannathan and Stephen T. Weeks. A unified treatment of flo w analysis in higher-order languages. In 22nd ACM Symposium on Principles of Programming Languages, pages 393-407, January 1995
16. N. Mercouroff. An algorithm for analyzing communicating processes. In Mathematical Foundations of Programming Semantics. Springer-Verlag, 1991
17. Robin Milner, Mads Tofte, Robert Harper, and David B. Macqueen. The Definition of Standard ML (Revised). MIT Press, 1997
18. John Plevyak and Andrew A. Chien. Precise concrete type inference for object-oriented languages. Conference on Object-Oriented Programming Systems, Language, and Applications, pages 324-340, October 1994
19. Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 146-161, October 1991
20. Cristina Ruggieri and Thomas P. Murtagh. Lifetime analysis of dynamically allocated objects. In ACM Symposium on Principles of Programming Languages, pages 285-293, January 1988
21. Manuel Serrano and Marc Feeley. Storage use analysis and its applications. In International Conference on Functional Programming, May 1996
22. Olin Shivers. Control-Flow Analysis of Higher-Order Languages or Taming Lambda. PhD thesis, School of Computer Science, Carnegie-Mellon University, 1991
23. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1-50, 1996
24. John Whaley and Martin Rinard. Compositional pointer and escape analysis for Java programs. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 187-207, November 1999.