{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:53Z","timestamp":1750306973498,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T00:00:00Z","timestamp":1369785600000},"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":[[2013,5,29]]},"DOI":"10.1145\/2463209.2488760","type":"proceedings-article","created":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T16:35:41Z","timestamp":1369758941000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description"],"prefix":"10.1145","author":[{"given":"Harry","family":"Wagstaff","sequence":"first","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Miles","family":"Gould","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Bj\u00f6rn","family":"Franke","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Nigel","family":"Topham","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]}],"member":"320","published-online":{"date-parts":[[2013,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-7301-0"},{"key":"e_1_3_2_1_2_1","first-page":"41","volume-title":"Proceedings of the Annual Conference on USENIX, ATEC '05","author":"Bellard F.","year":"2005","unstructured":"F. Bellard . QEMU, a fast and portable dynamic translator . In Proceedings of the Annual Conference on USENIX, ATEC '05 , pages 41 -- 41 , Berkeley, CA, USA , 2005 . USENIX Association. F. Bellard. QEMU, a fast and portable dynamic translator. In Proceedings of the Annual Conference on USENIX, ATEC '05, pages 41--41, Berkeley, CA, USA, 2005. USENIX Association."},{"key":"e_1_3_2_1_3_1","volume-title":"Designing a CPU model: from a pseudo-formal document to fast code. CoRR, abs\/1109.4351","author":"Blanqui F.","year":"2011","unstructured":"F. Blanqui , C. Helmstetter , V. Joloboff , J.-F. Monin , and X. Shi . Designing a CPU model: from a pseudo-formal document to fast code. CoRR, abs\/1109.4351 , 2011 . F. Blanqui, C. Helmstetter, V. Joloboff, J.-F. Monin, and X. Shi. Designing a CPU model: from a pseudo-formal document to fast code. CoRR, abs\/1109.4351, 2011."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993508"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAMOS.2010.5642102"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929508"},{"key":"e_1_3_2_1_7_1","volume-title":"1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO)","author":"Brandner F.","year":"2009","unstructured":"F. Brandner , A. Fellnhofer , A. Krall , and D. Riegler . Fast and accurate simulation using the LLVM compiler framework . In 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO) , January 2009 . F. Brandner, A. Fellnhofer, A. Krall, and D. Riegler. Fast and accurate simulation using the LLVM compiler framework. In 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), January 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158707"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375670"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1999.760028"},{"key":"e_1_3_2_1_11_1","first-page":"10556","volume-title":"Proceedings of the Xonference on Design, Automation and Test in Europe -","volume":"1","author":"Qin W.","unstructured":"W. Qin and S. Malik . Flexible and formal modeling of microprocessors with application to retargetable simulation . In Proceedings of the Xonference on Design, Automation and Test in Europe - Volume 1 , DATE '03, pages 10556 --, Washington, DC, USA, 2003. IEEE Computer Society. W. Qin and S. Malik. Flexible and formal modeling of microprocessors with application to retargetable simulation. In Proceedings of the Xonference on Design, Automation and Test in Europe - Volume 1, DATE '03, pages 10556--, Washington, DC, USA, 2003. IEEE Computer Society."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.635"},{"key":"e_1_3_2_1_13_1","unstructured":"Synopsys. Processor Designer. www.synopsys.com.  Synopsys. Processor Designer. www.synopsys.com."},{"key":"e_1_3_2_1_14_1","unstructured":"Target Compiler Technologies. IP Designer. www.retarget.com.  Target Compiler Technologies. IP Designer. www.retarget.com."}],"event":{"name":"DAC '13: The 50th Annual Design Automation Conference 2013","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Austin Texas","acronym":"DAC '13"},"container-title":["Proceedings of the 50th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463209.2488760","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2463209.2488760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:28Z","timestamp":1750235968000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463209.2488760"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,29]]},"references-count":14,"alternative-id":["10.1145\/2463209.2488760","10.1145\/2463209"],"URL":"https:\/\/doi.org\/10.1145\/2463209.2488760","relation":{},"subject":[],"published":{"date-parts":[[2013,5,29]]},"assertion":[{"value":"2013-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}