{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:31Z","timestamp":1772164051969,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1145\/2576195.2576213","type":"proceedings-article","created":{"date-parts":[[2014,3,4]],"date-time":"2014-03-04T08:25:03Z","timestamp":1393921503000},"page":"141-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["DBILL"],"prefix":"10.1145","author":[{"given":"Yi-Hong","family":"Lyu","sequence":"first","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ding-Yong","family":"Hong","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tai-Yi","family":"Wu","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Jan","family":"Wu","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-Chung","family":"Hsu","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan Roc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pangfeng","family":"Liu","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei, Taiwan Roc"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[{"name":"University of Minnesota at Twin Cities, Minneapolis, MN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Address sanitizer algorithm. https:\/\/code.google.com\/p\/address-sanitizer\/wiki\/AddressSanitizerAlgorithm.  Address sanitizer algorithm. https:\/\/code.google.com\/p\/address-sanitizer\/wiki\/AddressSanitizerAlgorithm."},{"key":"e_1_3_2_1_2_1","unstructured":"Dataflow sanitizer. http:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html.  Dataflow sanitizer. http:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html."},{"key":"e_1_3_2_1_3_1","unstructured":"Memory sanitizer. https:\/\/code.google.com\/p\/memory-sanitizer\/.  Memory sanitizer. https:\/\/code.google.com\/p\/memory-sanitizer\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Dynamically translating x86 to llvm using qemu. http:\/\/infoscience.epfl.ch\/record\/149975\/files\/x86-llvm-translator-chipounov2.pdf.  Dynamically translating x86 to llvm using qemu. http:\/\/infoscience.epfl.ch\/record\/149975\/files\/x86-llvm-translator-chipounov2.pdf."},{"key":"e_1_3_2_1_5_1","unstructured":"Thread sanitizer. https:\/\/code.google.com\/p\/thread-sanitizer\/.  Thread sanitizer. https:\/\/code.google.com\/p\/thread-sanitizer\/."},{"key":"e_1_3_2_1_6_1","volume-title":"USENIX ATC'05","author":"Bellard F.","unstructured":"F. Bellard . QEMU, a fast and portable dynamic translator . USENIX ATC'05 . F. Bellard. QEMU, a fast and portable dynamic translator. USENIX ATC'05."},{"key":"e_1_3_2_1_7_1","volume-title":"CGO '11","author":"Bruening D.","unstructured":"D. Bruening and Q. Zhao . Practical memory checking with dr. memory . CGO '11 . D. Bruening and Q. Zhao. Practical memory checking with dr. memory. CGO '11."},{"key":"e_1_3_2_1_8_1","volume-title":"CGO '03","author":"Bruening D.","unstructured":"D. Bruening , T. Garnett , and S. Amarasinghe . An infrastructure for adaptive dynamic optimization . CGO '03 . D. Bruening, T. Garnett, and S. Amarasinghe. An infrastructure for adaptive dynamic optimization. CGO '03."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958815"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259030"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2011.57"},{"key":"e_1_3_2_1_12_1","volume-title":"CGO '04","author":"Lattner C.","unstructured":"C. Lattner and V. Adve . LLVM: A compilation framework for lifelong program analysis & transformation . CGO '04 . C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. CGO '04."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952682.1952703"},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX ATC'13","author":"Payer M.","unstructured":"M. Payer , E. Kravina , and T. R. Gross . Lightweight memory tracing . USENIX ATC'13 . M. Payer, E. Kravina, and T. R. Gross. Lightweight memory tracing. USENIX ATC'13."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"e_1_3_2_1_18_1","volume-title":"USENIX ATC'12","author":"Serebryany K.","unstructured":"K. Serebryany , D. Bruening , A. Potapenko , and D. Vyukov . AddressSanitizer: A fast address sanity checker . USENIX ATC'12 . K. Serebryany, D. Bruening, A. Potapenko, and D. Vyukov. AddressSanitizer: A fast address sanity checker. USENIX ATC'12."},{"key":"e_1_3_2_1_19_1","volume-title":"ACSAC '07","author":"Wang C.","unstructured":"C. Wang , S. Hu , H.-s. Kim , S. R. Nair , M. Breternitz , Z. Ying , and Y. Wu . StarDBT: An efficient multi-platform dynamic binary translation system . ACSAC '07 . C. Wang, S. Hu, H.-s. Kim, S. R. Nair, M. Breternitz, Z. Ying, and Y. Wu. StarDBT: An efficient multi-platform dynamic binary translation system. ACSAC '07."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_8"}],"event":{"name":"VEE '14: 10th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","location":"Salt Lake City Utah USA","acronym":"VEE '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 10th ACM SIGPLAN\/SIGOPS international conference on Virtual execution environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2576195.2576213","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2576195.2576213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:00:44Z","timestamp":1750262444000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2576195.2576213"}},"subtitle":["an efficient and retargetable dynamic binary instrumentation framework using llvm backend"],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":20,"alternative-id":["10.1145\/2576195.2576213","10.1145\/2576195"],"URL":"https:\/\/doi.org\/10.1145\/2576195.2576213","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2674025.2576213","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,3]]},"assertion":[{"value":"2014-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}