{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:18Z","timestamp":1740122718148,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1617424","CCF-1524852"],"award-info":[{"award-number":["CNS-1617424","CCF-1524852"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s10703-019-00341-0","type":"journal-article","created":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T10:45:06Z","timestamp":1570617906000},"page":"388-415","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Annotation guided collection of context-sensitive parallel execution profiles"],"prefix":"10.1007","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3479-4518","authenticated-orcid":false,"given":"Zachary","family":"Benavides","sequence":"first","affiliation":[]},{"given":"Keval","family":"Vora","sequence":"additional","affiliation":[]},{"given":"Rajiv","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"6","key":"341_CR1","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1002\/cpe.1553","volume":"22","author":"L Adhianto","year":"2010","unstructured":"Adhianto L, Banerjee S, Fagan M, Krentel M, Marin G, Mellor-Crummey J, Tallent NR (2010) HPCTOOLKIT: tools for performance analysis of optimized parallel programs. Concurr Comput Pract Exp 22(6):685\u2013701","journal-title":"Concurr Comput Pract Exp"},{"key":"341_CR2","unstructured":"Anderson TE, Lazowska ED (1990) Quartz: a tool for tuning parallel program performance. In: Proceedings of the ACM SIGMETRICS conference on measurement and modeling of computer systems, pp 115\u2013125"},{"key":"341_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-67531-2_7","volume-title":"Runtime Verification","author":"Zachary Benavides","year":"2017","unstructured":"Benavides Z, Vora K, Gupta R, Zhang X (2017) annotation guided collection of context-sensitive parallel execution profiles. In: International conference on runtime verification, LNCS 10548. Springer, Berlin, pp 103\u2013120"},{"key":"341_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6hme D, Wolf F, de\u00a0Supinski BR, Schulz M, Geimer M (2012) Scalable critical-path based performance analysis. In: IEEE International symposium on parallel and distributed processing symposium, pp 1330\u20131340","DOI":"10.1109\/IPDPS.2012.120"},{"key":"341_CR5","doi-asserted-by":"crossref","unstructured":"Curtsinger C, Berger ED (2015) Coz: finding code that counts with causal profiling. In: Proceedings of the symposium on operating systems principles, pp 184\u2013197","DOI":"10.1145\/2815400.2815409"},{"key":"341_CR6","doi-asserted-by":"crossref","unstructured":"David F, Thomas G, Lawall J, Muller G (2014) Continuously measuring critical section pressure with the free-lunch profiler. In: Proceedings of the ACM SIGPLAN international conference on object oriented programming systems languages applications, pp 291\u2013307","DOI":"10.1145\/2660193.2660210"},{"key":"341_CR7","unstructured":"Ding R, Zhou H, Lou JG, Zhang H, Lin Q, Fu Q, Zhang D, Xie T (2015) Log2: a cost-aware logging mechanism for performance diagnosis. In: USENIX Annual technical conference, pp 139\u2013150"},{"key":"341_CR8","doi-asserted-by":"crossref","unstructured":"Du\u00a0Bois K, Sartor JB, Eyerman S, Eeckhout L (2013) Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. In: Proceedings of the ACM SIGPLAN international conference on object oriented programming systems languages applications, pp 355\u2013372","DOI":"10.1145\/2509136.2509529"},{"issue":"6","key":"341_CR9","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1002\/cpe.1556","volume":"22","author":"M Geimer","year":"2010","unstructured":"Geimer M, Wolf F, Wylie BJ, \u00c1brah\u00e1m E, Becker D, Mohr B (2010) The scalasca performance toolset architecture. Concurr Comput Pract Exp 22(6):702\u2013719","journal-title":"Concurr Comput Pract Exp"},{"issue":"6","key":"341_CR10","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/872726.806987","volume":"17","author":"Susan L. Graham","year":"1982","unstructured":"Graham SL, Kessler PB, Mckusick MK (1982) Gprof: a call graph execution profiler. In: Proceedings of the 1982 SIGPLAN symposium on compiler construction, pp 120\u2013126","journal-title":"ACM SIGPLAN Notices"},{"key":"341_CR11","doi-asserted-by":"crossref","unstructured":"Hollingsworth JK (1996) An online computation of critical path profiling. In: Proceedings of the SIGMETRICS symposium on parallel and distributed tools, pp 11\u201320","DOI":"10.1145\/238020.238024"},{"key":"341_CR12","unstructured":"Hollingsworth JK, Miller BP (1992) Parallel program performance metrics: a comparison and validation. In: Proceedings of the ACM\/IEEE conference on supercomputing, pp 4\u201313"},{"key":"341_CR13","unstructured":"Hollingsworth JK, Miller BP (1992) Slack: a new performance metric for parallel programs. In: Computer sciences technical report"},{"key":"341_CR14","unstructured":"Intel Corp (2015) Intel 64 and IA-32 architectures software developer\u2019s manual, volume 2: instruction set reference, a-z. http:\/\/www.intel.com\/content\/dam\/www\/public\/us\/en\/documents\/manua-ls\/64-ia-32-architectures-software-developer-instruction-set-reference-manual-325383.pdf . Accessed 22 July 2016"},{"key":"341_CR15","doi-asserted-by":"crossref","unstructured":"Jeon D, Garcia S, Louie C, Taylor MB (2011) Kismet: parallel speedup estimates for serial programs. In: Proceedings of the ACM international conference on object oriented programming systems languages and applications, pp 519\u2013536","DOI":"10.1145\/2048066.2048108"},{"key":"341_CR16","first-page":"75","volume-title":"Lecture Notes in Computer Science","author":"Melanie Kambadur","year":"2014","unstructured":"Kambadur M, Tang K, Kim MA (2014) Parashares: finding the important basic blocks in multithreaded programs. In: European conference on parallel processing. Springer, Berlin, pp. 75\u201386"},{"key":"341_CR17","unstructured":"Leskovec J, Krevl A (2015) SNAP datasets: Stanford large network dataset collection. http:\/\/snap.stanford.edu\/"},{"issue":"2","key":"341_CR18","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/71.80132","volume":"1","author":"BP Miller","year":"1990","unstructured":"Miller BP, Clark M, Hollingsworth J, Kierstead S, Lim SS, Torzewski T (1990) IPS-2: the second generation of a parallel program measurement system. IEEE Trans Parallel Distrib Syst 1(2):206\u2013217","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"341_CR19","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-49530-4_17","volume-title":"Languages, Compilers, and Run-Time Systems for Scalable Computers","author":"Jeffrey Nesheiwat","year":"1998","unstructured":"Nesheiwat J, Szymanski BK (1998) Instrumentation database for performance analysis of parallel scientific applications. In: International workshop on languages, compilers, and run-time systems for scalable computers. Springer, Berlin, pp 229\u2013242"},{"key":"341_CR20","doi-asserted-by":"crossref","unstructured":"Nguyen D, Lenharth A, Pingali K (2013) A lightweight infrastructure for graph analytics. In: Proceedings of the twenty-fourth ACM symposium on operating systems principles, pp 456\u2013471","DOI":"10.1145\/2517349.2522739"},{"key":"341_CR21","first-page":"301","volume-title":"Lecture Notes in Computer Science","author":"Yoshihiro Oyama","year":"2000","unstructured":"Oyama Y, Taura K, Yonezawa A (2000) Online computation of critical paths for multithreaded languages. In: International parallel and distributed processing symposium, pp 301\u2013313"},{"key":"341_CR22","doi-asserted-by":"crossref","unstructured":"Shende S, Malony AD, Cuny J, Beckman P, Karmesin S, Lindlan K (1998) Portable profiling and tracing for parallel, scientific applications using C++. In: Proceedings of the SIGMETRICS symposium on parallel and distributed tools, pp 134\u2013145","DOI":"10.1145\/281035.281049"},{"key":"341_CR23","doi-asserted-by":"crossref","unstructured":"Tallent NR, Mellor-Crummey JM, Porterfield A (2010) Analyzing lock contention in multithreaded applications. In: Proceedings of the 15th ACM SIGPLAN symposium on principles and practice of parallel programming, pp 269\u2013280","DOI":"10.1145\/1693453.1693489"},{"issue":"11\u201312","key":"341_CR24","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1002\/cpe.778","volume":"15","author":"HL Truong","year":"2003","unstructured":"Truong HL, Fahringer T (2003) SCALEA: a performance analysis tool for parallel programs. Concurr Comput Pract Exp 15(11\u201312):1001\u20131025","journal-title":"Concurr Comput Pract Exp"},{"key":"341_CR25","doi-asserted-by":"crossref","unstructured":"Vora K, Gupta R, Xu G (2017) Kickstarter: fast and accurate computations on streaming graphs via trimmed approximations. In: Proceedings of the twenty-second international conference on architectural support for programming languages and operating systems, pp 237\u2013251","DOI":"10.1145\/3037697.3037748"},{"key":"341_CR26","doi-asserted-by":"crossref","unstructured":"Vora K, Koduru S-C, Gupta R (2014) ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM. In: Proceedings of the ACM international conference on object oriented programming systems languages and applications, pp 861\u2013878","DOI":"10.1145\/2660193.2660227"},{"key":"341_CR27","unstructured":"Yang CQ, Miller BP (1988) Critical path analysis for the execution of parallel and distributed programs. In: Proceedings of the 8th international conference on distributed computing systems, pp 366\u2013373"},{"key":"341_CR28","doi-asserted-by":"crossref","unstructured":"Yu X, Han S, Zhang D, Xie T (2014) Comprehending performance from real-world execution traces: a device-driver case. In: Proceedings of the 19th international conference on architectural support for programming languages and operating systems, pp 193\u2013206","DOI":"10.1145\/2541940.2541968"},{"key":"341_CR29","doi-asserted-by":"crossref","unstructured":"Yuan X, Wu C, Wang Z, Li J, Yew PC, Huang J, Feng X, Lan Y, Chen Y, Guan Y (2015) ReCBuLC: reproducing concurrency bugs using local clocks. In: Proceedings of the 37th international conference on software engineering-volume 1, pp 824\u2013834","DOI":"10.1109\/ICSE.2015.94"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-019-00341-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-019-00341-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-019-00341-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T12:05:03Z","timestamp":1695297903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-019-00341-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["341"],"URL":"https:\/\/doi.org\/10.1007\/s10703-019-00341-0","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}