{"id":"https://openalex.org/W2968771279","doi":"https://doi.org/10.1145/3360543","title":"CLOTHO: directed test generation for weakly consistent database systems","display_name":"CLOTHO: directed test generation for weakly consistent database systems","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W2968771279","doi":"https://doi.org/10.1145/3360543","mag":"2968771279"},"language":"en","primary_location":{"id":"doi:10.1145/3360543","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360543","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360543","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3360543","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059377070","display_name":"Kia Rahmani","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kia Rahmani","raw_affiliation_strings":["Purdue University, USA","Purdue Univ (USA)"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue Univ (USA)","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046570178","display_name":"Kartik Nagar","orcid":"https://orcid.org/0000-0002-0679-226X"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kartik Nagar","raw_affiliation_strings":["Purdue University, USA","Purdue Univ (USA)"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue Univ (USA)","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073767542","display_name":"Benjamin Delaware","orcid":"https://orcid.org/0000-0002-1016-6261"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin Delaware","raw_affiliation_strings":["Purdue University, USA","Purdue Univ (USA)"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue Univ (USA)","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034957233","display_name":"Suresh Jagannathan","orcid":"https://orcid.org/0000-0001-6871-2424"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suresh Jagannathan","raw_affiliation_strings":["Purdue University, USA","Purdue Univ (USA)"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Purdue Univ (USA)","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059377070"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.11092935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":"OOPSLA","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9940999746322632,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8817507028579712},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.7447687387466431},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.46322277188301086},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4482927620410919},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.42364057898521423},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.4204216003417969},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4143717885017395},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.40263134241104126},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3947317600250244},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38010236620903015},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.28040003776550293},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.22112461924552917}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8817507028579712},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.7447687387466431},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.46322277188301086},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4482927620410919},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.42364057898521423},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.4204216003417969},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4143717885017395},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.40263134241104126},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3947317600250244},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38010236620903015},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.28040003776550293},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.22112461924552917}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3360543","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360543","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360543","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1908.05655","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1908.05655","pdf_url":"https://arxiv.org/pdf/1908.05655","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2968771279","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1908.05655.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1908.05655","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1908.05655","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3360543","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360543","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360543","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G2124059839","display_name":null,"funder_award_id":"CCF-SHF 1717741","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4306282315","display_name":null,"funder_award_id":"FA8750-17-1-0006","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2968771279.pdf","grobid_xml":"https://content.openalex.org/works/W2968771279.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W193566757","https://openalex.org/W1916848204","https://openalex.org/W1995339490","https://openalex.org/W1996952974","https://openalex.org/W2023304911","https://openalex.org/W2047068447","https://openalex.org/W2082766667","https://openalex.org/W2098005317","https://openalex.org/W2101027550","https://openalex.org/W2105986479","https://openalex.org/W2111759889","https://openalex.org/W2117917070","https://openalex.org/W2119887456","https://openalex.org/W2127428602","https://openalex.org/W2134164054","https://openalex.org/W2138536231","https://openalex.org/W2138546883","https://openalex.org/W2138640277","https://openalex.org/W2143339985","https://openalex.org/W2143725230","https://openalex.org/W2153229512","https://openalex.org/W2169611673","https://openalex.org/W2171008784","https://openalex.org/W2209943643","https://openalex.org/W2240667924","https://openalex.org/W2282477915","https://openalex.org/W2288327952","https://openalex.org/W2293215590","https://openalex.org/W2485415552","https://openalex.org/W2540479136","https://openalex.org/W2567103853","https://openalex.org/W2592053473","https://openalex.org/W2613747361","https://openalex.org/W2615455309","https://openalex.org/W2797563685","https://openalex.org/W2798416929","https://openalex.org/W2798647014","https://openalex.org/W2885875591","https://openalex.org/W2898350964","https://openalex.org/W2962923638","https://openalex.org/W4235116491","https://openalex.org/W4243324871","https://openalex.org/W4253112693"],"related_works":["https://openalex.org/W2979656637","https://openalex.org/W3166592062","https://openalex.org/W66150051","https://openalex.org/W2031374177","https://openalex.org/W2186354629","https://openalex.org/W1968574122","https://openalex.org/W2037438990","https://openalex.org/W2438921057","https://openalex.org/W2082840902","https://openalex.org/W131227365","https://openalex.org/W2898836676","https://openalex.org/W2945152208","https://openalex.org/W1936754123","https://openalex.org/W2970687913","https://openalex.org/W656463183","https://openalex.org/W1600346672","https://openalex.org/W2167868416","https://openalex.org/W1565708776","https://openalex.org/W2147874879","https://openalex.org/W749536282"],"abstract_inverted_index":{"Relational":[0],"database":[1,13,57,87],"applications":[2,116,183],"are":[3],"notoriously":[4],"difficult":[5],"to":[6,24,44,61,92,138,185],"test":[7,154,161,174],"and":[8,53,95,135,148],"debug.":[9],"Concurrent":[10],"execution":[11,67],"of":[12,27,34,48,68,166,181,197,203],"transactions":[14,70],"may":[15],"violate":[16],"complex":[17],"structural":[18],"invariants":[19],"that":[20,130],"constraint":[21],"how":[22,50],"changes":[23],"the":[25,32,37,46,164,171,201],"contents":[26,33],"one":[28,42],"(shared)":[29],"table":[30],"affect":[31,56],"another.":[35],"Simplifying":[36],"underlying":[38],"concurrency":[39],"model":[40,136],"is":[41,89,170],"way":[43],"ameliorate":[45],"difficulty":[47],"understanding":[49],"concurrent":[51],"accesses":[52],"updates":[54],"can":[55],"state":[58,88],"with":[59],"respect":[60],"these":[62,99,146],"sophisticated":[63],"properties.":[64],"Enforcing":[65],"serializable":[66],"all":[69],"achieves":[71],"this":[72,101],"simplification,":[73],"but":[74],"it":[75],"comes":[76],"at":[77,84],"a":[78,104,127,132,160,195],"significant":[79],"price":[80],"in":[81,112,126,145,159,187],"performance,":[82],"especially":[83],"scale,":[85],"where":[86],"often":[90],"replicated":[91],"improve":[93],"latency":[94],"availability.":[96],"To":[97,163],"address":[98],"challenges,":[100],"paper":[102],"presents":[103],"novel":[105],"testing":[106],"framework":[107],"for":[108,157,177],"detecting":[109],"serializability":[110,143,179],"violations":[111,144],"(SQL)":[113],"database-backed":[114],"Java":[115,182],"executing":[117],"on":[118,194],"weakly-consistent":[119],"storage":[120],"systems.":[121],"We":[122],"manifest":[123],"our":[124,167,204],"approach":[125],"tool,":[128],"CLOTHO,":[129,169],"combines":[131],"static":[133],"analyzer":[134],"checker":[137],"generate":[139],"abstract":[140],"executions,":[141,147],"discover":[142],"translate":[149],"them":[150],"back":[151],"into":[152],"concrete":[153],"inputs":[155],"suitable":[156],"deployment":[158],"environment.":[162],"best":[165],"knowledge,":[168],"first":[172],"automated":[173],"generation":[175],"facility":[176],"identifying":[178],"anomalies":[180],"intended":[184],"operate":[186],"geo-replicated":[188],"distributed":[189],"environments.":[190],"An":[191],"experimental":[192],"evaluation":[193],"set":[196],"industry-standard":[198],"benchmarks":[199],"demonstrates":[200],"utility":[202],"approach.":[205]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}