{"id":"https://openalex.org/W3142781658","doi":"https://doi.org/10.1109/icse.2012.6227158","title":"Static detection of resource contention problems in server-side scripts","display_name":"Static detection of resource contention problems in server-side scripts","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3142781658","doi":"https://doi.org/10.1109/icse.2012.6227158","mag":"3142781658"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2012.6227158","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227158","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","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/A5039824895","display_name":"Yunhui Zheng","orcid":"https://orcid.org/0000-0002-6794-3199"},"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":"Yunhui Zheng","raw_affiliation_strings":["Department of Computer Science, Purdue University","Department of Computer Science, Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Purdue University","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Department of Computer Science, Purdue University, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107249133","display_name":"Xiangyu Zhang","orcid":"https://orcid.org/0000-0002-9544-2500"},"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":"Xiangyu Zhang","raw_affiliation_strings":["Department of Computer Science, Purdue University","Department of Computer Science, Purdue University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Purdue University","institution_ids":["https://openalex.org/I219193219"]},{"raw_affiliation_string":"Department of Computer Science, Purdue University, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2358,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.89436774,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"584","last_page":"594"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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/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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/atomicity","display_name":"Atomicity","score":0.9784862995147705},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8727492094039917},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.6767867803573608},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5610980987548828},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5154000520706177},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4865528643131256},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34433168172836304},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3362114429473877},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.29480504989624023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2811175584793091},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.1692860722541809}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9784862995147705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8727492094039917},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.6767867803573608},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5610980987548828},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5154000520706177},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4865528643131256},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34433168172836304},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3362114429473877},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.29480504989624023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2811175584793091},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.1692860722541809}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icse.2012.6227158","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227158","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.44999998807907104,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W109951691","https://openalex.org/W1491178396","https://openalex.org/W1501456447","https://openalex.org/W1966982815","https://openalex.org/W1972544179","https://openalex.org/W1982125317","https://openalex.org/W2007777090","https://openalex.org/W2013344554","https://openalex.org/W2035382792","https://openalex.org/W2075573771","https://openalex.org/W2082766667","https://openalex.org/W2088018315","https://openalex.org/W2106578314","https://openalex.org/W2107356891","https://openalex.org/W2117069557","https://openalex.org/W2118529754","https://openalex.org/W2120027538","https://openalex.org/W2122141789","https://openalex.org/W2123106754","https://openalex.org/W2123999120","https://openalex.org/W2133662847","https://openalex.org/W2137422315","https://openalex.org/W2152560243","https://openalex.org/W2166150184","https://openalex.org/W2404990348","https://openalex.org/W2998398829","https://openalex.org/W3000428991","https://openalex.org/W3010519285","https://openalex.org/W3023641965","https://openalex.org/W3160702073","https://openalex.org/W4211221689","https://openalex.org/W4214487389","https://openalex.org/W4233497262","https://openalex.org/W4242576796","https://openalex.org/W4243326882","https://openalex.org/W4254412902","https://openalex.org/W4300810260","https://openalex.org/W6604462143","https://openalex.org/W6677788430","https://openalex.org/W6713697576"],"related_works":["https://openalex.org/W2383284615","https://openalex.org/W2998398829","https://openalex.org/W135928233","https://openalex.org/W2086733238","https://openalex.org/W2355288082","https://openalex.org/W2384193616","https://openalex.org/W2368553372","https://openalex.org/W2291436769","https://openalex.org/W2381324012","https://openalex.org/W2380542568"],"abstract_inverted_index":{"With":[0],"modern":[1],"multi-core":[2],"architectures,":[3],"web":[4,157],"applications":[5],"are":[6,132],"usually":[7],"configured":[8],"to":[9,41,114],"serve":[10],"multiple":[11,16,104],"requests":[12],"simultaneously":[13],"by":[14,76,134],"spawning":[15],"instances.":[17],"These":[18],"instances":[19],"may":[20,34],"access":[21,106],"the":[22,107,146],"same":[23,108],"external":[24,61,79,109,123],"resources":[25,80],"such":[26],"as":[27],"database":[28],"tables":[29],"and":[30,96],"files.":[31],"Such":[32],"contentions":[33],"become":[35],"severe":[36],"during":[37],"peak":[38],"time,":[39],"leading":[40],"violations":[42,59,131,154],"of":[43,60,82,87,122,138],"atomic":[44,140],"business":[45],"logic.":[46],"In":[47],"this":[48],"paper,":[49],"we":[50],"propose":[51],"a":[52],"novel":[53],"static":[54],"analysis":[55,68,100,147],"that":[56,101,125,145],"detects":[57],"atomicity":[58,72,153],"operations":[62,105,124],"for":[63],"server":[64],"side":[65],"scripts.":[66],"The":[67,90,117],"differs":[69],"from":[70],"traditional":[71],"violation":[73],"detection":[74],"techniques":[75],"focusing":[77],"on":[78],"instead":[81],"shared":[83],"memory.":[84],"It":[85],"consists":[86],"three":[88],"components.":[89],"first":[91],"one":[92],"is":[93,112,148],"an":[94],"interprocedural":[95],"path-sensitive":[97],"resource":[98],"identity":[99],"determines":[102],"whether":[103],"resource,":[110],"which":[111],"critical":[113],"identifying":[115],"contentions.":[116],"second":[118],"component":[119],"infers":[120],"pairs":[121],"should":[126],"be":[127],"executed":[128],"atomically.":[129],"Finally,":[130],"detected":[133],"reasoning":[135],"about":[136],"serializability":[137],"interleaved":[139],"pairs.":[141],"Experimental":[142],"results":[143],"show":[144],"highly":[149],"effective":[150],"in":[151,155],"detecting":[152],"real-world":[156],"apps.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}