{"id":"https://openalex.org/W4247660350","doi":"https://doi.org/10.1145/781131.781145","title":"Static conflict analysis for multi-threaded object-oriented programs","display_name":"Static conflict analysis for multi-threaded object-oriented programs","publication_year":2003,"publication_date":"2003-05-09","ids":{"openalex":"https://openalex.org/W4247660350","doi":"https://doi.org/10.1145/781131.781145"},"language":"en","primary_location":{"id":"doi:10.1145/781131.781145","doi":"https://doi.org/10.1145/781131.781145","is_oa":false,"landing_page_url":"https://doi.org/10.1145/781131.781145","pdf_url":null,"source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5037766745","display_name":"Christoph von Praun","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Christoph von Praun","raw_affiliation_strings":["ETH Z\u00fcrich, Z\u00fcrich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101575762","display_name":"Thomas R. Gross","orcid":"https://orcid.org/0000-0002-2038-2902","observed_orcids":["https://orcid.org/0000-0002-2038-2902","https://orcid.org/0000-0002-7766-2454"]},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Thomas R. Gross","raw_affiliation_strings":["ETH Z\u00fcrich, Z\u00fcrich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":4.0713,"has_fulltext":false,"cited_by_count":118,"citation_normalized_percentile":{"value":0.94890511,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"115","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9502000212669373,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9502000212669373,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.03180000185966492,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.011800000444054604,"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/object-sharing","display_name":"object sharing","score":0.7210000157356262},{"id":"https://openalex.org/keywords/java-compiler","display_name":"Java compiler","score":0.7409999966621399},{"id":"https://openalex.org/keywords/runtime-instrumentation","display_name":"runtime instrumentation","score":0.6930000185966492},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.4449999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8822421431541443},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.6376858949661255},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.6301487684249878},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6099637150764465},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.601040244102478},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.565944492816925},{"id":"https://openalex.org/C512554520","wikidata":"https://www.wikidata.org/wiki/Q815844","display_name":"Method","level":3,"score":0.5573006868362427},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.5378268361091614},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.4967265725135803},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4834757447242737},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.46386900544166565},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4308244585990906},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4227885603904724},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.3790788948535919},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37481480836868286},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3482915759086609},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33464571833610535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19654172658920288},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.11516597867012024}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/781131.781145","doi":"https://doi.org/10.1145/781131.781145","is_oa":false,"landing_page_url":"https://doi.org/10.1145/781131.781145","pdf_url":null,"source":{"id":"https://openalex.org/S4393917474","display_name":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","issn_l":"1531-7102","issn":["1531-7102"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1523877423","https://openalex.org/W1969610731","https://openalex.org/W1974608873","https://openalex.org/W1984909114","https://openalex.org/W1994878611","https://openalex.org/W1996607090","https://openalex.org/W1997474908","https://openalex.org/W1999637392","https://openalex.org/W2002179840","https://openalex.org/W2014530617","https://openalex.org/W2036719919","https://openalex.org/W2039509099","https://openalex.org/W2046317364","https://openalex.org/W2073065242","https://openalex.org/W2077850509","https://openalex.org/W2091547234","https://openalex.org/W2109875364","https://openalex.org/W2131791649","https://openalex.org/W2144118030","https://openalex.org/W2156428492","https://openalex.org/W2157085223","https://openalex.org/W2161600851","https://openalex.org/W2165767970","https://openalex.org/W2169832991"],"related_works":["https://openalex.org/W7100696262","https://openalex.org/W2002179840","https://openalex.org/W7095298658","https://openalex.org/W7099557223","https://openalex.org/W2583674296","https://openalex.org/W7100482358","https://openalex.org/W2029046973","https://openalex.org/W2132630664","https://openalex.org/W2469627326","https://openalex.org/W3007730687"],"abstract_inverted_index":{"A":[0],"compiler":[1],"for":[2,13,61,73,152,227,262],"multi-threaded":[3],"object-oriented":[4],"programs":[5,224],"needs":[6],"information":[7,213,233],"about":[8,234],"the":[9,51,78,87,156,174,198,209,216,256],"sharing":[10,236],"of":[11,16,83,139,158,167,176,181,184,193,211,260],"objects":[12,63,169,186],"a":[14,58,74,80,108,133,165],"variety":[15],"reasons:":[17],"to":[18,21,24,27,46,86,118,195,201,221],"implement":[19],"optimizations,":[20],"issue":[22],"warnings,":[23],"add":[25],"instrumentation":[26,242],"detect":[28],"access":[29],"violations":[30],"that":[31,114,122,130,148,243,247],"occur":[32],"at":[33,125,135,251],"runtime.":[34,136],"An":[35,48,70],"Object":[36],"Use":[37],"Graph":[38,54],"(OUG)":[39],"statically":[40],"captures":[41],"accesses":[42,121,129],"from":[43],"different":[44],"threads":[45],"objects.":[47],"OUG":[49,71,217],"extends":[50],"Heap":[52],"Shape":[53],"(HSG),":[55],"which":[56],"is":[57,253,265],"compile-time":[59,177,252],"abstraction":[60],"runtime":[62,89,126,241,258],"(nodes)":[64],"and":[65,95,102,127,172,237,255],"their":[66],"reference":[67],"relations":[68],"(edges).":[69],"specifies":[72],"specific":[75],"node":[76],"in":[77,107,179,208,215],"HSG":[79],"partial":[81],"order":[82,210],"events":[84,92],"relevant":[85],"corresponding":[88],"object(s).":[90],"Relevant":[91],"include":[93],"read":[94],"write":[96],"access,":[97],"object":[98,120,228,235,263],"escape,":[99],"thread":[100],"start":[101],"join.OUGs":[103],"have":[104],"been":[105,150,219],"implemented":[106],"Java":[109,223],"compiler.":[110],"Initial":[111],"experience":[112],"shows":[113],"OUGs":[115,140,162,203,230],"are":[116,141],"effective":[117],"identify":[119],"potentially":[123],"conflict":[124],"isolate":[128],"never":[131],"cause":[132],"problem":[134],"The":[137],"capabilities":[138],"compared":[142],"with":[143,205,225],"an":[144],"advanced":[145],"program":[146],"analysis":[147],"has":[149,218],"used":[151,220],"lock":[153],"elimination.":[154],"For":[155,191],"set":[157],"benchmarks":[159,192],"investigated":[160],"here,":[161],"report":[163],"only":[164,266],"fraction":[166],"shared":[168],"as":[170],"conflicting":[171,185],"reduce":[173],"number":[175],"reports":[178],"terms":[180],"allocation":[182],"sites":[183],"by":[187],"28--92%":[188],"(average":[189,268],"64%).":[190],"up":[194],"30":[196],"KLOC,":[197],"time":[199],"taken":[200],"construct":[202],"is,":[204],"one":[206],"exception,":[207],"seconds.The":[212],"collected":[214],"instrument":[222],"checks":[226,244],"races.":[229],"provide":[231],"precise":[232],"static":[238],"protection,":[239],"so":[240],"those":[245],"cases":[246],"cannot":[248],"be":[249],"disambiguated":[250],"sparse,":[254],"total":[257],"overhead":[259],"checking":[261],"races":[264],"3--86%":[267],"47%).":[269]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2022-05-12T00:00:00"}