{"id":"https://openalex.org/W3008663690","doi":"https://doi.org/10.1145/3380536.3380538","title":"TardisTM","display_name":"TardisTM","publication_year":2020,"publication_date":"2020-02-19","ids":{"openalex":"https://openalex.org/W3008663690","doi":"https://doi.org/10.1145/3380536.3380538","mag":"3008663690"},"language":"en","primary_location":{"id":"doi:10.1145/3380536.3380538","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3380536.3380538","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3380536.3380538","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores","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/3380536.3380538","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057458045","display_name":"Daming D. Chen","orcid":"https://orcid.org/0000-0001-6127-0774"},"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":"Daming D. Chen","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014824446","display_name":"Phillip B. Gibbons","orcid":"https://orcid.org/0000-0001-6967-2735"},"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":"Phillip B. Gibbons","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076667915","display_name":"Todd C. Mowry","orcid":"https://orcid.org/0000-0003-4076-5684"},"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":"Todd C. Mowry","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.1621,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.50831752,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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.9923999905586243,"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.9624999761581421,"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/computer-science","display_name":"Computer science","score":0.8232492208480835},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.7306116819381714},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.7229970693588257},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6888648867607117},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.608535647392273},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.6004734635353088},{"id":"https://openalex.org/keywords/transactional-leadership","display_name":"Transactional leadership","score":0.5092555284500122},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48427075147628784},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.48331737518310547},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.48250341415405273},{"id":"https://openalex.org/keywords/multiversion-concurrency-control","display_name":"Multiversion concurrency control","score":0.48222243785858154},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.4614502191543579},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4479779005050659},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.4479302763938904},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.43074798583984375},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.42333298921585083},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3571881949901581},{"id":"https://openalex.org/keywords/distributed-concurrency-control","display_name":"Distributed concurrency control","score":0.2059381604194641}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8232492208480835},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.7306116819381714},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.7229970693588257},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6888648867607117},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.608535647392273},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.6004734635353088},{"id":"https://openalex.org/C68489960","wikidata":"https://www.wikidata.org/wiki/Q2370659","display_name":"Transactional leadership","level":2,"score":0.5092555284500122},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48427075147628784},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.48331737518310547},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.48250341415405273},{"id":"https://openalex.org/C108744092","wikidata":"https://www.wikidata.org/wiki/Q93695","display_name":"Multiversion concurrency control","level":5,"score":0.48222243785858154},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.4614502191543579},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4479779005050659},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.4479302763938904},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43074798583984375},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.42333298921585083},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3571881949901581},{"id":"https://openalex.org/C208087996","wikidata":"https://www.wikidata.org/wiki/Q5283142","display_name":"Distributed concurrency control","level":4,"score":0.2059381604194641},{"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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3380536.3380538","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3380536.3380538","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3380536.3380538","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3380536.3380538","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3380536.3380538","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3380536.3380538","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5199999809265137,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3008663690.pdf","grobid_xml":"https://content.openalex.org/works/W3008663690.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W80304154","https://openalex.org/W1523021320","https://openalex.org/W1542975293","https://openalex.org/W1864566053","https://openalex.org/W1964273033","https://openalex.org/W1981423585","https://openalex.org/W1988800505","https://openalex.org/W1991199257","https://openalex.org/W1992490313","https://openalex.org/W2043255549","https://openalex.org/W2063050381","https://openalex.org/W2067354926","https://openalex.org/W2071558308","https://openalex.org/W2083265143","https://openalex.org/W2092911542","https://openalex.org/W2094222793","https://openalex.org/W2098359329","https://openalex.org/W2101397060","https://openalex.org/W2105055683","https://openalex.org/W2106871513","https://openalex.org/W2107742808","https://openalex.org/W2113751407","https://openalex.org/W2129458440","https://openalex.org/W2135430119","https://openalex.org/W2142349608","https://openalex.org/W2146516325","https://openalex.org/W2155500238","https://openalex.org/W2157092502","https://openalex.org/W2158161421","https://openalex.org/W2158308706","https://openalex.org/W2162942575","https://openalex.org/W2163654949","https://openalex.org/W2163977249","https://openalex.org/W2164529885","https://openalex.org/W2165791323","https://openalex.org/W2187734494","https://openalex.org/W2341778529","https://openalex.org/W2413028252","https://openalex.org/W2474408124","https://openalex.org/W2604561565","https://openalex.org/W2897252056","https://openalex.org/W2905427109","https://openalex.org/W2913256667","https://openalex.org/W4251656607"],"related_works":["https://openalex.org/W1985501539","https://openalex.org/W2045742725","https://openalex.org/W2520561186","https://openalex.org/W2610567132","https://openalex.org/W2073000844","https://openalex.org/W2076662080","https://openalex.org/W2072259977","https://openalex.org/W2387788167","https://openalex.org/W1973991062","https://openalex.org/W2129990308"],"abstract_inverted_index":{"Transactional":[0],"memory":[1],"(TM)":[2],"provides":[3],"developers":[4],"with":[5],"a":[6,21],"transaction":[7],"primitive":[8],"for":[9,16],"concurrent":[10],"code":[11],"execution":[12],"that":[13],"transparently":[14],"checks":[15],"concurrency":[17],"conflicts.":[18],"When":[19],"such":[20],"conflict":[22],"is":[23],"detected,":[24],"the":[25,32],"system":[26],"recovers":[27],"by":[28],"aborting":[29],"and":[30,40],"restarting":[31],"transaction.":[33],"Although":[34],"correct,":[35],"this":[36],"behavior":[37],"wastes":[38],"work":[39],"inhibits":[41],"forward":[42],"progress.":[43]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2020-03-06T00:00:00"}
