{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:04:20Z","timestamp":1776305060530,"version":"3.50.1"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970516","type":"proceedings-article","created":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T02:16:29Z","timestamp":1312424189000},"page":"99-108","source":"Crossref","is-referenced-by-count":26,"title":["Predictive analysis for detecting serializability violations through Trace Segmentation"],"prefix":"10.1109","author":[{"given":"Arnab","family":"Sinha","sequence":"first","affiliation":[]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Aarti","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"337","article-title":"Runtime safety analysis of multithreaded programs","author":"sen","year":"2003","journal-title":"Symp on Found of Soft Eng"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_27"},{"key":"ref12","article-title":"Maximal causal models for multithreaded systems","author":"serb?nut?","year":"0","journal-title":"Tech Rep"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1639622.1639630"},{"key":"ref14","first-page":"328","article-title":"Trace-based symbolic analysis for atomicity violations","author":"wang","year":"2010","journal-title":"TACAS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref16","first-page":"248","article-title":"Meta-analysis for atomicity violations under nested locking","author":"farzan","year":"2009","journal-title":"CAV"},{"key":"ref17","first-page":"434","article-title":"Universal Causality Graphs: A precise happens-before model for detecting bugs in concurrent programs","author":"kahlon","year":"2010","journal-title":"CAV"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"ref19","article-title":"Inspect: A Runtime Model Checker for Multithreaded C Programs","author":"yang","year":"2008","journal-title":"Tech Rep UUCS-08-004"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"ref4","first-page":"155","article-title":"The complexity of predicting atomicity violations","author":"farzan","year":"2009","journal-title":"TACAS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250785"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"ref6","first-page":"315","article-title":"Causal atomicity","author":"farzan","year":"2006","journal-title":"CAV"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.1599419"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470389"},{"key":"ref8","first-page":"52","article-title":"Monitoring atomicity in concurrent programs","author":"farzan","year":"2008","journal-title":"CAV"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065013"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"},{"key":"ref21","year":"0"},{"key":"ref24","article-title":"Joint cav\/issta special event on specification, verification, and testing of concurrent software","year":"0"},{"key":"ref23","first-page":"245","article-title":"Using runtime analysis to guide model checking of java programs","author":"havelund","year":"2000","journal-title":"SPIN"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.6.a5"},{"key":"ref25","article-title":"Java grande forum benchmark suite","year":"0"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","location":"Cambridge, United Kingdom","start":{"date-parts":[[2011,7,11]]},"end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970516.pdf?arnumber=5970516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T01:42:59Z","timestamp":1490060579000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970516\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970516","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}