Types for atomicity

ACM SIGPLAN Notices

Volumn 38, Issue 3, 2003, Pages 1-12

  Flanagan, Cormac ^a   Qadeer, Shaz ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BLOCK CODES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; RELIABILITY;

CODE BLOCK ATOMICITY; MULTITHREADED PROGRAMS;

MULTIPROGRAMMING;

EID: 1442313498     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/640136.604176     Document Type: Article

References (23)

1. A. Aiken and D. Gay. Barrier inference. In Proceedings of the 25th Symposium on Principles of Programming Languages, pages 243-354, 1998.
2. R.-J. Back. A method for refining atomicity in parallel algorithms. In PARLE 89: Parallel Architectures and Languages Europe, Lecture Notes in Computer Science 366, pages 199-216. Springer-Verlag, 1989.
3. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 56-69, 2001.
4. D. Bruening. Systematic testing of multithreaded Java programs. Master's thesis, Massachusetts Institute of Technology, 1999.
5. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the Conference on Programming Language Design and Implementation, pages 258-269, 2002.
6. E. Cohen and L. Lamport. Reduction in TLA. In International Conference on Concurrency Theory, pages 317-331, 1998.
7. R. DeLine and M. Fähndrich. Enforcing high-level protocols in low-level software. In Proceedings of the Conference on Programming Language Design and Implementation, pages 59-69, 2001.
8. T. Doeppner, Jr. Parallel program correctness through refinement. In Proceedings of the 4th Symposium on Principles of Programming Languages, pages 155-169, 1977.
9. C. Flanagan and M. Abadi. Types for safe locking. In Proceedings of European Symposium on Programming, pages 91-108, 1999.
10. C. Flanagan and S. Freund. Type-based race detection for Java. In Proceedings of the Conference on Programming Language Design and Implementation, pages 219-232, 2000.
11. C. Flanagan, K. 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, pages 234-245, 2002.
12. C. Flanagan and S. Qadeer. Types for atomic interfaces. Submitted for publication, 2002.
13. S. Freund and S. Qadeer. Checking concise specifications for multithreaded software. Submitted for publication, 2002.
14. D. Grossman. Type-safe multithreading in Cyclone. In Proceedings of the Workshop on Types in Language Design and Implementation, 2003.
15. C. Hoare. Monitors: an operating systems structuring concept. Communications of the ACM, 17(10):549-557, 1974.
16. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Technical Conference Proceedings, pages 275-288, 2002.
17. L. Lamport and F. Schneider. Pretending atomicity. Research Report 44, DEC Systems Research Center, 130 Lytton Ave, Palo Alto, CA 94301, USA, 1989.
18. R. Lipton. Reduction: A method of proving properties of parallel programs. In Communications of the ACM, volume 18:12, pages 717-721, 1975.
19. J. Misra. A Discipline of Multiprogramming: Programming Theory for Distributed Applications. Springer-Verlag, 2001.
20. S. Savage, M. Burrows, C. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
21. N. Sterling. WARLOCK - a static data race analysis tool. In USENIX Technical Conference Proceedings, pages 97-106, Winter 1993.
22. S. Stoller. Model-checking multi-threaded distributed Java programs. In Proceedings of the 7th International SPIN Workshop on Model Checking and Software Verification, Lecture Notes in Computer Science 1885, pages 224-244. Springer-Verlag, 2000.
23. C. von Praun and T. Gross. Object-race detection. In Proceedings of the 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 78-82, 2001.