{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:46Z","timestamp":1725497206348},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_8","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:40:54Z","timestamp":1358210454000},"page":"49-63","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Unread Memory Using Dynamic Binary Translation"],"prefix":"10.1007","author":[{"given":"Jon","family":"Eyolfson","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1250734.1250746","volume-title":"Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007)","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 89\u2013100. ACM Press, San Diego (2007)"},{"key":"8_CR2","unstructured":"Hastings, R., Joyce, B.: Purify: Fast detection of memory leaks and access errors. In: Proc. of the Winter 1992 USENIX Conference, pp. 125\u2013138 (1991)"},{"key":"8_CR3","doi-asserted-by":"crossref","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: PLDI 2005, Chicago, IL, USA, pp. 190\u2013200 (June 2005)","DOI":"10.1145\/1064978.1065034"},{"key":"8_CR4","unstructured":"Ding, C., Kennedy, K.: The memory bandwidth bottleneck and its amelioration by a compiler. In: IPDPS, pp. 181\u2013190. IEEE Computer Society (2000)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/349299.349303","volume-title":"PLDI 2000","author":"V. Bala","year":"2000","unstructured":"Bala, V., Duesterwald, E., Banerjia, S.: Dynamo: a transparent dynamic optimization system. In: PLDI 2000, pp. 1\u201312. ACM, New York (2000)"},{"key":"8_CR6","first-page":"16","volume-title":"MICRO 34","author":"B. Fahs","year":"2001","unstructured":"Fahs, B., Bose, S., Crum, M., Slechta, B., Spadini, F., Tung, T., Patel, S.J., Lumetta, S.S.: Performance characterization of a hardware mechanism for dynamic optimization. In: MICRO 34, pp. 16\u201327. IEEE Computer Society, Washington, DC (2001)"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2063239.2063241","volume":"21","author":"M. Arnold","year":"2011","unstructured":"Arnold, M., Vechev, M.T., Yahav, E.: QVM: An efficient runtime for detecting defects in deployed systems. ACM Trans. Softw. Eng. Methodol.\u00a021(1), 2 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR8","unstructured":"Bruening, D., Garnett, T., Amarasinghe, S.P.: An infrastructure for adaptive dynamic optimization. In: CGO 2003, San Francisco, CA, pp. 265\u2013275 (March 2003)"},{"key":"8_CR9","unstructured":"Fowler, M., Beck, K.: Refactoring: improving the design of existing code. Addison-Wesley Professional (1999)"}],"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_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:21:11Z","timestamp":1620134471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}