{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:20:21Z","timestamp":1725618021617},"reference-count":46,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/icsm.2015.7332464","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T22:44:11Z","timestamp":1448318651000},"page":"181-190","source":"Crossref","is-referenced-by-count":1,"title":["Deterministic dynamic race detection across program versions"],"prefix":"10.1109","author":[{"given":"Sri Varun","family":"Poluri","sequence":"first","affiliation":[]},{"given":"Murali Krishna","family":"Ramanathan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1145\/2103656.2103702"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1145\/1375581.1375584"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/781498.781529","article-title":"Efficient on-the-fiy data race detection in multithreaded c++ programs","author":"pozniansky","year":"2003","journal-title":"Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.14778\/2095686.2095692"},{"year":"2007","author":"parr","journal-title":"The Definitive ANTLR Reference Building Domain-Specific Languages","key":"ref31"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/1629575.1629593"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1145\/265924.265927"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1145\/2813885.2737998"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1145\/2786805.2786874"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/2688204.2688205"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/HotSWUp.2012.6226615"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/ICSME.2014.58"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/2517349.2522735"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/2043556.2043588"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/2771783.2771813"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/945465.945468"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/1542476.1542490"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/1806672.1806674"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ICST.2010.33"},{"key":"ref18","first-page":"193","article-title":"R2 an application-level kernel for record and replay","author":"guo","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/2499370.2462167"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/1250734.1250785"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1735970.1736029"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/2491411.2501854"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/2160718.2160742"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1646353.1646374"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/ICSE.2009.5070538"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/1640089.1640096"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/504311.504287"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/2483760.2483764"},{"year":"0","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1735971.1736040"},{"year":"0","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1145\/2568225.2568294"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/2001420.2001437"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1145\/1375581.1375611"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-540-73368-3_26"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/2568225.2568236"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1145\/1287624.1287654"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/ICSME.2014.42"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1145\/2076021.2048083"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/359545.359563"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1007\/11531142_26","article-title":"Static deadlock detection for java libraries","author":"williams","year":"2005","journal-title":"ECOOP 200S-0bject-Oriented Programming"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/2555243.2555252"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1145\/2517349.2522734"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/2043556.2043587"}],"event":{"name":"2015 IEEE International Conference on Software Maintenance and Evolution (ICSME)","start":{"date-parts":[[2015,9,29]]},"location":"Bremen, Germany","end":{"date-parts":[[2015,10,1]]}},"container-title":["2015 IEEE International Conference on Software Maintenance and Evolution (ICSME)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7321954\/7332440\/07332464.pdf?arnumber=7332464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,26]],"date-time":"2022-05-26T22:32:07Z","timestamp":1653604327000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7332464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/icsm.2015.7332464","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}