{"id":"https://openalex.org/W3129557793","doi":"https://doi.org/10.1145/3437801.3441594","title":"Investigating the semantics of futures in transactional memory systems","display_name":"Investigating the semantics of futures in transactional memory systems","publication_year":2021,"publication_date":"2021-02-17","ids":{"openalex":"https://openalex.org/W3129557793","doi":"https://doi.org/10.1145/3437801.3441594","mag":"3129557793"},"language":"en","primary_location":{"id":"doi:10.1145/3437801.3441594","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3437801.3441594","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","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/A5088613359","display_name":"Jingna Zeng","orcid":null},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jingna Zeng","raw_affiliation_strings":["University of Lisbon, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056130781","display_name":"Shady Issa","orcid":"https://orcid.org/0000-0002-7571-0635"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Shady Issa","raw_affiliation_strings":["University of Lisbon, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049600349","display_name":"Paolo Romano","orcid":"https://orcid.org/0000-0001-7026-7446"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Paolo Romano","raw_affiliation_strings":["University of Lisbon, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030019746","display_name":"Lu\u0131\u0301s Rodrigues","orcid":"https://orcid.org/0000-0002-0313-6590"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Luis Rodrigues","raw_affiliation_strings":["University of Lisbon, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090695078","display_name":"Seif Haridi","orcid":"https://orcid.org/0000-0002-6718-0144"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Seif Haridi","raw_affiliation_strings":["KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088613359"],"corresponding_institution_ids":["https://openalex.org/I141596103"],"apc_list":null,"apc_paid":null,"fwci":0.4584,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.63279297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"16","last_page":"30"},"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/T13471","display_name":"Cognitive Functions and Memory","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9860000014305115,"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/software-transactional-memory","display_name":"Software transactional memory","score":0.836677074432373},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.8273921012878418},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.820297122001648},{"id":"https://openalex.org/keywords/futures-contract","display_name":"Futures contract","score":0.6289025545120239},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6253527402877808},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5614994168281555},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.5550906658172607},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.5453065037727356},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37011557817459106},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.2077902853488922}],"concepts":[{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.836677074432373},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.8273921012878418},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.820297122001648},{"id":"https://openalex.org/C106306483","wikidata":"https://www.wikidata.org/wiki/Q183984","display_name":"Futures contract","level":2,"score":0.6289025545120239},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6253527402877808},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5614994168281555},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.5550906658172607},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.5453065037727356},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37011557817459106},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.2077902853488922},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3437801.3441594","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3437801.3441594","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.5,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W119478221","https://openalex.org/W1597783682","https://openalex.org/W1971097218","https://openalex.org/W1979330015","https://openalex.org/W1979642600","https://openalex.org/W1983587324","https://openalex.org/W2019951415","https://openalex.org/W2023304911","https://openalex.org/W2032791226","https://openalex.org/W2054111395","https://openalex.org/W2057561852","https://openalex.org/W2061863279","https://openalex.org/W2084130915","https://openalex.org/W2088892941","https://openalex.org/W2101209730","https://openalex.org/W2101545021","https://openalex.org/W2103412683","https://openalex.org/W2104809181","https://openalex.org/W2111586459","https://openalex.org/W2111946621","https://openalex.org/W2113751407","https://openalex.org/W2117610141","https://openalex.org/W2118329536","https://openalex.org/W2119226929","https://openalex.org/W2120297309","https://openalex.org/W2138016810","https://openalex.org/W2144457445","https://openalex.org/W2152554792","https://openalex.org/W2163654949","https://openalex.org/W2171146288","https://openalex.org/W2178550486","https://openalex.org/W2499651234","https://openalex.org/W2521782155","https://openalex.org/W2752919173","https://openalex.org/W2769656678","https://openalex.org/W2792782933","https://openalex.org/W2898529687","https://openalex.org/W2928943454"],"related_works":["https://openalex.org/W4252722439","https://openalex.org/W2172064476","https://openalex.org/W2103847662","https://openalex.org/W3155619820","https://openalex.org/W2783561925","https://openalex.org/W4300145204","https://openalex.org/W2963373502","https://openalex.org/W2912336518","https://openalex.org/W2063050381","https://openalex.org/W999441564"],"abstract_inverted_index":{"This":[0],"paper":[1],"investigates":[2],"the":[3,23,53,73,98,116,125,130],"problem":[4],"of":[5,25,27,55,78,91,115,142],"integrating":[6],"two":[7],"powerful":[8],"abstractions":[9],"for":[10,71],"concurrent":[11],"programming,":[12],"namely":[13],"futures":[14,31,56],"and":[15,37,75,93],"transactional":[16,46,79,106],"memory.":[17],"Our":[18],"focus":[19],"is":[20],"on":[21],"specifying":[22],"semantics":[24,77,83,100,132],"execution":[26],"\"transactional":[28],"futures\",":[29],"i.e.,":[30],"that":[32,38],"execute":[33],"as":[34],"atomic":[35],"transactions":[36,44],"are":[39],"spawned/evaluated":[40],"by":[41,101],"other":[42],"(plain)":[43],"or":[45],"futures.":[47,80],"We":[48,95,123],"show":[49],"that,":[50],"due":[51],"to":[52,57],"ability":[54],"generate":[58],"parallel":[59],"computations":[60],"with":[61,112,129],"complex":[62],"dependencies,":[63],"there":[64],"exist":[65],"several":[66],"plausible":[67],"(i.e.,":[68],"intuitive)":[69],"alternatives":[70],"defining":[72],"isolation":[74],"atomicity":[76],"The":[81],"alternative":[82],"we":[84,110],"propose":[85],"explore":[86],"different":[87,131],"trade-offs":[88,127],"between":[89],"ease":[90],"use":[92],"efficiency.":[94],"have":[96],"implemented":[97],"proposed":[99],"introducing":[102],"a":[103,113,139],"graph-based":[104],"software":[105],"memory":[107],"algorithm,":[108],"which":[109],"integrated":[111],"state":[114],"art":[117],"JAVA-based":[118],"Software":[119],"Transactional":[120],"Memory":[121],"(STM).":[122],"quantify":[124],"performance":[126],"associated":[128],"using":[133],"an":[134],"extensive":[135],"experimental":[136],"study":[137],"encompassing":[138],"wide":[140],"range":[141],"diverse":[143],"workloads.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}