{"id":"https://openalex.org/W7125234356","doi":"https://doi.org/10.48550/arxiv.2601.13341","title":"Reduction for Structured Concurrent Programs","display_name":"Reduction for Structured Concurrent Programs","publication_year":2026,"publication_date":"2026-01-19","ids":{"openalex":"https://openalex.org/W7125234356","doi":"https://doi.org/10.48550/arxiv.2601.13341"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2601.13341","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.13341","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2601.13341","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5123491164","display_name":"Namratha Gangamreddypalli","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gangamreddypalli, Namratha","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123533724","display_name":"Constantin Enea","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Enea, Constantin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5072464909","display_name":"Shaz Qadeer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qadeer, Shaz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.34049999713897705,"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.34049999713897705,"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/T10142","display_name":"Formal Methods in Verification","score":0.21089999377727509,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.2087000012397766,"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/commutative-property","display_name":"Commutative property","score":0.7017999887466431},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.6848999857902527},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5774000287055969},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5461000204086304},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.4546000063419342},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42289999127388},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4090999960899353},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.4083999991416931},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40619999170303345}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7038999795913696},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.7017999887466431},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.6848999857902527},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5909000039100647},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5774000287055969},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5461000204086304},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5264999866485596},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.4546000063419342},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4311000108718872},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42289999127388},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4090999960899353},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.4083999991416931},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40619999170303345},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.35499998927116394},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.3409999907016754},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.32850000262260437},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.32829999923706055},{"id":"https://openalex.org/C175291020","wikidata":"https://www.wikidata.org/wiki/Q1156822","display_name":"Offset (computer science)","level":2,"score":0.32580000162124634},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3082999885082245},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.2953999936580658},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.28630000352859497},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C34849589","wikidata":"https://www.wikidata.org/wiki/Q4345785","display_name":"Atomic sentence","level":3,"score":0.26249998807907104},{"id":"https://openalex.org/C155214134","wikidata":"https://www.wikidata.org/wiki/Q1120460","display_name":"Communicating sequential processes","level":4,"score":0.26010000705718994},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.2597000002861023},{"id":"https://openalex.org/C56858530","wikidata":"https://www.wikidata.org/wiki/Q15947151","display_name":"Reduction strategy","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2601.13341","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.13341","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2601.13341","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.13341","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.5152146220207214,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Commutativity":[0],"reasoning":[1,43],"based":[2],"on":[3,134],"Lipton's":[4,95],"movers":[5],"is":[6,17,34],"a":[7,20,25,57,65,81,135,142,145,156],"powerful":[8],"technique":[9,68,127],"for":[10,69],"verification":[11],"of":[12,27,31,38,121,137,159],"concurrent":[13,71],"programs.":[14],"The":[15],"idea":[16],"to":[18,44,97],"define":[19],"program":[21],"transformation":[22],"that":[23,73,84],"preserves":[24],"subset":[26],"the":[28,117,150],"initial":[29],"set":[30],"interleavings,":[32],"which":[33],"sound":[35],"modulo":[36],"reorderings":[37],"commutative":[39],"actions.":[40],"Scaling":[41],"commutativity":[42],"routinely-used":[45],"features":[46],"in":[47,128],"software":[48],"systems,":[49],"such":[50],"as":[51],"procedures":[52],"and":[53,119,130,147,155],"parallel":[54,87],"composition,":[55],"remains":[56],"significant":[58],"challenge.":[59],"In":[60],"this":[61,126],"work,":[62],"we":[63,79,93],"introduce":[64],"novel":[66],"reduction":[67,82,96],"structured":[70],"programs":[72],"unifies":[74],"two":[75,108],"key":[76],"advances.":[77],"First,":[78],"present":[80],"strategy":[83],"soundly":[85],"replaces":[86],"composition":[88],"with":[89],"sequential":[90],"composition.":[91],"Second,":[92],"generalize":[94],"support":[98],"atomic":[99],"sections":[100],"containing":[101],"(potentially":[102],"recursive)":[103],"procedure":[104],"calls.":[105],"Crucially,":[106],"these":[107],"foundational":[109],"strategies":[110],"can":[111],"be":[112],"composed":[113],"arbitrarily,":[114],"greatly":[115],"expanding":[116],"scope":[118],"flexibility":[120],"reduction-based":[122],"reasoning.":[123],"We":[124],"implemented":[125],"Civl":[129],"demonstrated":[131],"its":[132],"effectiveness":[133],"number":[136],"challenging":[138],"case":[139],"studies,":[140],"including":[141],"snapshot":[143],"object,":[144],"fault-tolerant":[146],"linearizable":[148],"register,":[149],"FLASH":[151],"cache":[152],"coherence":[153],"protocol,":[154],"non-trivial":[157],"variant":[158],"Two-Phase":[160],"Commit.":[161]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-01-22T00:00:00"}