{"id":"https://openalex.org/W3206539509","doi":"https://doi.org/10.1145/3486601.3486707","title":"Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions","display_name":"Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3206539509","doi":"https://doi.org/10.1145/3486601.3486707","mag":"3206539509"},"language":"en","primary_location":{"id":"doi:10.1145/3486601.3486707","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3486601.3486707","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3486601.3486707","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 Programming Based on Actors, Agents, and Decentralized Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3486601.3486707","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003699689","display_name":"Tim Soethout","orcid":"https://orcid.org/0000-0001-7477-9967"},"institutions":[{"id":"https://openalex.org/I4210148881","display_name":"ING Bank","ror":"https://ror.org/059et9981","country_code":"NL","type":"other","lineage":["https://openalex.org/I4210148881"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Tim Soethout","raw_affiliation_strings":["ING Bank, Netherlands / CWI, Netherlands"],"affiliations":[{"raw_affiliation_string":"ING Bank, Netherlands / CWI, Netherlands","institution_ids":["https://openalex.org/I4210148881"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014852863","display_name":"Tijs van der Storm","orcid":"https://orcid.org/0000-0001-8853-7934"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]},{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tijs van der Storm","raw_affiliation_strings":["CWI, Netherlands / University of Groningen, Netherlands"],"affiliations":[{"raw_affiliation_string":"CWI, Netherlands / University of Groningen, Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074526787","display_name":"Jurgen Vinju","orcid":"https://orcid.org/0000-0002-2686-7409"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jurgen J. Vinju","raw_affiliation_strings":["CWI, Netherlands / Eindhoven University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"CWI, Netherlands / Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003699689"],"corresponding_institution_ids":["https://openalex.org/I4210148881"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1805585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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":1.0,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9908999800682068,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8031642436981201},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.7596075534820557},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7478528618812561},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.7145084142684937},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5656652450561523},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5570072531700134},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.5528296828269958},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.5522215962409973},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5348222851753235},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.5267248153686523},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.506241500377655},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.4697936773300171},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.46251288056373596},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4530264735221863},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.4138687551021576},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3714897036552429},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.3548744320869446},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3370630741119385},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.33609479665756226},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.3048759698867798},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.21452587842941284},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.1939603090286255},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18145164847373962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8031642436981201},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.7596075534820557},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7478528618812561},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.7145084142684937},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5656652450561523},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5570072531700134},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.5528296828269958},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.5522215962409973},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5348222851753235},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.5267248153686523},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.506241500377655},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.4697936773300171},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.46251288056373596},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4530264735221863},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.4138687551021576},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3714897036552429},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.3548744320869446},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3370630741119385},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33609479665756226},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.3048759698867798},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.21452587842941284},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.1939603090286255},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18145164847373962},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3486601.3486707","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3486601.3486707","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3486601.3486707","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 Programming Based on Actors, Agents, and Decentralized Control","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.rug.nl:openaire/7ab3839e-3871-4299-90fd-eadab1ccec36","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/7ab3839e-3871-4299-90fd-eadab1ccec36","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soethout, T, van der Storm, T & Vinju, J J 2021, Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions. in Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control. AGERE 2021, Association for Computing Machinery, New York, NY, USA, pp. 1\u201311, The 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Chicago, IL, United States, 17/10/2021. https://doi.org/10.1145/3486601.3486707","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cwi.nl:31162","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/31162","pdf_url":"https://ir.cwi.nl/pub/31162/31162.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3486601.3486707","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3486601.3486707","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3486601.3486707","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 Programming Based on Actors, Agents, and Decentralized Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3206539509.pdf","grobid_xml":"https://content.openalex.org/works/W3206539509.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1516319412","https://openalex.org/W1895387792","https://openalex.org/W1973938051","https://openalex.org/W2075854425","https://openalex.org/W2105986479","https://openalex.org/W2114407468","https://openalex.org/W2209943643","https://openalex.org/W2535924225","https://openalex.org/W2572564989","https://openalex.org/W2573226375","https://openalex.org/W2734941459","https://openalex.org/W2737641788","https://openalex.org/W2963097596","https://openalex.org/W2979402301","https://openalex.org/W3121369470","https://openalex.org/W3123335731","https://openalex.org/W3166816215","https://openalex.org/W3208181768","https://openalex.org/W4240349797"],"related_works":["https://openalex.org/W50993356","https://openalex.org/W2084848907","https://openalex.org/W1497336670","https://openalex.org/W2383108850","https://openalex.org/W2249229821","https://openalex.org/W2034579025","https://openalex.org/W2231368915","https://openalex.org/W2516037352","https://openalex.org/W1963734157","https://openalex.org/W4231567614"],"abstract_inverted_index":{"A":[0],"key":[1],"challenge":[2],"of":[3,25,27],"designing":[4],"distributed":[5],"software":[6],"systems":[7],"is":[8,87],"maintaining":[9],"data":[10,15,18],"consistency.":[11],"We":[12],"can":[13],"define":[14,50],"consistency":[16],"and":[17,30],"isolation":[19],"guarantees":[20,51],"--e.g.":[21],"serializability--":[22],"in":[23],"terms":[24],"schedules":[26,35],"atomic":[28],"reads":[29],"writes,":[31],"but":[32],"this":[33],"excludes":[34],"that":[36,52],"would":[37],"be":[38,62,78],"semantically":[39],"consistent.":[40],"Others":[41],"use":[42],"manually":[43],"provided":[44],"information":[45],"on":[46],"\"non-conflicting":[47],"operations\"":[48],"to":[49,75],"work":[53],"for":[54],"more":[55,58,83],"applications":[56],"allowing":[57],"parallel":[59],"schedules.":[60],"To":[61,77],"safe,":[63],"an":[64],"engineer":[65],"might":[66,81],"avoid":[67],"marking":[68],"operations":[69,85],"as":[70],"non-conflicting,":[71],"with":[72],"detrimental":[73],"effects":[74],"efficiency.":[76],"fast,":[79],"they":[80],"mark":[82],"non-conflicting":[84],"than":[86],"strictly":[88],"safe.":[89]},"counts_by_year":[],"updated_date":"2026-03-09T08:58:05.943551","created_date":"2025-10-10T00:00:00"}