{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:56Z","timestamp":1725497216248},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356315"},{"type":"electronic","value":"9783642356322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35632-2_6","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:40:54Z","timestamp":1358210454000},"page":"42-47","source":"Crossref","is-referenced-by-count":1,"title":["PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors"],"prefix":"10.1007","author":[{"given":"Ismail","family":"Kuru","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassan Salehe","family":"Matar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adri\u00e1n","family":"Cristal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gokcen","family":"Kestor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Unsal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Bekar, U.C., Elmas, T., Okur, S., Tasiran, S.: Kuda: Gpu accelerated split race checker. In: Workshop on Determinism and Correctness in Parallel Programming (WoDet), London, England, UK (March 2012)"},{"key":"6_CR2","unstructured":"Bruening, D.L.: Efficient, transparent and comprehensive runtime code manipulation. Technical report (2004)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1181309.1181319","volume-title":"Proc. 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID 2006","author":"S. Chen","year":"2006","unstructured":"Chen, S., Falsafi, B., Gibbons, P.B., Kozuch, M., Mowry, T.C., Teodorescu, R., Ailamaki, A., Fix, L., Ganger, G.R., Lin, B., Schlosser, S.W.: Log-based architectures for general-purpose monitoring of deployed code. In: Proc. 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID 2006, pp. 63\u201365. ACM, New York (2006)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1543135.1542490","volume":"44","author":"C. Flanagan","year":"2009","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. SIGPLAN Not.\u00a044, 121\u2013133 (2009)","journal-title":"SIGPLAN Not."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Kestor, G., Gioiosa, R., Harris, T., Unsal, O.S., Cristal, A., Hur, I., Valero, M.: Stm2: A parallel stm for high performance simultaneous multithreading systems. In: 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT), pp. 221\u2013231 (October 2011)","DOI":"10.1109\/PACT.2011.54"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, D., Arag\u00f3n, J.L., Garc\u00eda, J.M.: A log-based redundant architecture for reliable parallel computation. In: HiPC, pp. 1\u201310. IEEE (2010)","DOI":"10.1109\/HIPC.2010.5713183"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1145\/2043556.2043590","volume-title":"Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP 2011","author":"K. Veeraraghavan","year":"2011","unstructured":"Veeraraghavan, K., Chen, P.M., Flinn, J., Narayanasamy, S.: Detecting and surviving data races using complementary schedules. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP 2011, pp. 369\u2013384. ACM, New York (2011)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/1736020.1736051","volume-title":"Proceedings of the Fifteenth Edition of ASPLOS, ASPLOS 2010","author":"E. Vlachos","year":"2010","unstructured":"Vlachos, E., Goodstein, M.L., Kozuch, M.A., Chen, S., Falsafi, B., Gibbons, P.B., Mowry, T.C.: Paralog: enabling and accelerating online parallel monitoring of multithreaded applications. In: Proceedings of the Fifteenth Edition of ASPLOS, ASPLOS 2010, pp. 271\u2013284. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35632-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:21:10Z","timestamp":1620134470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}