Type inference for parameterized race-free Java

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

Volumn 2937, Issue , 2004, Pages 149-160

  Agarwal, Rahul ^a   Stoller, Scott D ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; LOCKS (FASTENERS); STATIC ANALYSIS;

JAVA PROGRAM; LINES OF CODE; LOCAL VARIABLES; PARAMETERIZED; PARAMETERIZED TYPES; TYPE ANNOTATIONS; TYPE INFERENCES; TYPE SYSTEMS;

MODEL CHECKING;

EID: 84944184394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24622-0_14     Document Type: Conference Paper

References (13)

1. Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, 2002.
2. Rahul Agarwal and Scott D. Stoller. Type inference for parameterized racefree Java. Technical Report DAR 03–10, Computer Science Department, SUNY at Stony Brook, October 2003.
3. Chandrasekar Boyapati and Martin C. Rinard. A parameterized type system for race-free Java programs. In Proc. 16th ACM Conference on Object- Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36(11) of SIGPLAN Notices, pages 56–69. ACM Press, 2001.
4. Patrick Cousot and Radhia Cousot. A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM Symposium on Principles of Programming Languages, pages 238–252, 1977.
5. Michael D. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington, Department of Computer Science and Engineering, 2000.
6. Cormac Flanagan and Stephen Freund. Type-based race detection for Java. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 219–232. ACM Press, 2000.
7. Cormac Flanagan and Stephen Freund. Detecting race conditions in large programs. In Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 90–96. ACM Press, June 2001.
8. Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-sensitive type qualifiers. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, 2002.
9. Dan Grossman. Type-safe multithreading in Cyclone. In Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI), pages 13–25. ACM Press, 2003.
10. Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 69–82. ACM Press, 2002.
11. Mayur Naik and Jens Palsberg. A type system equivalent to a model checker. Master’s thesis, Purdue University, 2003.
12. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas E. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, November 1997.
13. Christoph von Praun and Thomas R. Gross. Object race detection. In Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36(11) of SIGPLAN Notices, pages 70–82. ACM Press, October 2001.