Type-Safe Multithreading in Cyclone

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

Volumn , Issue , 2003, Pages 13-25

  Grossman, Dan ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

Cyclone; Data races; Types

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL MODELS; SECURITY OF DATA; SEMANTICS; SIGNAL ENCODING; STORAGE ALLOCATION (COMPUTER);

POLYMORPHISM;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0141762597     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/604174.604177     Document Type: Conference Paper

References (29)

1. J. Aldrich, C. Chambers, E. G. Sirer, and S. Eggers. Eliminating unnecessary synchronization from Java programs. In 6th International Static Analysis Symposium, volume 1694 of Lecture Notes in Computer Science, pages 19-38, Venice, Italy, Sept. 1999. Springer-Verlag.
2. D. Bacon, R. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 382-400, Minneapolis, MN, Oct. 2000.
3. B. Blanchet. Escape analysis for object oriented languages. Application to Java. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 20-34, Denver, CO, Nov. 1999.
4. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 211-230, Seattle, WA, Nov. 2002.
5. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 56-69, Tampa Bay, FL, Oct. 2001.
6. D. Butenhof. Programming with POSIX® Threads. Addison-Wesley, 1997.
7. G.-I. Cheng, M. Feng, C. Leiserson, K. Randall, and A. Stark. Detecting data races in Cilk programs that use locks. In 10th ACM Symposium on Parallel Algorithms and Architectures, pages 298-309, Puerto Vallarta, Mexico, June 1998.
8. J.-D. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 1-19, Denver, CO, Nov. 1999.
9. 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 ACM Conference on Programming Language Design and Implementation, pages 258-269, Berlin, Germany, June 2002.
10. Cyclone User's Manual, 2002. http://www.cs.cornell.edu/projects/cyclone/.
11. R. DeLine and M. Fähndrich. Enforcing high-level protocols in low-level software. In ACM Conference on Programming Language Design and Implementation, pages 59-69, Snowbird, UT, June 2001.
12. M. Fähndrich and R. DeLine. Adoption and focus: Practical linear types for imperative programming. In ACM Conference on Programming Language Design and Implementation, pages 13-24, Berlin, Germany, June 2002.
13. C. Flanagan and M. Abadi. Object types against races. In CONCUR'99 - Concurrency Theory, volume 1664 of Lecture Notes in Computer Science, pages 288-303, Eindhoven, The Netherlands, Aug. 1999. Springer-Verlag.
14. C. Flanagan and M. Abadi. Types for safe locking. In 8th European Symposium on Programming, volume 1576 of Lecture Notes in Computer Science, pages 91-108, Amsterdam, The Netherlands, Mar. 1999. Springer-Verlag.
15. C. Flanagan and S. Freund. Type-based race detection for Java. In ACM Conference on Programming Language Design and Implementation, pages 219-232, Vancouver, Canada, June 2000.
16. C. Flanagan, S. Freund, and S. Qadeer. Thread-modular verification for shared-memory programs. In 11th European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pages 262-277, Grenoble, France, Apr. 2002. Springer-Verlag.
17. C. Flanagan, K. R. Leino, M. Lillibridge, G. Nelson, J. Saxe, and R. Stata. Extended static checking for Java. In ACM Conference on Programming Language Design and Implementation, pages 234-245, Berlin, Germany, June 2002.
18. J. Foster, M. Fähndrich, and A. Aiken, A theory of type qualifiers. In ACM Conference on Programming Language Design and Implementation, pages 192-203, Atlanta, GA, May 1999.
19. D. Grossman. Existential types for imperative languages. In 11th European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pages 21-35, Grenoble, France, Apr. 2002. Springer-Verlag.
20. D. Grossman. Safe Programming at the C Level of Abstraction. PhD thesis, Cornell University, 2003. Forthcoming.
21. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In ACM Conference on Programming Language Design and Implementation, pages 282-293, Berlin, Germany, June 2002.
22. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, pages 275-288, Monterey, CA, June 2002.
23. J. Lucassen and D. Gifford. Polymorphic effect systems. In 15th ACM Symposium on Principles of Programming Languages, pages 47-57, San Diego, CA, Jan. 1988.
24. G. Necula, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy code. In 29th ACM Symposium on Principles of Programming Languages, pages 128-139, Portland, OR, Jan. 2002.
25. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, Nov. 1997.
26. N. Sterling. A static date race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.
27. C. von Praun and T. Gross. Object race detection. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 70-82, Tampa Bay, FL, Oct. 2001.
28. D. Walker, K. Crary, and G. Morrisett. Typed memory management in a calculus of capabilities. ACM Transactions on Programming Languages and Systems, 24(4):701-771, July 2000.
29. A. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.