{"id":"https://openalex.org/W4234149838","doi":"https://doi.org/10.1145/2103656.2103694","title":"Resource-sensitive synchronization inference by abduction","display_name":"Resource-sensitive synchronization inference by abduction","publication_year":2012,"publication_date":"2012-01-24","ids":{"openalex":"https://openalex.org/W4234149838","doi":"https://doi.org/10.1145/2103656.2103694"},"language":"en","primary_location":{"id":"doi:10.1145/2103656.2103694","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2103656.2103694","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","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/A5061934270","display_name":"Matko Botin\u010dan","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Matko Botincan","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085860278","display_name":"Mike Dodds","orcid":"https://orcid.org/0000-0002-4439-0130"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mike Dodds","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034957233","display_name":"Suresh Jagannathan","orcid":"https://orcid.org/0000-0001-6871-2424"},"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":"Suresh Jagannathan","raw_affiliation_strings":["Purdue University, West Lafayette, IN, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5061934270"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":0.8702,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76119543,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"309","last_page":"322"},"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.9998000264167786,"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.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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/computer-science","display_name":"Computer science","score":0.8554967641830444},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6978209018707275},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6002110242843628},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5333454608917236},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4748131036758423},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.4575284421443939},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.4530307352542877},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.45045948028564453},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.432338148355484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4208643436431885},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.41955018043518066},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3600371479988098},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34128785133361816},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2023543417453766},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07856389880180359}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8554967641830444},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6978209018707275},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6002110242843628},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5333454608917236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4748131036758423},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.4575284421443939},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4530307352542877},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.45045948028564453},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.432338148355484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4208643436431885},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.41955018043518066},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3600371479988098},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34128785133361816},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2023543417453766},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07856389880180359},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2103656.2103694","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2103656.2103694","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1537636533","https://openalex.org/W1548444083","https://openalex.org/W1562865234","https://openalex.org/W1569479239","https://openalex.org/W1580330980","https://openalex.org/W1592154101","https://openalex.org/W1606028453","https://openalex.org/W1775543359","https://openalex.org/W1923082132","https://openalex.org/W2053154567","https://openalex.org/W2060787894","https://openalex.org/W2061341742","https://openalex.org/W2104824528","https://openalex.org/W2120716072","https://openalex.org/W2131296609","https://openalex.org/W2132761501","https://openalex.org/W2139117737","https://openalex.org/W2148687959","https://openalex.org/W2154985136","https://openalex.org/W2155487709","https://openalex.org/W2171546589","https://openalex.org/W4230574494","https://openalex.org/W4232836277","https://openalex.org/W4244157805","https://openalex.org/W4249224771","https://openalex.org/W4249635864","https://openalex.org/W4298077439"],"related_works":["https://openalex.org/W2867457158","https://openalex.org/W2765641823","https://openalex.org/W4297908618","https://openalex.org/W3111646971","https://openalex.org/W3186878187","https://openalex.org/W2985048382","https://openalex.org/W1843794072","https://openalex.org/W4376606823","https://openalex.org/W2354385412","https://openalex.org/W2486032082"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2,44,153],"analysis":[3,85,141],"which":[4],"takes":[5],"as":[6,129],"its":[7],"input":[8],"a":[9,20,29,66],"sequential":[10,21,58,90,132,138],"program,":[11,116,133],"augmented":[12],"with":[13],"annotations":[14],"indicating":[15],"potential":[16],"parallelization":[17],"opportunities,":[18],"and":[19,27,33,117,134,147],"proof,":[22],"written":[23],"in":[24,56],"separation":[25,157],"logic,":[26],"produces":[28],"correctly-synchronized":[30],"parallelized":[31,115,123],"program":[32,59,124],"proof":[34,91],"of":[35,77,98,110,156],"that":[36,60,120],"program.":[37,100],"Unlike":[38],"previous":[39],"work,":[40],"ours":[41],"is":[42,142],"not":[43],"independence":[45],"analysis;":[46],"we":[47],"insert":[48],"synchronization":[49,111],"constructs":[50],"to":[51,73,92,106,118],"preserve":[52],"relevant":[53],"dependencies":[54,94,105],"found":[55],"the":[57,89,99,108,114,121,126,130,136],"may":[61],"otherwise":[62],"be":[63],"violated":[64],"by":[65,87,152],"naive":[67],"translation.":[68],"Separation":[69],"logic":[70,158],"allows":[71],"us":[72],"parallelize":[74],"fine-grained":[75],"patterns":[76],"resource-usage,":[78],"moving":[79],"beyond":[80],"straightforward":[81],"points-to":[82],"analysis.":[83],"Our":[84,140],"works":[86],"using":[88,144],"discover":[93],"between":[95],"different":[96],"parts":[97],"It":[101],"leverages":[102],"these":[103],"discovered":[104],"guide":[107],"insertion":[109],"primitives":[112],"into":[113],"ensure":[119],"resulting":[122],"satisfies":[125],"same":[127,137],"specification":[128],"original":[131],"exhibits":[135],"behaviour.":[139],"built":[143],"frame":[145],"inference":[146],"abduction,":[148],"two":[149],"techniques":[150],"supported":[151],"increasing":[154],"number":[155],"tools.":[159]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}