{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:28Z","timestamp":1725909988501},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_24","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T09:33:37Z","timestamp":1504604017000},"page":"380-389","source":"Crossref","is-referenced-by-count":2,"title":["EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM"],"prefix":"10.1007","author":[{"given":"Hassan Salehe","family":"Matar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serdar","family":"Tasiran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didem","family":"Unat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"24_CR1","unstructured":"Embedsanitizer. \nhttps:\/\/www.github.com\/hassansalehe\/embedsanitizer"},{"key":"24_CR2","unstructured":"Threadsanitizer documentation. \nhttps:\/\/clang.llvm.org\/docs\/ThreadSanitizer.html"},{"key":"24_CR3","unstructured":"Valgrind drd (2017). \nhttp:\/\/valgrind.org\/docs\/manual\/drd-manual.html"},{"key":"24_CR4","unstructured":"ARM: Arm architecture reference manual armv7-a and armv7-r edition issue c. \nhttps:\/\/silver.arm.com\/download\/download.tm?pv=1603196"},{"key":"24_CR5","unstructured":"Bienia, C.: Benchmarking modern multiprocessors. Ph.D. thesis, Princeton University, January 2011"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Chen, R., Guo, X., Duan, Y., Gu, B., Yang, M.: Static data race detection for interrupt-driven embedded software. In: 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion, pp. 47\u201352, June 2011","DOI":"10.1109\/SSIRI-C.2011.18"},{"key":"24_CR7","doi-asserted-by":"publisher","unstructured":"Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: a race and transaction-aware java runtime. In: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2007, NY, USA, pp. 245\u2013255 (2007). \n10.1145\/1250734.1250762","DOI":"10.1145\/1250734.1250762"},{"key":"24_CR8","doi-asserted-by":"publisher","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: efficient and precise dynamic race detection. In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, NY, USA, pp. 121\u2013133 (2009). \n10.1145\/1542476.1542490","DOI":"10.1145\/1542476.1542490"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"13:13","DOI":"10.1155\/2015\/205827","volume":"2015","author":"OK Ha","year":"2015","unstructured":"Ha, O.K., Jun, Y.K.: An efficient algorithm for on-the-fly data race detection using an epoch-based technique. Sci. Program. 2015, 13:13 (2015). doi:\n10.1155\/2015\/205827","journal-title":"Sci. Program."},{"key":"24_CR10","unstructured":"Intel: Intel inspector xe (2017). \nhttps:\/\/software.intel.com\/en-us\/intel-inspector-xe"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Keul, S.: Tuning static data race analysis for automotive control software. In: 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation, pp. 45\u201354, September 2011","DOI":"10.1109\/SCAM.2011.16"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: Proceedings of the 2004 International Symposium on Code Generation and Optimization, CGO 2004, Palo Alto, California, March 2004","DOI":"10.1109\/CGO.2004.1281665"},{"issue":"6","key":"24_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"N Nethercote","year":"2004","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. SIGPLAN Not. 42(6), 89\u2013100 (2004). doi:\n10.1145\/1273442.1250746","journal-title":"SIGPLAN Not."},{"issue":"1","key":"24_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RHB Netzer","year":"2007","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions? Some issues and formalizations. ACM Lett. Program. Lang. Syst. 1(1), 74\u201388 (2007). doi:\n10.1145\/130616.130623","journal-title":"ACM Lett. Program. Lang. Syst."},{"issue":"3","key":"24_CR15","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/cpe.1064","volume":"19","author":"E Pozniansky","year":"2007","unstructured":"Pozniansky, E., Schuster, A.: Multirace: efficient on-the-fly data race detection in multithreaded C++ programs: research articles. Concurr. Comput. Pract. Exp. 19(3), 327\u2013340 (2007)","journal-title":"Concurr. Comput. Pract. Exp."},{"issue":"3","key":"24_CR16","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s10009-011-0210-1","volume":"14","author":"S Qadeer","year":"2012","unstructured":"Qadeer, S., Tasiran, S.: Runtime verification of concurrency-specific correctness criteria. Int. J. Softw. Tools Technol. Transfer 14(3), 291\u2013305 (2012). doi:\n10.1007\/s10009-011-0210-1","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"24_CR17","doi-asserted-by":"publisher","unstructured":"Serebryany, K., Iskhodzhanov, T.: ThreadSanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, WBIA 2009, NY, USA, pp. 62\u201371 (2009). doi:\n10.1145\/1791194.1791203","DOI":"10.1145\/1791194.1791203"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-35585-1_20","volume-title":"Future Generation Information Technology","author":"GM Tchamgoue","year":"2012","unstructured":"Tchamgoue, G.M., Kim, K.H., Jun, Y.-K.: Dynamic race detection techniques for interrupt-driven programs. In: Kim, T., Lee, Y., Fang, W. (eds.) FGIT 2012. LNCS, vol. 7709, pp. 148\u2013153. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-35585-1_20"},{"key":"24_CR19","doi-asserted-by":"publisher","unstructured":"Tchamgoue, G.M., Kim, K.H., Jun, Y.K.: Verification of data races in concurrent interrupt handlers. International Journal of Distributed Sensor Networks 9(11), Article ID 953593 (2013). doi:\n10.1155\/2013\/953593","DOI":"10.1155\/2013\/953593"},{"key":"24_CR20","unstructured":"Wire, B.: Parallocity licenses zeus virtual machine dynamic analysis framework to h3c technologies (2012). \nhttp:\/\/www.businesswire.com\/news\/home\/20121211005482\/en\/Parallocity-Licenses-Zeus-Virtual-Machine%C2%AE-Dynamic-Analysis"},{"key":"24_CR21","unstructured":"Wire, B.: Akamai selects Parallocity\u2019s ZVM-U dynamic software analysis framework (2013). \nhttp:\/\/www.businesswire.com\/news\/home\/20130305005107\/en\/Akamai-Selects-Parallocity%E2%80%99s-ZVM-U-Dynamic-Software-Analysis"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Wu, X., Wen, Y., Chen, L., Dong, W., Wang, J.: Data race detection for interrupt-driven programs via bounded model checking. In: 2013 IEEE Seventh International Conference on Software Security and Reliability Companion, pp. 204\u2013210, June 2013","DOI":"10.1109\/SERE-C.2013.33"},{"issue":"1","key":"24_CR23","doi-asserted-by":"crossref","first-page":"124","DOI":"10.4218\/etrij.17.0115.1027","volume":"39","author":"M Yu","year":"2017","unstructured":"Yu, M., Park, S.M., Chun, I., Bae, D.H.: Experimental performance comparison of dynamic data race detection techniques. ETRI J. 39(1), 124\u2013134 (2017)","journal-title":"ETRI J."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T09:40:12Z","timestamp":1504604412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}