{"id":"https://openalex.org/W2104856134","doi":"https://doi.org/10.1145/2771783.2771790","title":"When truth is efficient: analysing concurrency","display_name":"When truth is efficient: analysing concurrency","publication_year":2015,"publication_date":"2015-07-10","ids":{"openalex":"https://openalex.org/W2104856134","doi":"https://doi.org/10.1145/2771783.2771790","mag":"2104856134"},"language":"en","primary_location":{"id":"doi:10.1145/2771783.2771790","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","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/A5082477603","display_name":"Ganesh Narayanaswamy","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Ganesh Narayanaswamy","raw_affiliation_strings":["University of Oxford, UK","University of Oxford, UK,"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford, UK,","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082477603"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":0.3328,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65477664,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"141","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8934967517852783},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8398888111114502},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.783241868019104},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6053684949874878},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6022768020629883},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5897892713546753},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5259725451469421},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4870467483997345},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47061020135879517},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.4479767084121704},{"id":"https://openalex.org/keywords/massively-parallel","display_name":"Massively parallel","score":0.44509798288345337},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4399872422218323},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43397656083106995},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3708680272102356},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0928022563457489}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8934967517852783},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8398888111114502},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.783241868019104},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6053684949874878},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6022768020629883},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5897892713546753},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5259725451469421},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4870467483997345},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47061020135879517},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.4479767084121704},{"id":"https://openalex.org/C190475519","wikidata":"https://www.wikidata.org/wiki/Q544384","display_name":"Massively parallel","level":2,"score":0.44509798288345337},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4399872422218323},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43397656083106995},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3708680272102356},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0928022563457489},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2771783.2771790","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7799999713897705}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306176","display_name":"Commonwealth Fund","ror":"https://ror.org/049kzbj92"},{"id":"https://openalex.org/F4320314707","display_name":"Government of the United Kingdom","ror":"https://ror.org/05wnh3t63"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W186123808","https://openalex.org/W1482314864","https://openalex.org/W1505468428","https://openalex.org/W1549714654","https://openalex.org/W1592293578","https://openalex.org/W1644332395","https://openalex.org/W1819209966","https://openalex.org/W1882160752","https://openalex.org/W1978562726","https://openalex.org/W1978898818","https://openalex.org/W1990128020","https://openalex.org/W2007866490","https://openalex.org/W2011868109","https://openalex.org/W2035362408","https://openalex.org/W2056400780","https://openalex.org/W2064051034","https://openalex.org/W2103772961","https://openalex.org/W2128510433","https://openalex.org/W2129384397","https://openalex.org/W2131514278","https://openalex.org/W2140476198","https://openalex.org/W2146412016","https://openalex.org/W2149871224","https://openalex.org/W2150320481","https://openalex.org/W2156588754","https://openalex.org/W2162989857","https://openalex.org/W2167083280","https://openalex.org/W2169870841","https://openalex.org/W2211626899","https://openalex.org/W2249599876","https://openalex.org/W2303756261","https://openalex.org/W2592659414","https://openalex.org/W2728008137","https://openalex.org/W4232611972"],"related_works":["https://openalex.org/W2133697637","https://openalex.org/W4253571630","https://openalex.org/W2837991191","https://openalex.org/W1873898332","https://openalex.org/W2355319912","https://openalex.org/W2391570358","https://openalex.org/W2003908543","https://openalex.org/W2020936745","https://openalex.org/W2118183611","https://openalex.org/W2365256108"],"abstract_inverted_index":{"Concurrent":[0],"systems":[1,18,68,151],"are":[2,7],"hard":[3,40],"to":[4,10,15,20,29,41,46,75,110,129,150],"develop":[5],"and":[6,25,117,156],"even":[8],"harder":[9],"analyse.":[11],"The":[12],"usual":[13],"way":[14],"analyse":[16],"concurrent":[17,67,79,121],"is":[19,38],"give":[21],"them":[22],"interleaving":[23,163],"semantics":[24,164],"exploit":[26],"automata-based":[27],"methods":[28],"investigate":[30],"the":[31,48,64,88,98,161],"resultant":[32],"interleaved":[33],"model.":[34],"Such":[35],"an":[36,58],"approach":[37],"often":[39],"scale":[42],"without":[43],"additional":[44],"tools":[45],"curb":[47],"interleaving-induced":[49],"state":[50,159],"space":[51],"explosion.":[52],"In":[53],"this":[54,119],"work":[55],"we":[56],"make":[57],"alternate":[59],"case:":[60],"for":[61,81,93],"directly":[62],"capturing":[63],"behaviour":[65],"of":[66,87,114,154,160],"using":[69,85],"true":[70],"concurrency.":[71],"We":[72,144],"show":[73,145],"how":[74],"build":[76],"composable,":[77],"truly":[78,120],"models":[80],"real-world":[82],"programs":[83,116],"written":[84],"one":[86],"most":[89],"widely":[90],"adopted":[91],"paradigms":[92],"developing":[94],"massively":[95],"parallel":[96],"systems,":[97],"Message":[99],"Passing":[100],"Interface":[101],"Standard":[102],"(MPI).":[103],"Our":[104],"method":[105],"employs":[106],"general":[107],"event":[108],"structures":[109],"symbolically":[111],"capture":[112],"executions":[113],"MPI":[115,142],"uses":[118],"model,":[122],"combined":[123],"with":[124,152],"our":[125,147],"novel":[126],"deadlock":[127],"characterisation,":[128],"formulate":[130],"a":[131],"precise,":[132],"scalable":[133],"decision":[134],"procedure":[135],"that":[136,146],"finds":[137],"communication":[138],"deadlocks":[139],"in":[140],"large":[141],"programs.":[143],"analysis":[148],"scales":[149],"hundreds":[153],"processes":[155],"strongly":[157],"outperforms":[158],"art":[162],"based":[165],"approaches.":[166]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}