Type inference against races

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

Volumn 3148, Issue , 2004, Pages 116-132

  Flanagan, Cormac ^a   Freund, Stephen N ^b  

^a University of California Santa Cruz   (United States)

^b WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; HAZARDS AND RACE CONDITIONS; JAVA PROGRAMMING LANGUAGE; STATIC ANALYSIS;

COMPLEXITY RESULTS; CONCURRENT JAVA PROGRAMS; DEPENDENT TYPES; NEW APPROACHES; PROPOSITIONAL SATISFIABILITY; TYPE ANNOTATIONS; TYPE INFERENCE ALGORITHM; TYPE INFERENCES;

INFERENCE ENGINES;

EID: 35048841649     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27864-1_11     Document Type: Article

References (30)

1. R. Agarwal and S. D. Stoller. Type inference for parameterized race-free Java. In Conference on Verification, Model Checking, and Abstract Interpretation, pages 149-160. 2004.
2. A. Aiken. Introduction to set constraint-based program analysis. Science of Computer Programming, 35(1999):79-111, 1999.
3. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 311-330, 2002.
4. F. A. Aloul, A. Ramani, I. L. Markov, and K. A. Sakallah. PBS: A backtrack-search pseudo-boolean solver and optimizer. In Symposium on the Theory and Applications of Satisfiability Testing, pages 346-353, 2002.
5. D. F. Bacon and P. F. Sweeney. Fast static analysis of C++ virtual function calls. In ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 324-341, 1996.
6. J. Bogda and U. Hölzle. Removing unnecessary synchronization in Java. In ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 35-46, 1999.
7. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 56-69, 2001.
8. L. Cardelli. Typechecking dependent types and subtypes. In Workshop on Foundations of Logic and Functional Programming, pages 45-57, 1988.
9. M. B. Dwyer, J. Hatcliff, V. R. Prasad, and Robby. Exploiting Object Escape and Locking Information in Partial Order Reduction for Concurrent Object-Oriented Programs. Formal Methods in System Design, 2003.
10. C. Flanagan and S. N. Freund. Type-based race detection for Java. In ACM Conference on Programming Language Design and Implementation, pages 219-232, 2000.
11. C. Flanagan and S. N. Freund. Detecting Race Conditions in Large Programs. In Workshop on Program Analysis for Software Tools and Engineering, pages 90-96, 2001.
12. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In ACM Symposium on the Principles of Programming Languages, pages 256-267, 2004.
13. C. Flanagan and S. N. Freund. Type inference against races. Technical Note 04-06, Williams College, 2004.
14. C. Flanagan and S. Qadeer. Transactions for Software Model Checking. In Workshop on Software Model Checking, pages 338-349, 2003.
15. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In ACM Conference on Programming Language Design and Implementation, pages 338-349, 2003.
16. C. Flanagan and S. Qadeer. Types for atomicity. In ACM Workshop on Types in Language Design and Implementation, pages 1-12, 2003.
17. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In ACM Symposium on the Principles of Programming Languages, pages 171-183, 1998.
18. D. Grossman. Type-safe multithreading in Cyclone. In ACM Workshop on Types in Language Design and Implementation, pages 13-25, 2003.
19. C. Haack and J. B. Wells. Type error slicing in implicitly typed higher-order languages. In European Symposium on Programming, pages 284-301, 2003.
20. Java Grande Forum. Java Grande benchmark suite. Available from http://www.javagreinde.org/, 2003.
21. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Design Automation Conference, pages 530-535, 2001.
22. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
23. Standard Performance Evaluation Corporation. SPEC benchmarks. Available from http://www.spec.org/, 2003.
24. S. D. Stoller. Model-Checking Multi-Threaded Distributed Java Programs. International Journal on Software Tools for Technology Transfer, 4(1):71-91, 2002.
25. S. D. Stoller and E. Cohen. Optimistic Synchronization-Based State-Space Reduction. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 489-504, 2003.
26. J.-P. Talpin and P. Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3):245-271, 1992.
27. M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value lambdacalculus using a stack of regions. In ACM Symposium on the Principles of Programming Languages, pages 188-201, 1994.
28. C. von Praun and T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In ACM Conference on Programming Language Design and Implementation, pages 115-128, 2003.
29. M. Wand. Finding the source of type errors. In ACM Symposium on the Principles of Programming Languages, pages 38-43, 1986.
30. J. Yang, G. Michaelson, P. Trinder, and J. B. Wells. Improved type error reporting. In International Workshop on Implementation of Functional Languages, pages 71-86, 2000.