{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:20Z","timestamp":1750306760652,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,17]],"date-time":"2013-11-17T00:00:00Z","timestamp":1384646400000},"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,11,17]]},"DOI":"10.1145\/2534248.2534250","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T15:29:17Z","timestamp":1382542157000},"page":"17-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Static compiler analysis for workflow provenance"],"prefix":"10.1145","author":[{"given":"Devarshi","family":"Ghoshal","sequence":"first","affiliation":[{"name":"Indiana University, Bloomington, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Chauhan","sequence":"additional","affiliation":[{"name":"Indiana University, Bloomington, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beth","family":"Plale","sequence":"additional","affiliation":[{"name":"Indiana University, Bloomington, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,17]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/2457317.2457370"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-642-34222-6_7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1247480.1247646"},{"key":"e_1_3_2_1_4_1","first-page":"316","volume-title":"ICDT","author":"Buneman P.","year":"2001","unstructured":"P. Buneman , S. Khanna , and W. chiew Tan. Why and where: A characterization of data provenance . In In ICDT , pages 316 -- 330 . Springer , 2001 . P. Buneman, S. Khanna, and W. chiew Tan. Why and where: A characterization of data provenance. In In ICDT, pages 316--330. Springer, 2001."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1060745.1060835"},{"issue":"4","key":"e_1_3_2_1_6_1","first-page":"38","article-title":"Issues in building practical provenance systems","volume":"30","author":"Chapman A.","year":"2007","unstructured":"A. Chapman and H. V. Jagadish . Issues in building practical provenance systems . IEEE Data Eng. Bull. , 30 ( 4 ): 38 -- 43 , 2007 . A. Chapman and H. V. Jagadish. Issues in building practical provenance systems. IEEE Data Eng. Bull., 30(4): 38--43, 2007.","journal-title":"IEEE Data Eng. Bull."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/HiPC.2012.6507517"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/1783534.1783549"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1561\/1900000006"},{"issue":"4","key":"e_1_3_2_1_10_1","first-page":"44","article-title":"Provenance in scientific workflow systems","volume":"30","author":"Davidson S. B.","year":"2007","unstructured":"S. B. Davidson and S. C. Boulakia . Provenance in scientific workflow systems . IEEE Data Eng. Bull. , 30 ( 4 ): 44 -- 50 , 2007 . S. B. Davidson and S. C. Boulakia. Provenance in scientific workflow systems. IEEE Data Eng. Bull., 30(4): 44--50, 2007.","journal-title":"IEEE Data Eng. Bull."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1376616.1376772"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/MCSE.2008.79"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/2457317.2457366"},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"First workshop on on Theory and practice of provenance, TAPP'09","author":"Gibson T.","year":"2009","unstructured":"T. Gibson , K. Schuchardt , and E. Stephan . Application of named graphs towards custom provenance views . In First workshop on on Theory and practice of provenance, TAPP'09 , pages 5: 1 -- 5 :5, Berkeley, CA, USA , 2009 . USENIX Association. T. Gibson, K. Schuchardt, and E. Stephan. Application of named graphs towards custom provenance views. In First workshop on on Theory and practice of provenance, TAPP'09, pages 5:1--5:5, Berkeley, CA, USA, 2009. USENIX Association."},{"key":"e_1_3_2_1_15_1","volume-title":"EPSRC","author":"Groth P.","year":"2005","unstructured":"P. Groth , S. Miles , and L. Moreau . Preserv: Provenance recording for services. In UK e-Science All Hands Meeting 2005 . EPSRC , 2005 . P. Groth, S. Miles, and L. Moreau. Preserv: Provenance recording for services. In UK e-Science All Hands Meeting 2005. EPSRC, 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1093\/nar\/gkl320"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5555\/1855795.1855802"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/11574620_57"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-3-540-89965-5_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.future.2010.07.005"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.5555\/1267359.1267363"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/1713254.1713258"},{"issue":"4","key":"e_1_3_2_1_23_1","first-page":"51","article-title":"Copyright and provenance: Some practical problems","volume":"30","author":"Ockerbloom J.","year":"2007","unstructured":"J. Ockerbloom . Copyright and provenance: Some practical problems . IEEE Data Eng. Bull. , 30 ( 4 ): 51 -- 58 , 2007 . J. Ockerbloom. Copyright and provenance: Some practical problems. IEEE Data Eng. Bull., 30(4): 51--58, 2007.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-540-89965-5_15","volume-title":"Provenance and annotation of data and processes","author":"Oliveira F. T.","year":"2008","unstructured":"F. T. Oliveira , L. Murta , C. Werner , and M. Mattoso . Provenance and annotation of data and processes . chapter Using Provenance to Improve Workflow Design, pages 136 -- 143 . Springer-Verlag , Berlin, Heidelberg , 2008 . F. T. Oliveira, L. Murta, C. Werner, and M. Mattoso. Provenance and annotation of data and processes. chapter Using Provenance to Improve Workflow Design, pages 136--143. Springer-Verlag, Berlin, Heidelberg, 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/1833398.1833402"},{"key":"e_1_3_2_1_26_1","volume-title":"International Journal of Computers and Their Applications (IJCA), 18(3): 180--195","author":"Simmhan Y.","year":"2011","unstructured":"Y. Simmhan and B. Plale . Using provenance for personalized quality ranking of scientific datasets . International Journal of Computers and Their Applications (IJCA), 18(3): 180--195 , 2011 . Y. Simmhan and B. Plale. Using provenance for personalized quality ranking of scientific datasets. International Journal of Computers and Their Applications (IJCA), 18(3): 180--195, 2011."},{"unstructured":"S. J. Simmons. Causal distributed assert statements. PhD thesis 1999. AAI9974950.   S. J. Simmons. Causal distributed assert statements . PhD thesis 1999. AAI9974950.","key":"e_1_3_2_1_27_1"},{"unstructured":"S. Stumpf E. Fitzhenry and T. G. Dietterich. The use of provenance in information retrieval.  S. Stumpf E. Fitzhenry and T. G. Dietterich. The use of provenance in information retrieval.","key":"e_1_3_2_1_28_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.5555\/2342875.2342891"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1109\/ISORC.2005.3"}],"event":{"sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture","IEEE CS"],"acronym":"SC13","name":"SC13: International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver Colorado"},"container-title":["Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2534248.2534250","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2534248.2534250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:42Z","timestamp":1750231722000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2534248.2534250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,17]]},"references-count":30,"alternative-id":["10.1145\/2534248.2534250","10.1145\/2534248"],"URL":"https:\/\/doi.org\/10.1145\/2534248.2534250","relation":{},"subject":[],"published":{"date-parts":[[2013,11,17]]},"assertion":[{"value":"2013-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}