{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:28Z","timestamp":1742913688047,"version":"3.40.3"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319148953"},{"type":"electronic","value":"9783319148960"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14896-0_7","type":"book-chapter","created":{"date-parts":[[2014,12,31]],"date-time":"2014-12-31T06:06:08Z","timestamp":1420005968000},"page":"73-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Monitoring C\/C++ Transactional Memory Programs"],"prefix":"10.1007","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[]},{"given":"Zden\u011bk","family":"Letko","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Louren\u00e7o","sequence":"additional","affiliation":[]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,1]]},"reference":[{"key":"7_CR1","unstructured":"Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: STAMP: stanford transactional applications for multi-processing. In: Proc. of IISWC 2008 (2008)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Castro, M., Georgiev, K., Marangozova-Martin, V., Mehaut, J.-F., Fernandes, L.G., Santana, M.: Analysis and tracing of applications based on software transactional memory on multicore architectures. In: Proc. of PDP 2011. IEEE CS (2011)","DOI":"10.1109\/PDP.2011.27"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-35632-2_5","volume-title":"Runtime Verification","author":"J Fiedor","year":"2013","unstructured":"Fiedor, J., Vojnar, T.: ANaConDA: a framework for analysing multi-threaded c\/c++ programs on the binary level. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 35\u201341. Springer, Heidelberg (2013)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: Principles of Transactional Memory. Morgan and Claypool Publishers (2010)","DOI":"10.1007\/978-3-031-02002-5"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Harris, T., Larus, J., Rajwar, R.: Transactional Memory, 2nd edn. Morgan and Claypool Publishers (2010)","DOI":"10.1007\/978-3-031-01728-5"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Louren\u00e7o, J.M., Dias, R.J., Lu\u00eds, J.A., Rebelo, M., Pessanha, V.: Understanding the behavior of transactional memory applications. In: Proc. of PADTAD 2009. ACM (2009)","DOI":"10.1145\/1639622.1639625"},{"key":"7_CR7","unstructured":"Luk, C.-K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: Proc. of PLDI 2005. ACM (2005)"}],"container-title":["Lecture Notes in Computer Science","Mathematical and Engineering Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14896-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T17:58:28Z","timestamp":1674842308000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14896-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319148953","9783319148960"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14896-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}