{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T10:03:20Z","timestamp":1648980200554},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,1,21]],"date-time":"2014-01-21T00:00:00Z","timestamp":1390262400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11227-014-1091-3","type":"journal-article","created":{"date-parts":[[2014,1,20]],"date-time":"2014-01-20T04:50:36Z","timestamp":1390193436000},"page":"1378-1401","source":"Crossref","is-referenced-by-count":2,"title":["The BonaFide C Analyzer: automatic loop-level characterization and coverage measurement"],"prefix":"10.1007","volume":"68","author":[{"given":"Sergio","family":"Aldea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego R.","family":"Llanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arturo","family":"Gonzalez-Escribano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,1,21]]},"reference":[{"key":"1091_CR1","doi-asserted-by":"crossref","unstructured":"Al-Ekram R, Kontogiannis K (2005) An XML-Based framework for language neutral program representation and generic analysis. In: Proceedings of CSMR\u201905, pp 42\u201351","DOI":"10.1109\/CSMR.2005.10"},{"key":"1091_CR2","doi-asserted-by":"crossref","unstructured":"Aldea, S, Llanos DR, Gonzalez-Escribano A (2011) Towards a compiler framework for thread-level speculation. In: Proceeding of PDP\u201911, pp 267\u2013271","DOI":"10.1109\/PDP.2011.14"},{"key":"1091_CR3","doi-asserted-by":"crossref","unstructured":"Aldea S, Llanos DR, Gonzalez-Escribano A (2012) Using SPEC CPU2006 to evaluate the sequential and parallel code generated by commercial and open-source compilers. J Supercomput 2012(59):486\u2013498","DOI":"10.1007\/s11227-010-0449-4"},{"key":"1091_CR4","doi-asserted-by":"crossref","unstructured":"Atsumi N, Kobayashi T, Yamamoto S, Agusa K (2011) An XML C source code interchange format for CASE tools. In: Proceedings of COMPSAC\u201911, pp 498\u2013503","DOI":"10.1109\/COMPSAC.2011.102"},{"issue":"1","key":"1091_CR5","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S1389-1286(00)00037-2","volume":"33","author":"GJ Badros","year":"2000","unstructured":"Badros GJ (2000) JavaML: a markup language for java source code. Comput Netw 33(1):159\u2013177","journal-title":"Comput Netw"},{"key":"1091_CR6","unstructured":"Berglund A, Boag S, Chamberlin D, Fernandez MF, Kay M, Robie J, Simon J (2010) XML Path language (XPath) 2.0 (Second edition). W3C recommendation 14 Dec 2010. http:\/\/www.w3.org\/TR\/xpath20\/ . Accessed December 2013"},{"key":"1091_CR7","doi-asserted-by":"crossref","unstructured":"Boshernitsan M, Graham SL (2000) Designing an XML-Based exchange format for Harmonia. In: Proceedings of WCRE\u201900, pp 287\u2013289","DOI":"10.1109\/WCRE.2000.891482"},{"key":"1091_CR8","unstructured":"Bray T, Paoli J, Sperberg-McQueen CM, Maler E, Yergeau F (2008) Extensible Markup Language (XML). W3C Recommendation 26 November 2008. http:\/\/www.w3.org\/TR\/xml\/ . Accessed December 2013"},{"issue":"4","key":"1091_CR9","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MM.2012.50","volume":"32","author":"S Campanoni","year":"2012","unstructured":"Campanoni S, Jones TM, Holloway G, Wei GY, Brooks D (2012) Helix: making the extraction of thread-level parallelism mainstream. IEEE Micro 32(4):8\u201318","journal-title":"IEEE Micro"},{"issue":"3","key":"1091_CR10","first-page":"291","volume":"21","author":"BL Chamberlain","year":"2007","unstructured":"Chamberlain BL, Callahan D, Zima HP (2007) Parallel programmability and the chapel language. Int J HPC Appl 21(3):291\u2013312","journal-title":"Int J HPC Appl"},{"key":"1091_CR11","doi-asserted-by":"crossref","unstructured":"Chandra R, Menon R, Dagum L, Kohr D, Maydan D, McDonald, J (2000) Parallel Programming in OpenMP, 1 edn. Morgan Kaufmann, Burlington","DOI":"10.1016\/B978-155860671-5\/50002-5"},{"key":"1091_CR12","unstructured":"Chen MK, Olukotun K (2003) The Jrpm system for dynamically parallelizing java programs. In: Proceedings of ISCA\u201903, pp 434\u2013445"},{"key":"1091_CR13","doi-asserted-by":"crossref","unstructured":"Cintra M, Llanos D (2005) Design space exploration of a software speculative parallelization scheme. IEEE Trans Parallel Distrib Syst 16(6):562\u2013576","DOI":"10.1109\/TPDS.2005.69"},{"key":"1091_CR14","doi-asserted-by":"crossref","unstructured":"Collard ML (2003) An infrastructure to support meta-differencing and refactoring of source code. In: Proceedings of ASE\u201903, pp 377\u2013380","DOI":"10.1109\/ASE.2003.1240342"},{"key":"1091_CR15","unstructured":"Collard ML (2005) Addressing source code using srcML. In: IWCP\u201905 working session textual views of source code to support comprehension, pp 1\u20133"},{"key":"1091_CR16","doi-asserted-by":"crossref","unstructured":"Collard ML, Decker MJ, Maletic JI (2011) Lightweight transformation and fact extraction with the srcML toolkit. In: Proceedings of SCAM\u201911, pp 173\u2013184","DOI":"10.1109\/SCAM.2011.19"},{"key":"1091_CR17","doi-asserted-by":"crossref","unstructured":"Collard ML, Kagdi HH, Maletic, JI (2003) An XML-Based lightweight C++ fact extractor. In: Proceedings of IWPC\u201903, pp 134\u2013143","DOI":"10.1109\/WPC.2003.1199197"},{"key":"1091_CR18","unstructured":"Collard ML, Maletic JI (2004) Document-oriented source code transformation using XML. In: Proceedings of SET\u201904, pp 11\u201314"},{"key":"1091_CR19","doi-asserted-by":"crossref","unstructured":"Collard ML, Maletic JI, Robinson BP (2010) A lightweight transformational approach to support large scale adaptive changes. In: Proceedings of ICSM\u201910, pp 1\u201310","DOI":"10.1109\/ICSM.2010.5609719"},{"key":"1091_CR20","doi-asserted-by":"crossref","unstructured":"Cordy JR (2003) Generalized selective XML markup of source code using agile parsing. In: Proceedings of IWPC\u201903, pp 144\u2013153","DOI":"10.1109\/WPC.2003.1199198"},{"issue":"12","key":"1091_CR21","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.2009.385","volume":"42","author":"C Dave","year":"2009","unstructured":"Dave C, Bae H, Min S, Lee S, Eigenmann R, Midkiff S (2009) Cetus: A Source-to-Source compiler infrastructure for multicores. Computer 42(12):36\u201342","journal-title":"Computer"},{"key":"1091_CR22","unstructured":"David G, Badros G, Aguiar A (2004) JavaML 2.0: Enriching the markup language for java source code. XML Aplicaes e Tecnologias Associadas (XATA\u201904)"},{"key":"1091_CR23","doi-asserted-by":"crossref","unstructured":"Dou J, Cintra M (2007) A compiler cost model for speculative parallelization. ACM Trans Architect Code Optim 4(2)","DOI":"10.1145\/1250727.1250732"},{"key":"1091_CR24","doi-asserted-by":"crossref","unstructured":"Du Z, Lim C, Li X, Yang C, Zhao Q, Ngai T (2004) A cost-driven compilation framework for speculative parallelization of sequential programs. In: Proceedings of PLDI\u201904, pp 71\u201381","DOI":"10.1145\/996841.996852"},{"key":"1091_CR25","doi-asserted-by":"crossref","unstructured":"Ebert J, Kullbach B, Winter A (1999) GraX an interchange format for reengineering tools. In: Proceedings of WCRE\u201999, pp 89\u201398","DOI":"10.1109\/WCRE.1999.806950"},{"key":"1091_CR26","unstructured":"Fischer G, Lusiardi J (2008) JaML\u2014an XML Representation of Java Source code. University of Wrzburg, Tech. Rep"},{"issue":"4","key":"1091_CR27","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MM.2012.52","volume":"32","author":"S Garcia","year":"2012","unstructured":"Garcia S, Jeon D, Louie CM, Taylor MB (2012) The kremlin oracle for sequential code parallelization. IEEE Micro 32(4):42\u201353","journal-title":"IEEE Micro"},{"issue":"3","key":"1091_CR28","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/S1571-0661(04)80425-0","volume":"65","author":"K Gondow","year":"2002","unstructured":"Gondow K, Kawashima H (2002) Towards ANSI C program slicing using XML. Electron Notes Theor Comput Sci 65(3):30\u201349","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"4","key":"1091_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","volume":"34","author":"JL Henning","year":"2006","unstructured":"Henning JL (2006) SPEC CPU2006 benchmark descriptions. SIGARCH Comput Archit News 34(4):1\u201317","journal-title":"SIGARCH Comput Archit News"},{"key":"1091_CR30","doi-asserted-by":"crossref","unstructured":"Hertzberg B, Olukotun K (2011) Runtime automatic speculative parallelization. In: Proceedings of CGO\u201911, pp 64\u201373","DOI":"10.1109\/CGO.2011.5764675"},{"key":"1091_CR31","doi-asserted-by":"crossref","unstructured":"Holt RC, Winter A, Schrr A (2000) GXL: toward a standard exchange format. In: Proceedings of WCRE\u201900, pp 162\u2013171","DOI":"10.1109\/WCRE.2000.891463"},{"key":"1091_CR32","unstructured":"Iverson W (2005) Apache Jakarta Commons: reusable Java(TM) components. Prentice Hall PTR, Upper Saddle River, pp 154\u2013156"},{"key":"1091_CR33","doi-asserted-by":"crossref","unstructured":"Johnson TA, Eigenmann R, Vijaykumar TN (2007) Speculative thread decomposition through empirical optimization. In: Proceedings of PPoPP\u201907, pp 205\u2013214","DOI":"10.1145\/1229428.1229474"},{"key":"1091_CR34","unstructured":"Kay M (2013) XSL Transformations (XSLT) version 2.0. W3C recommendation 23 january 2007. http:\/\/www.w3.org\/TR\/xslt20\/ . Accessed December 2013"},{"key":"1091_CR35","doi-asserted-by":"crossref","unstructured":"Kejariwal A, Tian X, Girkar M, Li W, Kozhukhov S, Banerjee U, Nicolau A, Veidenbaum AV, Polychronopoulos CD (2007) Tight analysis of the performance potential of thread speculation using SPEC CPU 2006. In: Proceedings of PPoPP\u201907, pp 215\u2013225","DOI":"10.1145\/1229428.1229475"},{"key":"1091_CR36","doi-asserted-by":"crossref","unstructured":"Kim M, Kim H, Luk C (2010) SD3: a scalable approach to dynamic data-dependence profiling. In: Proceedings of MICRO\u201943, pp 535\u2013546","DOI":"10.1109\/MICRO.2010.49"},{"key":"1091_CR37","doi-asserted-by":"crossref","unstructured":"Liu W, Tuck J, Ceze L, Ahn W, Strauss K, Renau J, Torrellas J (2006) POSH: a TLS compiler that exploits program structure. In: Proceedings of PPoPP\u201906, pp 158\u2013167","DOI":"10.1145\/1122971.1122997"},{"key":"1091_CR38","doi-asserted-by":"crossref","unstructured":"Luo Y, Packirisamy V, Hsu W, Zhai A, Mungre N, Tarkas A (2009) Dynamic performance tuning for speculative threads. In: Proceedings of ISPA\u201909, pp 462\u2013473","DOI":"10.1145\/1555754.1555812"},{"key":"1091_CR39","unstructured":"Maeda K (2007) Experience of XML-based source code representation with parsing actions. In: Proceeding of SoMeT\u201907, pp 330\u2013339"},{"key":"1091_CR40","doi-asserted-by":"crossref","unstructured":"Maletic JI, Collard ML, Kagdi H (2004) Leveraging XML technologies in developing program analysis tools. In: Proceedings of ACSE\u201904, pp 80\u201385","DOI":"10.1049\/ic:20040255"},{"key":"1091_CR41","doi-asserted-by":"crossref","unstructured":"Mamas E, Kontogiannis K (2000) Towards portable source code representations using XML. In: Proceedings of WCRE\u201900, pp 172\u2013182","DOI":"10.1109\/WCRE.2000.891464"},{"key":"1091_CR42","doi-asserted-by":"crossref","unstructured":"Maruyama K, Yamamoto S (2004) A CASE tool platform using an XML representation of java source code. In: Proceedings of SCAM\u201904, pp 158\u2013167","DOI":"10.1109\/SCAM.2004.1"},{"key":"1091_CR43","doi-asserted-by":"crossref","unstructured":"McArthur G, Mylopoulos J, Ng SKK (2002) An extensible tool for source code representation using XML. In: Proceedings of WCRE\u201902, pp 199\u2013208","DOI":"10.1109\/WCRE.2002.1173078"},{"key":"1091_CR44","doi-asserted-by":"crossref","unstructured":"Mendonca NC, Maia PHM, Fonseca LA, Andrade RMC (2004) RefaX: a refactoring framework based on XML. In: Proceedings of ICSM\u201904, pp 147\u2013156","DOI":"10.1109\/ICSM.2004.1357799"},{"key":"1091_CR45","doi-asserted-by":"crossref","unstructured":"Moseley T, Connors DA, Grunwald D, Peri R (2007) Identifying potential parallelism via loop-centric profiling. In: Proceedings of CF\u201907, pp 143\u2013152","DOI":"10.1145\/1242531.1242554"},{"key":"1091_CR46","doi-asserted-by":"crossref","unstructured":"Packirisamy V, Zhai A, Hsu W, Yew P, Ngai T (2009) Exploring speculative parallelism in SPEC2006. In: Proceedings of ISPASS\u201909, pp 77\u201388","DOI":"10.1109\/ISPASS.2009.4919640"},{"key":"1091_CR47","unstructured":"Power JF, Malloy BA (2002) Program annotation in XML: a Parse-Tree based approach. In: Proceedings of WCRE\u201902, pp 190\u2013198"},{"key":"1091_CR48","doi-asserted-by":"crossref","unstructured":"von Praun C, Bordawekar R, Cascaval C (2008) Modeling optimistic concurrency using quantitative dependence analysis. In: Proceedings of PPoPP\u201908, pp 185\u2013196","DOI":"10.1145\/1345206.1345234"},{"key":"1091_CR49","unstructured":"Putro HP, Liem I (2011) XML representations of program code. In: Proceedings of ICEEI\u201911, pp 1\u20136"},{"key":"1091_CR50","doi-asserted-by":"crossref","unstructured":"Salinas-Mendoza A, Juarez-Martinez U, Alor-Hernandez G, Olivares-Zepahua BA (2011) Designing an XML-based representation for CaesarJ source code. In: Proceedings of CERMA\u201911, pp 427\u2013432","DOI":"10.1109\/CERMA.2011.75"},{"key":"1091_CR51","doi-asserted-by":"crossref","unstructured":"Sun YX, Chen HY, Tse TH (2008) Lean implementations of software testing tools using XML representations of source codes. In: Proceedings of CSSE\u201908, pp 708\u2013711","DOI":"10.1109\/CSSE.2008.515"},{"key":"1091_CR52","doi-asserted-by":"crossref","unstructured":"Tian C, Feng M, Gupta R (2010) Speculative parallelization using state separation and multiple value prediction. In: Proceedings of ISMM\u201910, pp 63\u201372","DOI":"10.1145\/1806651.1806663"},{"key":"1091_CR53","unstructured":"Tidwell D (2008) XSLT, 2nd 2 edn. O\u2019Reilly Media, Sebastopol"},{"key":"1091_CR54","doi-asserted-by":"crossref","unstructured":"Wagner C, Margaria T, Pagendarm HG (2009) Analysis and code model extraction for C\/C++ source code. In: Proceedings of ICECCS\u201909, pp 110\u2013119","DOI":"10.1109\/ICECCS.2009.46"},{"key":"1091_CR55","doi-asserted-by":"crossref","unstructured":"Wang S, Dai X, Yellajyosula KS, Zhai A, Yew P (2006) Loop selection for thread-level speculation. In: Proceedings of LCPC\u201905, pp 289\u2013303","DOI":"10.1007\/978-3-540-69330-7_20"},{"key":"1091_CR56","doi-asserted-by":"crossref","unstructured":"Whaley J, Kozyrakis C (2005) Heuristics for profile-driven method-level speculative parallelization. In: Proceedings of ICPP\u201905, pp 147\u2013156","DOI":"10.1109\/ICPP.2005.44"},{"key":"1091_CR57","unstructured":"Wheeler DA (2004) Sloccount: counting source lines of code. http:\/\/www.dwheeler.com\/sloccount\/ . Accessed December 2013"},{"key":"1091_CR58","doi-asserted-by":"crossref","unstructured":"Wu P, Kejariwal A, Cacaval C (2008) Compiler-driven dependence profiling to guide program parallelization. In: Amaral J (ed) Languages and compilers for parallel computing. Lecture notes in computer science, vol 5335, pp 232\u2013248","DOI":"10.1007\/978-3-540-89740-8_16"},{"key":"1091_CR59","unstructured":"Zou Y, Kontogiannis K (2001) A framework for migrating procedural code to Object-Oriented platforms. In: Proceedings of APSEC\u201901, APSEC \u201901, pp 390\u2013399"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-014-1091-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-014-1091-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-014-1091-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:38:54Z","timestamp":1565109534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-014-1091-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,21]]},"references-count":59,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["1091"],"URL":"https:\/\/doi.org\/10.1007\/s11227-014-1091-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,21]]}}}