A time-aware type system for data-race protection and guaranteed initialization

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

Volumn , Issue , 2010, Pages 634-651

  Matsakis, Nicholas D ^a   Gross, Thomas R ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Design; Theory; Verification

Indexed keywords

CONCRETE APPLICATIONS; THEORY; TYPE SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

OBJECT ORIENTED PROGRAMMING;

EID: 78650099212     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1869459.1869511     Document Type: Conference Paper

References (31)

1. http://intervals.inf.ethz.ch.
2. M. Abadi, C. Flanagan, and S. N. Freund. Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst., 28(2), 2006.
3. M. D. Allen, S. Sridharan, and G. S. Sohi. Serialization sets: a dynamic dependence-based parallel execution model. In PPoPP. ACM, 2009. ISBN 978-1-60558-397-6.
4. Z. Anderson, D. Gay, R. Ennals, and E. Brewer. SharC: checking data sharing strategies for multithreaded C. In PLDI. ACM, 2008.
5. N. E. Beckman, K. Bierhoff, and J. Aldrich. Verifying correct usage of atomic blocks and typestate. SIGPLAN Not., 43(10), 2008.
6. R. L. Bocchino, Jr., V. S. Adve, D. Dig, S. V. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian. A type and effect system for deterministic parallel java. In OOPSLA. ACM, 2009.
7. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA. ACM, 2002. ISBN 1-58113-471-1.
8. J. Boyland. Checking Interference with Fractional Permissions. In R. Cousot, editor, Static Analysis: 10th International Symposium, volume 2694 of LNCS. Springer, 2003.
9. L. Ceze, C. von Praun, C. Caşcaval, P. Montesinos, and J. Torrellas. Concurrency control with data coloring. In MSPC. ACM, 2008. ISBN 978-1-60558-049-4.
10. J. Dean and S. Ghemawat. MapReduce: simplified data processing on large clusters. In OSDI. USENIX Association, 2004.
11. D. Engler and K. Ashcraft. Racerx: effective, static detection of race conditions and deadlocks. SIGOPS Oper. Syst. Rev., 37(5):237-252, 2003. ISSN 0163-5980.
12. M. Fähndrich and S. Xia. Establishing object invariants with delayed types. In OOPSLA. ACM, 2007.
13. C. Flanagan, S. N. Freund, M. Lifshin, and S. Qadeer. Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst., 30(4), 2008. ISSN 0164-0925.
14. A. Greenhouse and W. L. Scherlis. Assuring and evolving concurrent programs: annotations and policy. In ICSE. ACM, 2002.
15. D. Grossman. Type-safe Multithreading in Cyclone. In TLDI. ACM, 2003.
16. R. H. Halstead, Jr. MULTILISP: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst., 7 (4), 1985. ISSN 0164-0925.
17. B. Jacobs, F. Piessens, K. R. M. Leino, and W. Schulte. Safe Concurrency for Aggregate Objects with Invariants. In SEFM. IEEE Computer Society, 2005.
18. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. In POPL. ACM, 1988.
19. O. L. Madsen and B. Møller-Pedersen. Virtual classes: a powerful mechanism in object-oriented programming. In OOP-SLA. ACM, 1989.
20. N. D. Matsakis and T. R. Gross. Thread Safety through Partitions and Effect Agreements. In LCPC, 2008.
21. N. D. Matsakis and T. R. Gross. Programming with Intervals. In LCPC, 2009.
22. N. D. Matsakis and T. R. Gross. Handling Errors in Parallel Programs Based on Happens Before Relations. In HIPS, 2010.
23. N. D. Matsakis and T. R. Gross. Reflective Parallel Programming. In HotPar, 2010.
24. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for java. SIGPLAN Not., 41(6):308-319, 2006. ISSN 0362-1340.
25. I. Neamtiu, M. Hicks, J. S. Foster, and P. Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. SIGPLAN Not., 43(1), 2008.
26. N. Nystrom, V. Saraswat, J. Palsberg, and C. Grothoff. Constrained types for object-oriented languages. In OOPSLA. ACM, 2008.
27. M. Odersky, V. Cremet, C. Röckl, and M. Zenger. A nominal theory of objects with dependent types. In Proc. FOOL 10, Jan. 2003.
28. M. Odersky, L. Spoon, and B. Venners. Programming in Scala: A Comprehensive Step-by-step Guide. Artima Incorporation, USA, 2008.
29. M. Rinard. The Design, Implementation and Evaluation of Jade, a Portable, Implicitly Parallel Programming Language. PhD thesis, Dept. of CS, Stanford University, 1994.
30. T. Terauchi. Checking race freedom via linear programming. In PLDI. ACM, 2008.
31. M. Vaziri, F. Tip, and J. Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL. ACM, 2006. ISBN 1-59593-027-2.