{"id":"https://openalex.org/W4249000722","doi":"https://doi.org/10.1145/1133981.1134019","title":"LOCKSMITH","display_name":"LOCKSMITH","publication_year":2006,"publication_date":"2006-06-11","ids":{"openalex":"https://openalex.org/W4249000722","doi":"https://doi.org/10.1145/1133981.1134019"},"language":"en","primary_location":{"id":"doi:10.1145/1133981.1134019","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1133981.1134019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation","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/A5085697120","display_name":"Polyvios Pratikakis","orcid":"https://orcid.org/0000-0002-2700-1260"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Polyvios Pratikakis","raw_affiliation_strings":["University of Maryland, College Park"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038702707","display_name":"Jeffrey S. Foster","orcid":"https://orcid.org/0000-0001-8043-1166"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey S. Foster","raw_affiliation_strings":["University of Maryland, College Park"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046625836","display_name":"Michael Hicks","orcid":"https://orcid.org/0000-0002-2759-9223"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Hicks","raw_affiliation_strings":["University of Maryland, College Park"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085697120"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":14.7732,"has_fulltext":false,"cited_by_count":161,"citation_normalized_percentile":{"value":0.99353882,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"320","last_page":"331"},"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.9994999766349792,"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.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.8684369921684265},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5891851186752319},{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.5454046726226807},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4973650276660919},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.49260884523391724},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4887564182281494},{"id":"https://openalex.org/keywords/locality-of-reference","display_name":"Locality of reference","score":0.4828791916370392},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.4422318637371063},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3733252286911011},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35226792097091675},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3206058740615845},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.241512268781662},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17735165357589722},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.1250634789466858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8684369921684265},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5891851186752319},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.5454046726226807},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4973650276660919},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.49260884523391724},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4887564182281494},{"id":"https://openalex.org/C27602214","wikidata":"https://www.wikidata.org/wiki/Q1868547","display_name":"Locality of reference","level":3,"score":0.4828791916370392},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.4422318637371063},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3733252286911011},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35226792097091675},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3206058740615845},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.241512268781662},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17735165357589722},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.1250634789466858},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1133981.1134019","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1133981.1134019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7099999785423279,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1483476483","https://openalex.org/W1509382141","https://openalex.org/W1520671672","https://openalex.org/W1588593984","https://openalex.org/W1964952791","https://openalex.org/W1981962444","https://openalex.org/W1986453394","https://openalex.org/W1986698752","https://openalex.org/W1993836075","https://openalex.org/W1999075586","https://openalex.org/W2005192022","https://openalex.org/W2006638707","https://openalex.org/W2016323637","https://openalex.org/W2038677544","https://openalex.org/W2074003683","https://openalex.org/W2079752311","https://openalex.org/W2080573945","https://openalex.org/W2082766667","https://openalex.org/W2088139180","https://openalex.org/W2097687957","https://openalex.org/W2100505193","https://openalex.org/W2103957752","https://openalex.org/W2109875364","https://openalex.org/W2118227920","https://openalex.org/W2127989655","https://openalex.org/W2128453996","https://openalex.org/W2137949167","https://openalex.org/W2142837069","https://openalex.org/W2144118030","https://openalex.org/W2156268601","https://openalex.org/W2156428492","https://openalex.org/W2161600851","https://openalex.org/W4214630400","https://openalex.org/W4235116491","https://openalex.org/W4251803824","https://openalex.org/W4252120627","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W1555349535","https://openalex.org/W2583128298","https://openalex.org/W2053359564","https://openalex.org/W2161159383","https://openalex.org/W1495260638","https://openalex.org/W1511204342","https://openalex.org/W2369125128","https://openalex.org/W2369223577","https://openalex.org/W2010020348","https://openalex.org/W1982580072"],"abstract_inverted_index":{"One":[0],"common":[1],"technique":[2,63],"for":[3,31,40,93,119,140,146,154],"preventing":[4],"data":[5,33,150],"races":[6,34,179],"in":[7,35,149],"multi-threaded":[8,170],"programs":[9,37],"is":[10,64],"to":[11,16,77,111,116,127,166],"ensure":[12],"that":[13,69,79,114],"all":[14,120],"accesses":[15],"shared":[17],"locations":[18,53,80],"are":[19,81],"consistently":[20],"protected":[21],"by":[22,38,84],"a":[23,27,65,94,137,182],"lock.":[24],"We":[25,45,86,123],"present":[26,87],"tool":[28],"called":[29],"LOCKSMITH":[30,176],"detecting":[32],"C":[36,159],"looking":[39],"violations":[41],"of":[42,61,90,121,133,158,185],"this":[43],"pattern.":[44],"call":[46],"the":[47,52,59,75,88,129,134],"relationship":[48],"between":[49],"locks":[50,148],"and":[51,58,104,131,152,172],"they":[54],"protect":[55],"consistent":[56,71],"correlation,":[57],"core":[60,89],"our":[62,91],"novel":[66],"constraint-based":[67],"analysis":[68,139],"infers":[70],"correlation":[72],"context-sensitively,":[73],"using":[74],"results":[76],"check":[78],"properly":[82],"guarded":[83],"locks.":[85],"algorithm":[92,113],"simple":[95],"formal":[96],"language":[97],"\u03bb>":[98],"which":[99],"we":[100,107],"have":[101],"proven":[102],"sound,":[103],"discuss":[105],"how":[106],"scale":[108],"it":[109],"up":[110],"an":[112],"aims":[115],"be":[117],"sound":[118],"C.":[122],"develop":[124],"several":[125,167,178],"techniques":[126],"improve":[128],"precision":[130],"performance":[132],"analysis,":[135],"including":[136,169],"sharing":[138],"inferring":[141],"thread":[142],"locality;":[143],"existential":[144],"quantification":[145],"modeling":[147,155],"structures;":[151],"heuristics":[153],"unsafe":[156],"features":[157],"such":[160],"as":[161],"type":[162],"casts.":[163],"When":[164],"applied":[165],"benchmarks,":[168],"servers":[171],"Linux":[173],"device":[174],"drivers,":[175],"found":[177],"while":[180],"producing":[181],"modest":[183],"number":[184],"false":[186],"alarm.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":11},{"year":2013,"cited_by_count":9},{"year":2012,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}