Static detection of atomicity violations in object-oriented programs

Journal of Object Technology

Volumn 3, Issue 6, 2004, Pages 103-122

  Von Praun, Christoph ^a   Gross, Thomas ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DATA ACQUISITION; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; SYNCHRONIZATION;

ATOMICITY; JAVA LIBRARY; PROGRAM ANNOTATIONS; SEQUENTIAL PROGRAMMING;

OBJECT ORIENTED PROGRAMMING;

EID: 4644274963     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2004.3.6.a5     Document Type: Conference Paper

References (16)

1. C. Artho, A. Biere, and K. Havelund. High-level data races. In Proceedings of Workshop Verification and Validation of Enterprise Information Systems (VVEIS'03), Apr. 2003.
2. M. Burrows and K. R. M. Leino. Finding stale value errors in concurrent programs. Research Report 2002-004, Compaq SRC, 2002.
3. C. Flanagan, R. Leino, M. Lillibridge, G. Nelson, J. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI'02), pages 234-245, June 2002.
4. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI'03), pages 338-349, June 2003.
5. C. Flanagan and S. Qadeer. Types for atomicity. In Proceedings of the International Workshop on Types in Language Design and Implementation (TLDI'03), pages 1-12, Jan. 2003.
6. GCJ: The GNU Compiler for the Java Programming Language. http://gcc.gnu.org/java.
7. Java Grande Forum multi-threaded benchmark suite, http://www.epcc.ed.ac. uk/javagrande/.
8. R. Lipton. A method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, Dec. 1975.
9. E. Ruf. Effective synchronization removal for Java. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI'00), pages 208-218, June 2000.
10. SPEC JBB2000 Java Business Benchmark. http://www.specbench.org/osg/ jbb2000.
11. SPEC JVM98 Benchmarks, http://www.spec.org/osg/jvm98.
12. E. Stolte, C. von Praun, G. Alonso, and T. Gross. Scientific data repositories designing for a moving target. In Proceedings on the International Conference on Management of Data and Symposium on Principles of Database Systems (SIGMOD/PODS'03), pages 349-360, June 2003.
13. C. von Praun and T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI'03), pages 115-129, June 2003.
14. L. Wang and S. Stoller. Run-time analysis for atomicity. In Workshop on Runtime Verification (RV'03), July 2003.
15. J. Whaley and M. Lam. An efficient inclusion-based points-to analysis for strictly-typed languages. In Proceedings of the Static Analysis Symposium (SAS'02), Sept. 2002.
16. World Wide Web Consortium. Jigsaw: Open Source web server, http://www.w3.org/Jigsaw.