{"id":"https://openalex.org/W2171537091","doi":"https://doi.org/10.1145/1377492.1377495","title":"Types for atomicity","display_name":"Types for atomicity","publication_year":2008,"publication_date":"2008-07-01","ids":{"openalex":"https://openalex.org/W2171537091","doi":"https://doi.org/10.1145/1377492.1377495","mag":"2171537091"},"language":"en","primary_location":{"id":"doi:10.1145/1377492.1377495","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1377492.1377495","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1377492.1377495","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1377492.1377495","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018139743","display_name":"Cormac Flanagan","orcid":"https://orcid.org/0000-0002-1828-3120"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cormac Flanagan","raw_affiliation_strings":["University of California at Santa Cruz, Santa Cruz, CA"],"affiliations":[{"raw_affiliation_string":"University of California at Santa Cruz, Santa Cruz, CA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110858761","display_name":"Stephen N. Freund","orcid":"https://orcid.org/0009-0000-6992-199X"},"institutions":[{"id":"https://openalex.org/I22675022","display_name":"Williams College","ror":"https://ror.org/04avkmd49","country_code":"US","type":"education","lineage":["https://openalex.org/I22675022"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen N. Freund","raw_affiliation_strings":["Williams College, Williamstown, MA"],"affiliations":[{"raw_affiliation_string":"Williams College, Williamstown, MA","institution_ids":["https://openalex.org/I22675022"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028798829","display_name":"Marina Lifshin","orcid":null},"institutions":[{"id":"https://openalex.org/I22675022","display_name":"Williams College","ror":"https://ror.org/04avkmd49","country_code":"US","type":"education","lineage":["https://openalex.org/I22675022"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marina Lifshin","raw_affiliation_strings":["Williams College, Williamstown, MA"],"affiliations":[{"raw_affiliation_string":"Williams College, Williamstown, MA","institution_ids":["https://openalex.org/I22675022"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072464909","display_name":"Shaz Qadeer","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shaz Qadeer","raw_affiliation_strings":["Microsoft Research, Redmond, WA"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Redmond, WA","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018139743"],"corresponding_institution_ids":["https://openalex.org/I185103710"],"apc_list":null,"apc_paid":null,"fwci":7.2526,"has_fulltext":true,"cited_by_count":62,"citation_normalized_percentile":{"value":0.97522097,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"30","issue":"4","first_page":"1","last_page":"53"},"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.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.9785743951797485},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9014556407928467},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7144739627838135},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6052163243293762},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5697895288467407},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5298314690589905},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.5154822468757629},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.4428689777851105},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.44135579466819763},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36822444200515747},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3454989790916443},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.31005018949508667},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07708573341369629}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9785743951797485},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9014556407928467},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7144739627838135},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6052163243293762},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5697895288467407},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5298314690589905},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5154822468757629},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.4428689777851105},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.44135579466819763},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36822444200515747},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3454989790916443},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.31005018949508667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07708573341369629},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1377492.1377495","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1377492.1377495","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1377492.1377495","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1377492.1377495","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1377492.1377495","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1377492.1377495","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6299999952316284}],"awards":[{"id":"https://openalex.org/G1679160998","display_name":null,"funder_award_id":"034138","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3348506684","display_name":null,"funder_award_id":"3.41E+26","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3542335069","display_name":"Checking Atomicity for Improved Multithreaded Software Reliability","funder_award_id":"0341179","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5962949052","display_name":"CAREER: Hybrid Atomicity Checking","funder_award_id":"0644130","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G894160275","display_name":"RUI:     Modules and Parallel Specialization of Object Types","funder_award_id":"0306486","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306151","display_name":"Alfred P. Sloan Foundation","ror":"https://ror.org/052csg198"},{"id":"https://openalex.org/F4320308845","display_name":"Williams College","ror":"https://ror.org/04avkmd49"},{"id":"https://openalex.org/F4320309018","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2171537091.pdf","grobid_xml":"https://content.openalex.org/works/W2171537091.grobid-xml"},"referenced_works_count":96,"referenced_works":["https://openalex.org/W39476269","https://openalex.org/W125251596","https://openalex.org/W298244054","https://openalex.org/W1482207865","https://openalex.org/W1483476483","https://openalex.org/W1486694616","https://openalex.org/W1487375638","https://openalex.org/W1495744068","https://openalex.org/W1496148388","https://openalex.org/W1500418543","https://openalex.org/W1520671672","https://openalex.org/W1534993236","https://openalex.org/W1546106366","https://openalex.org/W1569340163","https://openalex.org/W1570482200","https://openalex.org/W1593488045","https://openalex.org/W1644882639","https://openalex.org/W1698939026","https://openalex.org/W1857467995","https://openalex.org/W1965462925","https://openalex.org/W1972544179","https://openalex.org/W1986698752","https://openalex.org/W1993836075","https://openalex.org/W1994305220","https://openalex.org/W1998070736","https://openalex.org/W2002179840","https://openalex.org/W2014530617","https://openalex.org/W2045313089","https://openalex.org/W2046137117","https://openalex.org/W2068336423","https://openalex.org/W2068387890","https://openalex.org/W2072062729","https://openalex.org/W2072419942","https://openalex.org/W2080267935","https://openalex.org/W2080648611","https://openalex.org/W2082766667","https://openalex.org/W2091085450","https://openalex.org/W2097687957","https://openalex.org/W2101939036","https://openalex.org/W2102640269","https://openalex.org/W2102731275","https://openalex.org/W2103957752","https://openalex.org/W2107978495","https://openalex.org/W2108204150","https://openalex.org/W2109875364","https://openalex.org/W2114346176","https://openalex.org/W2119964141","https://openalex.org/W2122206368","https://openalex.org/W2125165081","https://openalex.org/W2127163775","https://openalex.org/W2127989655","https://openalex.org/W2129133667","https://openalex.org/W2131791649","https://openalex.org/W2132172842","https://openalex.org/W2132500556","https://openalex.org/W2133662847","https://openalex.org/W2137422315","https://openalex.org/W2138338745","https://openalex.org/W2141607910","https://openalex.org/W2147349382","https://openalex.org/W2147351452","https://openalex.org/W2156428492","https://openalex.org/W2157876236","https://openalex.org/W2157888439","https://openalex.org/W2158449625","https://openalex.org/W2161600851","https://openalex.org/W2164063418","https://openalex.org/W2164496154","https://openalex.org/W2165825461","https://openalex.org/W2166615267","https://openalex.org/W2168704035","https://openalex.org/W2169611673","https://openalex.org/W2172255864","https://openalex.org/W2177603938","https://openalex.org/W2245219974","https://openalex.org/W2295450001","https://openalex.org/W2561675875","https://openalex.org/W2911481279","https://openalex.org/W2911524086","https://openalex.org/W2912676451","https://openalex.org/W3137220996","https://openalex.org/W3146519985","https://openalex.org/W4231495260","https://openalex.org/W4235116491","https://openalex.org/W4242949098","https://openalex.org/W4247660350","https://openalex.org/W4249000722","https://openalex.org/W4249800674","https://openalex.org/W4250016899","https://openalex.org/W4285719527","https://openalex.org/W4295886271","https://openalex.org/W4300810260","https://openalex.org/W6600877323","https://openalex.org/W6614337950","https://openalex.org/W6629522299","https://openalex.org/W6681606962"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2899146177","https://openalex.org/W2167421399","https://openalex.org/W2019062800","https://openalex.org/W2616010075","https://openalex.org/W1507160831","https://openalex.org/W2186490196","https://openalex.org/W2614427934","https://openalex.org/W2793788250","https://openalex.org/W2162969183"],"abstract_inverted_index":{"Atomicity":[0],"is":[1,11,18,156],"a":[2,55,71,127,157],"fundamental":[3],"correctness":[4],"property":[5],"in":[6,23,66,148,172],"multithreaded":[7,67,161],"programs.":[8,136,178],"A":[9],"method":[10,29],"atomic":[12],"if,":[13],"for":[14,58,81,110,160],"every":[15],"execution,":[16],"there":[17],"an":[19,108],"equivalent":[20],"serial":[21],"execution":[22],"which":[24,45],"the":[25,28,62,143,173],"actions":[26,34],"of":[27,35,64,73,76,129,146,176],"are":[30,40],"not":[31],"interleaved":[32],"with":[33],"other":[36],"threads.":[37],"Atomic":[38],"methods":[39,65,147],"amenable":[41],"to":[42,126,141],"sequential":[43],"reasoning,":[44],"significantly":[46],"facilitates":[47],"subsequent":[48],"analysis":[49],"and":[50,60,78,90,100,102,122,135],"verification.":[51],"This":[52],"article":[53],"presents":[54],"type":[56,79,85,114,120,123],"system":[57,86],"specifying":[59],"verifying":[61,111],"atomicity":[63,112,155,166],"Java":[68,132],"programs":[69],"using":[70],"synthesis":[72],"Lipton's":[74],"theory":[75],"reduction":[77],"systems":[80],"race":[82],"detection.":[83],"The":[84],"supports":[87],"guarded,":[88],"write-guarded,":[89],"unguarded":[91],"fields,":[92],"as":[93,95,151],"well":[94],"thread-local":[96],"data,":[97],"parameterized":[98],"classes":[99,134],"methods,":[101],"protected":[103],"locks.":[104],"We":[105,116],"also":[106],"present":[107],"algorithm":[109],"via":[113],"inference.":[115],"have":[117],"applied":[118],"our":[119],"checker":[121],"inference":[124],"tools":[125,138],"number":[128],"commonly":[130],"used":[131],"library":[133],"These":[137],"were":[139],"able":[140],"verify":[142],"vast":[144],"majority":[145],"these":[149,177],"benchmarks":[150],"atomic,":[152],"indicating":[153],"that":[154],"widespread":[158],"methodology":[159],"programming.":[162],"In":[163],"addition,":[164],"reported":[165],"violations":[167],"revealed":[168],"some":[169],"subtle":[170],"errors":[171],"synchronization":[174],"disciplines":[175]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":8}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}