{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:17:19Z","timestamp":1725805039105},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111636"},{"type":"electronic","value":"9783319111643"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_13","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T03:49:11Z","timestamp":1410493751000},"page":"156-161","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Verification for Hybrid Concurrent Programming Models"],"prefix":"10.1007","author":[{"given":"Erdal","family":"Mutlu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Gajinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adri\u00e1n","family":"Cristal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serdar","family":"Tasiran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman S.","family":"Unsal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"13_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1562764.1562783","volume":"52","author":"K. Asanovic","year":"2009","unstructured":"Asanovic, K., Bodik, R., Demmel, J., Keaveny, T., Keutzer, K., Kubiatowicz, J., Morgan, N., Patterson, D., Sen, K., Wawrzynek, J., Wessel, D., Yelick, K.: A view of the parallel computing landscape. Commun. ACM\u00a052(10), 56\u201367 (2009)","journal-title":"Commun. ACM"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Producing scheduling that causes concurrent programs to fail. In: PADTAD 2006, pp. 37\u201340. ACM (2006)","DOI":"10.1145\/1147403.1147410"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Kothari, P., Musuvathi, M., Nagarakatte, S.: A randomized scheduler with probabilistic guarantees of finding bugs. In: ASPLOS XV, pp. 167\u2013178. ACM (2010)","DOI":"10.1145\/1735970.1736040"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Gajinov, V., Stipic, S., Unsal, O., Harris, T., Ayguade, E., Cristal, A.: Integrating dataflow abstractions into the shared memory model. In: SBAC-PAD, pp. 243\u2013251 (2012)","DOI":"10.1109\/SBAC-PAD.2012.24"},{"key":"13_CR5","unstructured":"Intel: Intel threading building blocks - flow graph, \n                    \n                      http:\/\/www.threadingbuildingblocks.org\/docs\/help\/reference\/flow_graph.htm"},{"key":"13_CR6","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: ASPLOS XIII, pp. 329\u2013339. ACM (2008)","DOI":"10.1145\/1353536.1346323"},{"key":"13_CR7","unstructured":"Microsoft: Task parallel library - dataflow, \n                    \n                      http:\/\/msdn.microsoft.com\/en-us\/library\/hh228603.aspx"},{"key":"13_CR8","unstructured":"OpenMP: Openmp 4.0 specification, \n                    \n                      http:\/\/www.openmp.org\/mp-documents\/OpenMP4.0.0.pdf"},{"key":"13_CR9","unstructured":"Seaton, C., Goodman, D., Luj\u00e1n, M., Watson, I.: Applying dataflow and transactions to Lee routing. In: Workshop on Programmability Issues for Heterogeneous Multicores (2012)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:23:19Z","timestamp":1558977799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}