{"id":"https://openalex.org/W2045569945","doi":"https://doi.org/10.1145/2814189.2815372","title":"Efficient support for strong semantics in transactional and non-transactional programs","display_name":"Efficient support for strong semantics in transactional and non-transactional programs","publication_year":2015,"publication_date":"2015-10-25","ids":{"openalex":"https://openalex.org/W2045569945","doi":"https://doi.org/10.1145/2814189.2815372","mag":"2045569945"},"language":"en","primary_location":{"id":"doi:10.1145/2814189.2815372","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814189.2815372","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","raw_type":"proceedings-article"},"type":"conference-paper","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/A5015672019","display_name":"Aritra Sengupta","orcid":"https://orcid.org/0000-0001-6268-010X"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Aritra Sengupta","raw_affiliation_strings":["Ohio State University, USA","Ohio State University - USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]},{"raw_affiliation_string":"Ohio State University - USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015672019"],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09952725,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"68"},"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.9966999888420105,"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.9940999746322632,"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/transactional-memory","display_name":"Transactional memory","score":0.8470267057418823},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8379902243614197},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.7731156349182129},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.7541186809539795},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6675238609313965},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.6405938863754272},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5866234302520752},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5744444131851196},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4750775694847107},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.43331441283226013},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.41113558411598206},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3947201073169708},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35354894399642944},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22847792506217957},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.21018344163894653},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.09612864255905151},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.06668895483016968}],"concepts":[{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.8470267057418823},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8379902243614197},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.7731156349182129},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.7541186809539795},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6675238609313965},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.6405938863754272},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5866234302520752},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5744444131851196},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4750775694847107},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.43331441283226013},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41113558411598206},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3947201073169708},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35354894399642944},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22847792506217957},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.21018344163894653},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.09612864255905151},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.06668895483016968},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2814189.2815372","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814189.2815372","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","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":10,"referenced_works":["https://openalex.org/W1963966612","https://openalex.org/W1979330015","https://openalex.org/W2096527448","https://openalex.org/W2099661831","https://openalex.org/W2113751407","https://openalex.org/W2120748340","https://openalex.org/W2160963348","https://openalex.org/W2171745083","https://openalex.org/W2172064476","https://openalex.org/W4298077439"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W4252722439","https://openalex.org/W924353067","https://openalex.org/W2152491655","https://openalex.org/W2992926879","https://openalex.org/W1144911151","https://openalex.org/W3046697030","https://openalex.org/W3195212277","https://openalex.org/W2035743374"],"abstract_inverted_index":{"Transactional":[0],"programs,":[1],"using":[2,11],"transactional":[3],"memory":[4,19,22,45,91],"(TM)":[5],"and":[6,28,36,89],"non-transactional":[7],"programs":[8,35,38,80,103],"(non-TM)":[9],"(e.g.,":[10],"locks)":[12],"provide":[13],"weak":[14,62],"semantics":[15,41],"under":[16],"commonly":[17],"used":[18],"models.":[20],"Strong":[21],"models":[23],"incur":[24],"high":[25,58],"implementation":[26],"overhead":[27,59],"yet":[29],"prove":[30],"to":[31,51,77],"be":[32],"insufficient.":[33],"TM":[34,79],"non-TM":[37],"have":[39],"different":[40],"based":[42],"on":[43],"the":[44],"model.":[46],"Adding":[47],"new":[48],"atomic":[49,70],"blocks":[50,71],"lock-based":[52,73,82],"code":[53,83],"is":[54,104],"difficult":[55],"without":[56],"adding":[57],"or":[60,72,81],"introducing":[61],"semantics.":[63],"A":[64,87],"system":[65],"where":[66],"users":[67],"can":[68],"add":[69],"critical":[74],"sections":[75],"seamlessly":[76],"existing":[78],"facilitates":[84],"incremental":[85],"deployment.":[86],"unified":[88],"strong":[90],"model":[92],"enforced":[93],"efficiently":[94],"by":[95],"a":[96],"single":[97],"runtime":[98],"for":[99],"both":[100],"kinds":[101],"of":[102],"therefore":[105],"desirable.":[106]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}