A parameterized type system for race-free Java programs

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 36, Issue , 2001, Pages 56-69

  Boyapati, Chandrasekhar ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; DATABASE SYSTEMS; ERROR DETECTION; MULTIPROGRAMMING; OBJECT ORIENTED PROGRAMMING; RESPONSE TIME (COMPUTER SYSTEMS); SECURITY OF DATA; SEMANTICS; SOFTWARE ENGINEERING;

GENERIC CODE; MUTLITHREAD PROGRAMS; PARAMETERIZED TYPE SYSTEM; RACE FREE JAVA PROGRAMS;

JAVA PROGRAMMING LANGUAGE;

EID: 0035551906     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/504311.504287     Document Type: Conference Paper

References (37)

1. Adding type parameterization to the Java language
2. Static analyses for eliminating unnecessary synchronizations from Java programs
3. Guava: A dialect of Java without data races
4. An introduction to programming with threads
5. Escape analysis for object-oriented languages. Application to Java
6. Removing unnecessary synchronization in Java
7. Capabilities for sharing: A generalization of uniqueness and sharing
8. Making the future safe for the past: Adding genericity to the Java programming language
9. The programming language concurrent pascal
10. Compatible genericity with run-time types for the Java programming language
11. Escape analysis for Java
12. Simple ownership types for object containment
13. Ownership types for flexible alias protection
14. Subtypes vs. Where clauses: Constraining parametric polymorphism
15. Enforcing high-level protocols in low-level software
16. Extended static checking
17. Detecting access anomalies in programs with critical sections
18. Object types against races
19. Types for safe locking
20. Type-based race detection for Java
21. Classes and mixins
22. Linear logic
23. Detecting data races in cilk programs that use locks
24. Checking Java programs via guarded commands
25. Polymorphic effect systems
26. Towards alias-free pointers
27. Parameterized types for Java
28. Fixing the Java memory model
29. Analysis of multi-threaded programs
30. Effective synchronization removal for Java
31. Eraser: A dynamic data race detector for multi-threaded programs
32. Warlock: A static data race analysis tool
33. Compositional pointer and escape analysis for Java
34. The SPLASH-2 programs: Characterization and methodological considerations