{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:22:42Z","timestamp":1725661362815},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693064","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:07:25Z","timestamp":1389010045000},"page":"37-47","source":"Crossref","is-referenced-by-count":1,"title":["Efficient data race prediction with incremental reasoning on time-stamped lock history"],"prefix":"10.1109","author":[{"given":"Malay K.","family":"Ganai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"year":"0","key":"35"},{"key":"17","first-page":"285","article-title":"Basic notions of trace theory","author":"mazurkiewicz","year":"1988","journal-title":"Proc Workshop Linear Time Branching Time and Partial Order Logics and Models for Concurrency"},{"year":"0","key":"36"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100134"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781169"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451120"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1064"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"37","article-title":"Object race detection","author":"von praun","year":"2001","journal-title":"OOPSLA"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1145\/781498.781528","article-title":"Hybrid dynamic data race detection","author":"callahan","year":"2003","journal-title":"Symposium on Principles and Practice of Parallel Programming"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1147403.1147416"},{"key":"21","article-title":"Verifying commit-atomicity using model-checking","author":"flanagan","year":"2004","journal-title":"Proc of SPIN Workshop"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"22","article-title":"Verifying atomicity specifications for concurrent object-oriented software using model-checking","author":"hatcliff robby","year":"2004","journal-title":"Proc of VMCAI"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1145\/1040305.1040315","article-title":"Dynamic partial-order reduction for model checking software","author":"flanagan","year":"2005","journal-title":"Proc of POPL"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_49"},{"key":"25","article-title":"Causal atomicity","author":"farzan","year":"2006","journal-title":"Proc of CAV"},{"key":"26","article-title":"Fast and accurate static data-race detection for concurrent programs","author":"kahlon","year":"2009","journal-title":"Proc of TACAS"},{"key":"27","article-title":"Semantic reduction of thread interleavings in concurrent programs","author":"kahlon","year":"2009","journal-title":"Proc of TACAS"},{"key":"28","article-title":"Virtual time and global states of distributed systems","author":"mattern","year":"1988","journal-title":"Workshop on Parallel and Distributed Algorithms France"},{"key":"29","article-title":"Timestamps in message-passing systems that preserve the partial ordering","author":"fidge","year":"1988","journal-title":"Australian Computer Science Conference"},{"key":"3","article-title":"Symbolic predictive analysis for concurrent programs","author":"wang","year":"2009","journal-title":"International Symposium of Formal Methods"},{"key":"2","article-title":"Meta-analysis for atomicity violations under nested locking","author":"farzan","year":"2009","journal-title":"Proc of CAV"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.45"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100045"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_13"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23217-6_30"},{"key":"4","article-title":"Universal causality graph: A precise happens- before model for detecting bugs in concurrent programs","author":"kahlon","year":"2010","journal-title":"Proc of CAV"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393651"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103702"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693064.pdf?arnumber=6693064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T09:23:24Z","timestamp":1688894604000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693064\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693064","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}