{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:52:22Z","timestamp":1725637942098},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_45","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T09:05:35Z","timestamp":1322816735000},"page":"407-415","source":"Crossref","is-referenced-by-count":3,"title":["Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers"],"prefix":"10.1007","author":[{"given":"Byoung-Kwi","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mun-Hye","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyoung Choon","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Seob","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sang Woo","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/IPDPS.2009.5160998","volume-title":"Proceedings of the 2009 IEEE International Symposium on Parallel Distributed Processing","author":"A. Jannesari","year":"2009","unstructured":"Jannesari, A., Bao, K., Pankratius, V., Tichy, W.F.: Helgrind+: An efficient dynamic race detector. In: Proceedings of the 2009 IEEE International Symposium on Parallel Distributed Processing, pp. 1\u201313. IEEE Computer Society Press, Washington, DC, USA (2009)"},{"key":"45_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1147403.1147416","volume-title":"Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006","author":"U. Banerjee","year":"2006","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A theory of data race detection. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006, pp. 69\u201378. ACM, New York (2006)"},{"key":"45_CR3","unstructured":"Butenhof, D.R.: Programming with posix threads. Addison-Wesley Professional (1997)"},{"key":"45_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/122759.122767","volume-title":"Proceedings of the 1991 ACM\/ONR Workshop on Parallel and Distributed Debugging, PADD 1991","author":"A. Dinning","year":"1991","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, PADD 1991, pp. 85\u201396. ACM, New York (1991)"},{"key":"45_CR5","volume-title":"Proceedings of the 2001 Joint ACM-ISCOPE Conference on Java Grande, JGI 2001","author":"O. Edelstein","year":"2001","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded java program test generation. In: Proceedings of the 2001 Joint ACM-ISCOPE Conference on Java Grande, JGI 2001. ACM, New York (2001)"},{"key":"45_CR6","first-page":"1","volume-title":"Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD","author":"A. Jannesari","year":"2008","unstructured":"Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD, pp. 6:1\u20136:10. ACM, New York (2008)"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Labrosse, J.J.: Microc\/os-ii the real-time kernel, 2nd edn., pp. 32\u201366. CMP Books (2002)","DOI":"10.1201\/9781482295603"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of ACM, 558\u2013565 (1978)","DOI":"10.1145\/359545.359563"},{"key":"45_CR9","first-page":"43","volume-title":"Proceeding of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011","author":"W. Le","year":"2011","unstructured":"Le, W., Yang, J., Soffa, M.L., Whitehouse, K.: Lazy preemption to enable path-based analysis of interrupt-driven code. In: Proceeding of the 2nd Workshop on Software Engineering for Sensor Network Applications, SESENA 2011, pp. 43\u201348. ACM, New York (2011)"},{"key":"45_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., 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."},{"key":"45_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-44587-0_7","volume-title":"OpenMP Shared Memory Parallel Programming","author":"S.H. Park","year":"2001","unstructured":"Park, S.H., Park, M.Y., Jun, Y.K.: A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs. In: Eigenmann, R., Voss, M.J. (eds.) WOMPAT 2001. LNCS, vol.\u00a02104, pp. 68\u201380. Springer, Heidelberg (2001)"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/2002962.2002968","volume-title":"Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011","author":"V. Pessanha","year":"2011","unstructured":"Pessanha, V., Dias, R.J., Louren\u00e7o, J.A.M., Farchi, E., Sousa, D.: Practical verification of high-level dataraces in transactional memory programs. In: Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, pp. 26\u201334. ACM, New York (2011)"},{"key":"45_CR13","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1145\/1133255.1134019","volume":"41","author":"P. Pratikakis","year":"2006","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.: Locksmith: context-sensitive correlation analysis for race detection. SIGPLAN Not.\u00a041, 320\u2013331 (2006)","journal-title":"SIGPLAN Not."},{"key":"45_CR14","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2007.04.002","volume":"174","author":"J. Regehr","year":"2007","unstructured":"Regehr, J., Cooprider, N.: Interrupt verification via thread verification. Electron. Notes Theor. Comput. Sci.\u00a0174, 139\u2013150 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"45_CR15","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, 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"Tahara, T., Gondow, K., Ohsuga, S.: Dracula: Detector of data races in signals handlers. In: Asia-Pacific Software Engineering Conference, pp. 17\u201324 (2008)","DOI":"10.1109\/APSEC.2008.25"},{"key":"45_CR17","unstructured":"Valgrind-project: Helgrind: a data-race detector (2007)"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T01:41:43Z","timestamp":1560994903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_45","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}