{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:11:29Z","timestamp":1743066689058,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"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_8","type":"book-chapter","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T23:50:53Z","timestamp":1506383453000},"page":"109-116","source":"Crossref","is-referenced-by-count":1,"title":["SamaTulyata: An Efficient Path Based Equivalence Checking Tool"],"prefix":"10.1007","author":[{"given":"Soumyadip","family":"Bandyopadhyay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santonu","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dipankar","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chittaranjan","family":"Mandal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: Pluto: a practical and fully automatic polyhedral program optimization system. In: PLDI (2008)","key":"8_CR1"},{"unstructured":"Par4All. http:\/\/www.par4all.org\/","key":"8_CR2"},{"issue":"6","key":"8_CR3","first-page":"753","volume":"41","author":"H Bae","year":"2013","unstructured":"Bae, H., Mustafa, D., Lee, J.W., Aurangzeb, A., Lin, H., Dave, C., Eigenmann, R., Midkiff, S.P.: The cetus source-to-source compiler infrastructure: overview and evaluation. IJPP 41(6), 753\u2013767 (2013)","journal-title":"IJPP"},{"doi-asserted-by":"crossref","unstructured":"Lidman, J., Quinlan, D.J., Liao, C., McKee, S.A.: Rose: FTTransform-a source-to-source translation framework for exascale fault-tolerance research. In: DSN Workshop, pp. 1\u20136 (2012)","key":"8_CR4","DOI":"10.1109\/DSNW.2012.6264672"},{"doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. In: PLDI, pp. 83\u201394 (2000)","key":"8_CR5","DOI":"10.1145\/349299.349314"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 151\u2013166. Springer, Heidelberg (1998). doi: 10.1007\/BFb0054170"},{"unstructured":"Rinard, M., Diniz, P.: Credible compilation. Technical report MIT-LCS-TR-776, MIT (1999)","key":"8_CR7"},{"doi-asserted-by":"crossref","unstructured":"Vafeiadis, V., Balabonski, T., Chakraborty, S., Morisset, R., Nardelli, F.: Common compiler optimisations are invalid in the C11 memory model and what we can do about it. In: POPL, pp. 209\u2013220 (2015)","key":"8_CR8","DOI":"10.1145\/2676726.2676995"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-540-70545-1_44","volume-title":"Computer Aided Verification","author":"S Kundu","year":"2008","unstructured":"Kundu, S., Lerner, S., Gupta, R.: Validating high-level synthesis. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 459\u2013472. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-70545-1_44"},{"doi-asserted-by":"crossref","unstructured":"Feng, X., Hu, A.J.: Cutpoints for formal equivalence verification of embedded software. In: Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005, pp. 307\u2013316 (2005)","key":"8_CR10","DOI":"10.1145\/1086228.1086284"},{"doi-asserted-by":"crossref","unstructured":"Bandyopadhyay, S., Sarkar, D., Mandal, C.: An efficient equivalence checking method for petri net based models of programs. In: ICSE, pp. 827\u2013828 (2015)","key":"8_CR11","DOI":"10.1109\/ICSE.2015.268"},{"issue":"2","key":"8_CR12","first-page":"1","volume":"26","author":"S Bandyopadhyay","year":"2016","unstructured":"Bandyopadhyay, S., Sarkar, D., Mandal, C.A., Banerjee, K., Duddu, K.R.: A path construction algorithm for translation validation using PRES+ models. PPL 26(2), 1\u201325 (2016)","journal-title":"PPL"},{"doi-asserted-by":"crossref","unstructured":"Bandyopadhyay, S., Sarkar, D., Banerjee, K., Mandal, C.: A path-based equivalence checking method for petri net based models of programs. In: ICSOFT, pp. 319\u2013329 (2015)","key":"8_CR13","DOI":"10.5220\/0005513903190329"},{"doi-asserted-by":"crossref","unstructured":"Bandyopadhyay, S., Sarkar, D., Mandal, C.: An efficient path based equivalence checking for petri net based models of programs. In: ISEC, pp. 70\u201379 (2016)","key":"8_CR14","DOI":"10.1145\/2856636.2856652"},{"doi-asserted-by":"crossref","unstructured":"Gupta, S., Dutt, N., Gupta, R., Nicolau, A.: SPARK: a high-level synthesis framework for applying parallelizing compiler transformations. In: Proceedings of International Conference on VLSI Design, pp. 461\u2013466 (2003)","key":"8_CR15","DOI":"10.1109\/ICVD.2003.1183177"},{"issue":"8","key":"8_CR16","first-page":"1180","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 TCAD 33(8), 1180\u20131193 (2014)","journal-title":"IEEE TCAD"},{"issue":"3","key":"8_CR17","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2209291.2209303","volume":"17","author":"C Karfa","year":"2012","unstructured":"Karfa, C., Mandal, C.A., Sarkar, D.: Formal verification of code motion techniques using data-flow-driven equivalence checking. TODAES 17(3), 30 (2012)","journal-title":"TODAES"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:37:38Z","timestamp":1570131458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68167-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681665","9783319681672"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}