Dynamically checking ownership policies in concurrent c/c++ programs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2010, Pages 457-470

  Martin, Jean Phillipe ^a   Hicks, Michael ^b   Costa, Manuel ^a   Akritidis, Periklis ^c   Castro, Miguel ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF MARYLAND   (United States)

^c UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Concurrency; Debugging; Dynamic analysis; Security; Testing; Tools

Indexed keywords

BENCHMARK PROGRAMS; CONCURRENT PROGRAMMING; DEBUGGING; MEMORY ERROR; MULTI-THREADED PROGRAMS; RUNTIMES; SECURITY TESTING;

CONCURRENCY CONTROL; DYNAMIC ANALYSIS; ERRORS; LINGUISTICS; PROGRAM COMPILERS; PROGRAM DEBUGGING; SYNCHRONIZATION;

COMPUTER SOFTWARE;

EID: 77950911894     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1706299.1706351     Document Type: Conference Paper

References (22)

1. P. Akritidis, C. Cadar, C. Raiciu, M. Costa, and M. Castro. Preventing memory error exploits with WIT. In IEEE Symposium on Security and Privacy, May 2008.
2. Z. Anderson, D. Gay, R. Ennals, and E. Brewer. SharC: Checking data sharing strategies for multithreaded C. In PLDI, 2008.
3. Z. Anderson, D. Gay, and M. Naik. Lightweight annotations for controlling sharing in concurrent data structures. In PLDI, 2009.
4. C. Cao Minh, J. Chung, C. Kozyrakis, and K. Olukotun. Stamp: Stanford transactional applications for multi-processing. In IISWC, 2008.
5. M. Castro, M. Costa, J. Martin, M. Peinado, P. Akritidis, A. Donnelly, P. Barham, and R. Black. Fast byte-granularity software fault isolation. In SOSP, 2009.
6. Q. Chen, L. Wang, Z. Yang, and S. D. Stoller. HAVE: Detecting atomicity violations via integrated dynamic and static analysis. In FASE, 2009.
7. J. Condit, M. Harren, Z. Anderson, D. Gay, and G. Necula. Dependent types for low-level programming. In ESOP, 2007.
8. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: a race and transaction-aware Java runtime. In PLDI, 2007.
9. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program., 71(2):89-109, 2008.
10. C. Flanagan and S. N. Freund. FastTrack: efficient and precise dynamic race detection. In PLDI, 2009.
11. C. Flanagan, S. N. Freund, and J. Yi. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In PLDI, 2008.
12. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In PLDI, 2003.
13. K. Glerum, K. Kinshumann, S. Greenberg, G. Aul, V. Orgovan, G. Nichols, D. Grant, G. Loihle, and G. Hunt. Debugging in the (very) large: Ten years of implementation and experience. In SOSP'09, 2009.
14. C. Hammer, J. Dolby, M. Vaziri, and F. Tip. Dynamic detection of atomic-set-serializability violations. In ICSE, 2008.
15. P. Joshi, M. Naik, C.-S. Park, and K. Sen. CalFuzzer: An extensible active testing framework for concurrent programs. In CAV, 2009.
16. R. J. Lipton. Reduction: a method of proving properties of parallel programs. Commun. ACM, 18(12):717-721, 1975.
17. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In OSDI, 2008.
18. Phoenix. http://connect.microsoft.com/phoenix.
19. P. Pratikakis, J. S. Foster, and M. Hicks. Context-sensitive correlation analysis for detecting races. In PLDI, 2006.
20. S. Rajamani, G. Ramalingam, V. P. Ranganath, and K. Vaswani. Isolator: dynamically ensuring isolation in comcurrent programs. In ASPLOS, 2009.
21. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst., 15(4):391-411, 1997. (Pubitemid 127449840)
22. L.Wang and S. D. Stoller. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In PPoPP, 2006.