{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:34:38Z","timestamp":1725748478793},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642408199"},{"type":"electronic","value":"9783642408205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40820-5_5","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:19:38Z","timestamp":1378984778000},"page":"49-60","source":"Crossref","is-referenced-by-count":0,"title":["FRESA: A Frequency-Sensitive Sampling-Based Approach for Data Race Detection"],"prefix":"10.1007","author":[{"given":"Neng","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyuan","family":"Shao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Alpern, B., Attanasio, C.R., Cocchi, A., Lieber, D., Smith, S., Ngo, T., Barton, J.J., Hummel, S.F., Sheperd, J.C., Mergen, M.: Implementing jalape\u00f1o in java. In: Proceedings of the 14th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, pp. 314\u2013324. ACM (1999)","DOI":"10.1145\/320384.320418"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, S.M., Garner, R., Hoffmann, C., Khang, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The dacapo benchmarks: Java benchmarking development and analysis. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, pp. 169\u2013190. ACM (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bond, M.D., Coons, K.E., McKinley, K.S.: Pacer: proportional detection of data races. In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 255\u2013268. ACM (2010)","DOI":"10.1145\/1806596.1806626"},{"issue":"11","key":"5_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/583854.582440","volume":"37","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. SIGPLAN Not.\u00a037(11), 211\u2013230 (2002)","journal-title":"SIGPLAN Not."},{"key":"5_CR5","unstructured":"Christiaens, M., De Bosschere, K.: Trade, a topological approach to on-the-fly race detection in java programs. In: Proceedings of the 2001 Symposium on Java TM Virtual Machine Research and Technology Symposium, vol.\u00a01, p. 15. USENIX Association (2001)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. In: Proceedings of the 1991 ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 85\u201396. ACM (1991)","DOI":"10.1145\/122759.122767"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware java runtime. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 245\u2013255. ACM (2007)","DOI":"10.1145\/1250734.1250762"},{"issue":"5","key":"5_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/1165389.945468","volume":"37","author":"D. Engler","year":"2003","unstructured":"Engler, D., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. SIGOPS Oper. Syst. Rev.\u00a037(5), 237\u2013252 (2003)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"5","key":"5_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/358438.349328","volume":"35","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for java. ACM SIGPLAN Notices\u00a035(5), 219\u2013232 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 121\u2013133. ACM (2009)","DOI":"10.1145\/1542476.1542490"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R.: Race checking by context inference. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pp. 1\u201313. ACM (2004)","DOI":"10.1145\/996841.996844"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 329\u2013339. ACM (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: Avio: detecting atomicity violations via access interleaving invariants. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 37\u201348. ACM (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The java memory model. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 378\u2013391. ACM (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Marino, D., Musuvathi, M., Narayanasamy, S.: Literace: effective sampling for lightweight data-race detection. In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 134\u2013143. ACM (2009)","DOI":"10.1145\/1542476.1542491"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Min, S.L., Choi, J.D.: An efficient cache-based access anomaly detection scheme. In: Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 235\u2013244. ACM (1991)","DOI":"10.1145\/106972.106996"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for java. In: Proceedings of the Twentieth ACM Symposium on Operating Systems Principles, pp. 308\u2013319. ACM (2006)","DOI":"10.1145\/1133981.1134018"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H. Netzer","year":"1992","unstructured":"Netzer, R.H., Miller, B.P.: What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst.\u00a01, 74\u201388 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."},{"issue":"10","key":"5_CR19","first-page":"167","volume":"38","author":"R. O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan, R., Choi, J.D.: Hybrid dynamic data race detection. ACM Lett. Program. Lang. Syst.\u00a038(10), 167\u2013178 (2003)","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Pozniansky, E., Schuster, A.: Efficient on-the-fly data race detection in multithreaded c++ programs. In: Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 179\u2013190. ACM (2003)","DOI":"10.1145\/966049.781529"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.: Locksmith: context-sensitive correlation analysis for race detection. In: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 320\u2013331. ACM (2006)","DOI":"10.1145\/1133981.1134019"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Qadeer, S., Wu, D.: Kiss: keep it simple and sequential. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pp. 14\u201324. ACM (2004)","DOI":"10.1145\/996841.996845"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Sack, P., Bliss, B.E., Ma, Z., Petersen, P., Torrellas, J.: Accurate and efficient filtering for the intel thread checker race detector. In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, pp. 34\u201341. ACM (2006)","DOI":"10.1145\/1181309.1181315"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analysis of data races and atomicity. In: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 83\u201394. ACM (2005)","DOI":"10.1145\/1065944.1065956"},{"issue":"4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Schonberg, E.: On-the-fly detection of access anomalies. SIGPLAN Not.\u00a039(4) (1989)","DOI":"10.1145\/989393.989426"},{"key":"5_CR27","unstructured":"Sterling, N.: Warlock: A static data race analysis tool. In: USENIX Winter, pp. 97\u2013106 (1993)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Von Praun, C., Gross, T.R.: Object race detection. In: Proceedings of the 16th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, vol.\u00a036, pp. 70\u201382. ACM (2001)","DOI":"10.1145\/504282.504288"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: Relay: static race detection on millions of lines of code. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 205\u2013214. ACM (2007)","DOI":"10.1145\/1287624.1287654"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: efficient detection of data race conditions via adaptive tracking. In: Proceedings of the Twentieth ACM Symposium on Operating Systems Principles, pp. 221\u2013234. ACM (2005)","DOI":"10.1145\/1095810.1095832"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Zhai, K., Xu, B., Chan, W., Tse, T.: Carisma: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis, pp. 221\u2013231. ACM (2012)","DOI":"10.1145\/2338965.2336780"}],"container-title":["Lecture Notes in Computer Science","Network and Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40820-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T00:50:19Z","timestamp":1563929419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40820-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408199","9783642408205"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40820-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}