{"id":"https://openalex.org/W4292595668","doi":"https://doi.org/10.1145/3548684","title":"Patching Locking Bugs Statically with Crayons","display_name":"Patching Locking Bugs Statically with Crayons","publication_year":2022,"publication_date":"2022-08-22","ids":{"openalex":"https://openalex.org/W4292595668","doi":"https://doi.org/10.1145/3548684"},"language":"en","primary_location":{"id":"doi:10.1145/3548684","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3548684","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3548684","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3548684","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052615098","display_name":"Juan A. Cruz-Carl\u00f3n","orcid":"https://orcid.org/0000-0002-1987-8361"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Juan Cruz-Carlon","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036805687","display_name":"Mahsa Varshosaz","orcid":"https://orcid.org/0000-0002-4776-883X"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Mahsa Varshosaz","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032356672","display_name":"Claire Le Goues","orcid":"https://orcid.org/0000-0002-3931-060X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Claire Le Goues","raw_affiliation_strings":["Carnegie Mellon University School of Computer Science, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University School of Computer Science, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056755949","display_name":"Andrzej W\u0105sowski","orcid":"https://orcid.org/0000-0003-0532-2685"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andrzej Wasowski","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052615098"],"corresponding_institution_ids":["https://openalex.org/I83467386"],"apc_list":null,"apc_paid":null,"fwci":0.8256,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.72687772,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"32","issue":"3","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9876000285148621,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8100299835205078},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5407100319862366},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.409172385931015}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8100299835205078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5407100319862366},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.409172385931015}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3548684","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3548684","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3548684","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/390a76e2-8df8-4f47-a492-3f53d89714bd","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/390a76e2-8df8-4f47-a492-3f53d89714bd","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cruz, A, Varshosaz, M, Le Goues, C & Wasowski, A 2022, 'Patching Locking Bugs Statically with Crayons', ACM Transactions on Software Engineering and Methodology. https://doi.org/10.1145/3548684","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3548684","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3548684","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3548684","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6399999856948853,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G479325200","display_name":"CAREER: Quality Matters: Dynamic, Static and Proactive Analyses for Automated Program Repair","funder_award_id":"1750116","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5175029260","display_name":null,"funder_award_id":"CCF-1750116 NSF","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4292595668.pdf","grobid_xml":"https://content.openalex.org/works/W4292595668.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W777621473","https://openalex.org/W989845945","https://openalex.org/W1560374668","https://openalex.org/W1604551772","https://openalex.org/W1872701416","https://openalex.org/W1967959506","https://openalex.org/W2013560272","https://openalex.org/W2025791343","https://openalex.org/W2045238089","https://openalex.org/W2063387237","https://openalex.org/W2079066759","https://openalex.org/W2086464170","https://openalex.org/W2087527532","https://openalex.org/W2093101674","https://openalex.org/W2112401557","https://openalex.org/W2135954168","https://openalex.org/W2145373440","https://openalex.org/W2344973853","https://openalex.org/W2373227884","https://openalex.org/W2380139570","https://openalex.org/W2514084604","https://openalex.org/W2546468634","https://openalex.org/W2605202003","https://openalex.org/W2735592989","https://openalex.org/W2740343870","https://openalex.org/W2740646481","https://openalex.org/W2751343396","https://openalex.org/W2795030435","https://openalex.org/W2795338679","https://openalex.org/W2888262223","https://openalex.org/W2904214673","https://openalex.org/W2953998535","https://openalex.org/W2968109196","https://openalex.org/W2972704946","https://openalex.org/W2979679630","https://openalex.org/W2998011150","https://openalex.org/W3029993213","https://openalex.org/W4233410239","https://openalex.org/W4244051999","https://openalex.org/W4253752119","https://openalex.org/W6786519380"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"The":[0,42],"Linux":[1,25,56,107],"Kernel":[2],"is":[3,26],"a":[4,57,72,95],"world-class":[5],"operating":[6],"system":[7],"controlling":[8],"most":[9,21],"of":[10,22,30,114,120,161,176],"our":[11],"computing":[12],"infrastructure:":[13],"mobile":[14],"devices,":[15],"Internet":[16],"routers":[17],"and":[18,20,50,59,165,179],"services,":[19],"the":[23,69,106,111,118,133,137,147,162,170,177,181],"supercomputers.":[24],"also":[27],"an":[28],"example":[29],"low-level":[31],"software":[32],"with":[33,128],"no":[34],"comprehensive":[35],"regression":[36],"test":[37],"suite":[38],"(for":[39],"good":[40],"reasons).":[41],"kernel\u2019s":[43],"tremendous":[44],"societal":[45],"importance":[46],"imposes":[47],"strict":[48],"stability":[49],"correctness":[51],"requirements.":[52],"These":[53],"properties":[54],"make":[55],"challenging":[58],"relevant":[60],"target":[61],"for":[62,174,184],"static":[63,96,115,126,138],"automated":[64],"program":[65,122],"repair":[66],"(APR).":[67],"Over":[68],"past":[70],"decade,":[71],"significant":[73],"progress":[74],"has":[75],"been":[76],"made":[77],"in":[78,105,146,159],"dynamic":[79,82],"APR.":[80],"However,":[81],"APR":[83,97],"techniques":[84],"do":[85],"not":[86],"translate":[87],"naturally":[88],"to":[89,131,152],"systems":[90],"without":[91],"tests.":[92],"We":[93,109],"present":[94],"technique":[98],"addressing":[99],"sequential":[100],"locking":[101],"API":[102],"misuse":[103],"bugs":[104,145],"Kernel.":[108],"attack":[110],"key":[112],"challenge":[113],"APR,":[116],"namely,":[117],"lack":[119],"detailed":[121],"specification,":[123],"by":[124,136],"combining":[125],"analysis":[127],"machine":[129],"learning":[130],"complement":[132],"information":[134],"presented":[135],"analyzer.":[139],"In":[140],"experiments":[141],"on":[142],"historical":[143],"real-world":[144],"kernel,":[148],"we":[149],"were":[150],"able":[151],"automatically":[153,166],"re-produce":[154],"or":[155],"propose":[156],"equivalent":[157],"patches":[158],"85%":[160],"human-made":[163],"patches,":[164],"rank":[167],"them":[168],"among":[169,180],"top":[171,182],"three":[172],"candidates":[173],"64%":[175],"cases":[178],"five":[183],"74%.":[185]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}