{"id":"https://openalex.org/W2161466480","doi":"https://doi.org/10.1109/memcod.2011.5970516","title":"Predictive analysis for detecting serializability violations through Trace Segmentation","display_name":"Predictive analysis for detecting serializability violations through Trace Segmentation","publication_year":2011,"publication_date":"2011-07-01","ids":{"openalex":"https://openalex.org/W2161466480","doi":"https://doi.org/10.1109/memcod.2011.5970516","mag":"2161466480"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2011.5970516","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2011.5970516","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109671208","display_name":"Arnab Sinha","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Arnab Sinha","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085975362","display_name":"Sharad Malik","orcid":"https://orcid.org/0000-0002-0837-5443"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sharad Malik","raw_affiliation_strings":["Princeton University, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100406890","display_name":"Chao Wang","orcid":"https://orcid.org/0000-0001-7398-1127"},"institutions":[{"id":"https://openalex.org/I4210107353","display_name":"NEC (United States)","ror":"https://ror.org/01v791m31","country_code":"US","type":"company","lineage":["https://openalex.org/I118347220","https://openalex.org/I4210107353"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao Wang","raw_affiliation_strings":["NEC Laboratories of America, Inc., USA"],"affiliations":[{"raw_affiliation_string":"NEC Laboratories of America, Inc., USA","institution_ids":["https://openalex.org/I4210107353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041231710","display_name":"Aarti Gupta","orcid":"https://orcid.org/0000-0001-6676-9400"},"institutions":[{"id":"https://openalex.org/I4210107353","display_name":"NEC (United States)","ror":"https://ror.org/01v791m31","country_code":"US","type":"company","lineage":["https://openalex.org/I118347220","https://openalex.org/I4210107353"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aarti Gupta","raw_affiliation_strings":["NEC Laboratories America"],"affiliations":[{"raw_affiliation_string":"NEC Laboratories America","institution_ids":["https://openalex.org/I4210107353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5109671208"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":2.7702,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.91475754,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9048097133636475},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.8564631938934326},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7778066396713257},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.7045763731002808},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.6292458772659302},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.509935736656189},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37776145339012146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.376811683177948},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3241530656814575},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.2568463683128357},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.13506442308425903},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09364631772041321}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9048097133636475},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.8564631938934326},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7778066396713257},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.7045763731002808},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.6292458772659302},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.509935736656189},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37776145339012146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.376811683177948},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3241530656814575},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.2568463683128357},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.13506442308425903},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09364631772041321},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2011.5970516","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2011.5970516","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7900000214576721}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1128471365","https://openalex.org/W1522958625","https://openalex.org/W1575599371","https://openalex.org/W1579452275","https://openalex.org/W1581214603","https://openalex.org/W1600422503","https://openalex.org/W1862182621","https://openalex.org/W1972544179","https://openalex.org/W1973501242","https://openalex.org/W2023304911","https://openalex.org/W2101161997","https://openalex.org/W2111759889","https://openalex.org/W2118835133","https://openalex.org/W2122898375","https://openalex.org/W2125533170","https://openalex.org/W2135948849","https://openalex.org/W2153229512","https://openalex.org/W2157888439","https://openalex.org/W2159765571","https://openalex.org/W2159812975","https://openalex.org/W2162633985","https://openalex.org/W2164538023","https://openalex.org/W2165422215","https://openalex.org/W2169870841","https://openalex.org/W2911806870","https://openalex.org/W2998259759","https://openalex.org/W3006244958","https://openalex.org/W3017319410","https://openalex.org/W3137220996","https://openalex.org/W4243324871","https://openalex.org/W6631325585","https://openalex.org/W6634706149","https://openalex.org/W6634709934","https://openalex.org/W6635842002","https://openalex.org/W6639219617","https://openalex.org/W6678145302","https://openalex.org/W6684327164","https://openalex.org/W6758571485"],"related_works":["https://openalex.org/W50993356","https://openalex.org/W2084848907","https://openalex.org/W1497336670","https://openalex.org/W2383108850","https://openalex.org/W2249229821","https://openalex.org/W2034579025","https://openalex.org/W2409338718","https://openalex.org/W2037438990","https://openalex.org/W164845491","https://openalex.org/W2111900492"],"abstract_inverted_index":{"We":[0,66,102,137,148,243],"address":[1,67],"the":[2,36,62,88,93,104,111,135,143,151,164,174,196,210,229,241,249],"problem":[3,63],"of":[4,30,40,87,108,118,126,134,141,176,212,240,251],"detecting":[5,255],"serializability":[6,157,227,256],"violations":[7,158,257],"in":[8,21,26,32,52,69,110,183,195,254],"a":[9,16,44,72,77,84,116,167,177,190,226],"concurrent":[10],"program":[11],"using":[12],"predictive":[13],"analysis,":[14],"where":[15,198],"violation":[17],"is":[18,47,153,232],"detected":[19],"either":[20],"an":[22,27,237],"observed":[23,105],"trace":[24,113],"or":[25],"alternate":[28],"interleaving":[29,125,231],"events":[31,109,119,128,194],"that":[33,120,150,171,218,247],"trace.":[34],"Under":[35],"widely":[37],"used":[38],"notion":[39],"conflict-serializability,":[41],"checking":[42],"whether":[43],"given":[45,78,112],"execution":[46,133,239],"serializable":[48],"can":[49,172],"be":[50],"done":[51],"polynomial":[53],"time.":[54],"However,":[55],"when":[56,222],"all":[57,160],"possible":[58],"interleavings":[59,142,213],"are":[60,219],"considered,":[61],"becomes":[64],"intractable.":[65],"this":[68,139],"practice":[70],"through":[71],"graph-based":[73],"method,":[74],"which":[75],"for":[76,98,155,258],"atomic":[79],"block":[80],"and":[81,260],"trace,":[82,89],"derives":[83],"smaller":[85],"segment":[86],"referred":[90],"to":[91,114,130,208,234,236],"as":[92],"Trace":[94],"Atomicity":[95],"Segment":[96],"(TAS),":[97],"further":[99],"systematic":[100,191],"exploration.":[101],"use":[103,200],"write-read":[106],"pairs":[107],"consider":[115],"set":[117,140],"guarantee":[121],"feasibility,":[122],"i.e.,":[123],"each":[124],"these":[127],"corresponds":[129],"some":[131],"real":[132],"program.":[136,242],"call":[138],"almost":[144],"view-preserving":[145],"(AVP)":[146],"interleavings.":[147,162],"show":[149],"TAS":[152,165],"sufficient":[154],"finding":[156],"among":[159],"AVP":[161],"Further,":[163],"enables":[166],"simple":[168],"static":[169],"check":[170,180],"prove":[173],"absence":[175],"violation.":[178],"This":[179],"often":[181],"succeeds":[182],"practice.":[184],"If":[185],"it":[186],"fails,":[187],"we":[188,199],"perform":[189],"exploration":[192],"over":[193],"TAS,":[197],"dynamic":[201],"partial":[202],"order":[203],"reduction":[204],"with":[205],"additional":[206],"pruning":[207],"reduce":[209],"number":[211],"considered.":[214],"Unlike":[215],"previous":[216],"efforts":[217],"less":[220],"precise,":[221],"our":[223,252],"method":[224,253],"reports":[225],"violation,":[228],"reported":[230],"guaranteed":[233],"correspond":[235],"actual":[238],"report":[244],"experimental":[245],"results":[246],"demonstrate":[248],"effectiveness":[250],"Java":[259],"C/C++":[261],"benchmark":[262],"programs.":[263]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}