{"id":"https://openalex.org/W3110154839","doi":"https://doi.org/10.1145/3427764.3428322","title":"Online verification of commutativity","display_name":"Online verification of commutativity","publication_year":2020,"publication_date":"2020-11-15","ids":{"openalex":"https://openalex.org/W3110154839","doi":"https://doi.org/10.1145/3427764.3428322","mag":"3110154839"},"language":"en","primary_location":{"id":"doi:10.1145/3427764.3428322","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3427764.3428322","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program 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/A5089687811","display_name":"Aditi Kabra","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aditi Kabra","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035006476","display_name":"Dietrich Geisler","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dietrich Geisler","raw_affiliation_strings":["Cornell University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004782337","display_name":"Adrian Sampson","orcid":"https://orcid.org/0000-0003-0837-8924"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adrian Sampson","raw_affiliation_strings":["Cornell University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16508605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"10","last_page":"19"},"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.9983999729156494,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9855999946594238,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9807999730110168,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6887244582176208},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4816269278526306},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3654772639274597},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1286928355693817},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.07730481028556824}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6887244582176208},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4816269278526306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3654772639274597},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1286928355693817},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.07730481028556824}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3427764.3428322","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3427764.3428322","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2016548818","https://openalex.org/W2041937846","https://openalex.org/W2083342911","https://openalex.org/W2146749715","https://openalex.org/W3107445645"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Systems":[0],"of":[1,12,30,75,94,132,153,175],"transformations":[2,31],"arise":[3],"in":[4,10,60,71,78,120,143,172,196],"many":[5],"programming":[6],"systems,":[7],"such":[8],"as":[9],"graphs":[11],"implicit":[13],"type":[14],"conversion":[15,198],"functions.":[16],"It":[17],"is":[18,83,134],"important":[19],"to":[20,36,48,68,148,163,187,193],"ensure":[21],"that":[22,26,101,104,141],"these":[23],"diagrams":[24,77],"commute:":[25],"composing":[27],"any":[28],"path":[29],"from":[32],"the":[33,37,41,72,87,126,130,149,158,173,184],"same":[34,38,42],"source":[35],"destination":[39],"yields":[40],"result.":[43],"However,":[44],"a":[45,84,105,112,176],"straightforward":[46],"approach":[47],"verifying":[49],"commutativity":[50,70],"must":[51,90],"contend":[52],"with":[53],"cycles,":[54],"and":[55,160,166],"even":[56],"so":[57],"it":[58],"runs":[59,119,142],"exponential":[61],"time.":[62,95,124],"Previous":[63],"work":[64],"has":[65],"shown":[66],"how":[67],"verify":[69],"special":[73],"case":[74,127],"acyclic":[76],"O(|V|4|E|2)":[79],"time,":[80],"but":[81,146],"this":[82],"batch":[85,164],"algorithm:":[86],"entire":[88],"diagram":[89,107],"be":[91],"known":[92],"ahead":[93],"We":[96,156],"present":[97,138],"an":[98,139],"online":[99],"algorithm":[100,118],"efficiently":[102],"verifies":[103],"commutative":[106,109],"remains":[108],"when":[110,128],"adding":[111],"new":[113,116],"edge.":[114],"The":[115],"incremental":[117],"O(|V|2(|E|":[121],"+":[122],"|V|))":[123],"For":[125],"checking":[129],"equality":[131,154],"paths":[133],"expensive,":[135],"we":[136,167,190],"also":[137],"optimization":[140],"O(|V|4)":[144],"time":[145],"reduces":[147],"minimum":[150],"possible":[151],"number":[152],"checks.":[155],"implement":[157],"algorithms":[159],"compare":[161],"them":[162,192],"baselines,":[165],"demonstrate":[168],"their":[169],"practical":[170],"application":[171],"compiler":[174],"domain-specific":[177],"language":[178],"for":[179],"geometry":[180],"types.":[181],"To":[182],"study":[183],"algorithms\u2019":[185],"scalability":[186],"large":[188],"diagrams,":[189],"apply":[191],"discover":[194],"discrepancies":[195],"currency":[197],"graphs.":[199]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}