Types for Atomicity

Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

Volumn , Issue , 2003, Pages 1-12

  Flanagan, Cormac ^a   Qadeer, Shaz ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

Languages; Reliability; Security; Verification

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FUNCTION EVALUATION; RELIABILITY; SECURITY OF DATA; SIGNAL ENCODING;

PARALLEL PROGRAMMING;

COMPUTER SOFTWARE;

EID: 0141762604     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

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.