{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:54:41Z","timestamp":1742946881429,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319681665"},{"type":"electronic","value":"9783319681672"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68167-2_6","type":"book-chapter","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T23:50:53Z","timestamp":1506383453000},"page":"84-90","source":"Crossref","is-referenced-by-count":0,"title":["An Equivalence Checking Framework for Array-Intensive Programs"],"prefix":"10.1007","author":[{"given":"Kunal","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chittaranjan","family":"Mandal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dipankar","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"issue":"8","key":"6_CR1","doi-asserted-by":"crossref","first-page":"1180","DOI":"10.1109\/TCAD.2014.2314392","volume":"33","author":"K Banerjee","year":"2014","unstructured":"Banerjee, K., Karfa, C., Sarkar, D., Mandal, C.: Verification of code motion techniques using value propagation. IEEE Trans. CAD ICS 33(8), 1180\u20131193 (2014)","journal-title":"IEEE Trans. CAD ICS"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, K., Mandal, C., Sarkar, D.: Translation validation of loop and arithmetic transformations in the presence of recurrences. In: LCTES, pp. 31\u201340 (2016)","DOI":"10.1145\/2907950.2907954"},{"issue":"4","key":"6_CR3","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/1278349.1278356","volume":"12","author":"Y Bouchebaba","year":"2007","unstructured":"Bouchebaba, Y., Girodias, B., Nicolescu, G., Aboulhamid, E.M., Lavigueur, B., Paulin, P.G.: MPSoC memory optimization using program transformation. ACM Trans. Design Autom. Electron. Syst. 12(4), 43 (2007)","journal-title":"ACM Trans. Design Autom. Electron. Syst."},{"issue":"5","key":"6_CR4","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TPDS.2005.57","volume":"16","author":"I Kadayif","year":"2005","unstructured":"Kadayif, I., Kandemir, M.T., Chen, G., Ozturk, O., Karak\u00f6y, M., Sezer, U.: Optimizing array-intensive applications for on-chip multiprocessors. IEEE Trans. Parallel Distrib. Syst. 16(5), 396\u2013411 (2005)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Karfa, C., Banerjee, K., Sarkar, D., Mandal, C.: Equivalence checking of array-intensive programs. In: ISVLSI, pp. 156\u2013161 (2011)","DOI":"10.1109\/ISVLSI.2011.61"},{"issue":"11","key":"6_CR6","doi-asserted-by":"crossref","first-page":"1787","DOI":"10.1109\/TCAD.2013.2272536","volume":"32","author":"C Karfa","year":"2013","unstructured":"Karfa, C., Banerjee, K., Sarkar, D., Mandal, C.: Verification of loop and arithmetic transformations of array-intensive behaviours. IEEE Trans. CAD ICS 32(11), 1787\u20131800 (2013)","journal-title":"IEEE Trans. CAD ICS"},{"issue":"3","key":"6_CR7","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1109\/TCAD.2009.2035542","volume":"29","author":"C Karfa","year":"2010","unstructured":"Karfa, C., Sarkar, D., Mandal, C.: Verification of datapath and controller generation phase in high-level synthesis of digital circuits. IEEE Trans. CAD ICS 29(3), 479\u2013492 (2010)","journal-title":"IEEE Trans. CAD ICS"},{"issue":"4","key":"6_CR8","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/TCAD.2010.2042889","volume":"29","author":"S Kundu","year":"2010","unstructured":"Kundu, S., Lerner, S., Gupta, R.: Translation validation of high-level synthesis. IEEE Trans. CAD ICS 29(4), 566\u2013579 (2010)","journal-title":"IEEE Trans. CAD ICS"},{"key":"6_CR9","unstructured":"Shashidhar, K.C.: Efficient automatic verification of loop and data-flow transformations by functional equivalence checking. Ph.D. thesis, Katholieke Universiteit Leuven (2008)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Shashidhar, K.C., Bruynooghe, M., Catthoor, F., Janssens, G.: Functional equivalence checking for verification of algebraic transformations on array-intensive source code. In: DATE, pp. 1310\u20131315 (2005)","DOI":"10.1109\/DATE.2005.163"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-642-15582-6_49","volume-title":"Mathematical Software \u2013 ICMS 2010","author":"S Verdoolaege","year":"2010","unstructured":"Verdoolaege, S.: isl: an integer set library for the polyhedral model. In: Fukuda, K., van der Hoeven, J., Joswig, M., Takayama, N. (eds.) ICMS 2010. LNCS, vol. 6327, pp. 299\u2013302. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-15582-6_49"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/978-3-642-02658-4_44","volume-title":"Computer Aided Verification","author":"S Verdoolaege","year":"2009","unstructured":"Verdoolaege, S., Janssens, G., Bruynooghe, M.: Equivalence checking of static affine programs using widening to handle recurrences. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 599\u2013613. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-02658-4_44"},{"issue":"3","key":"6_CR13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/2362389.2362390","volume":"34","author":"S Verdoolaege","year":"2012","unstructured":"Verdoolaege, S., Janssens, G., Bruynooghe, M.: Equivalence checking of static affine programs using widening to handle recurrences. ACM Trans. Program. Lang. Syst. 34(3), 11 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Zory, J., Coelho, F.: Using algebraic transformations to optimize expression evaluation in scientific codes. In: IEEE PACT, pp. 376\u2013384 (1998)","DOI":"10.1109\/PACT.1998.727284"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68167-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:50:00Z","timestamp":1507002600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68167-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681665","9783319681672"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}