{"id":"https://openalex.org/W4395065047","doi":"https://doi.org/10.48550/arxiv.2404.13359","title":"Declarative Concurrent Data Structures","display_name":"Declarative Concurrent Data Structures","publication_year":2024,"publication_date":"2024-04-20","ids":{"openalex":"https://openalex.org/W4395065047","doi":"https://doi.org/10.48550/arxiv.2404.13359"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2404.13359","pdf_url":"https://arxiv.org/pdf/2404.13359","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2404.13359","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5095848477","display_name":"Aun Raza","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raza, Aun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024169695","display_name":"Hamish Nicholson","orcid":"https://orcid.org/0000-0003-0306-3253"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nicholson, Hamish","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095848478","display_name":"Ioanna Tsakalidou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tsakalidou, Ioanna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093452731","display_name":"Anna Herlihy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Herlihy, Anna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5095848479","display_name":"Prathamesh Tagore","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tagore, Prathamesh","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5070907021","display_name":"Anastasia Ailamaki","orcid":"https://orcid.org/0000-0002-9949-3639"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ailamaki, Anastasia","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":77},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.843,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.843,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6852254},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6288502}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2404.13359","pdf_url":"https://arxiv.org/pdf/2404.13359","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2404.13359","pdf_url":"https://arxiv.org/pdf/2404.13359","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4395014643","https://openalex.org/W4391913857","https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Implementing":[0],"concurrent":[1,30,74,110,146,180],"data":[2,31,59,75,111,129,159,196],"structures":[3,32,112,197],"is":[4,68],"challenging":[5],"and":[6,14,21,67,123,177,192,210,222,261],"requires":[7,34],"a":[8,35,69,114,145,220,223],"deep":[9],"understanding":[10],"of":[11,56,91,248],"concurrency":[12,64],"concepts":[13],"careful":[15],"design":[16,136],"to":[17,38,87,171,225,233,240,264],"ensure":[18,39],"correctness,":[19],"performance,":[20],"scalability.":[22],"Further,":[23],"composing":[24,219],"operations":[25,41],"on":[26],"two":[27],"or":[28],"more":[29],"often":[33],"synchronization":[36],"wrapper":[37],"the":[40,53,57,89,97,100,121,173,178,184,211,246],"are":[42,79,169],"applied":[43,170],"together":[44],"atomically,":[45],"resulting":[46],"in":[47,187,199,237],"serialization":[48],"and,":[49],"thereby,":[50],"giving":[51],"up":[52,232,263],"performance":[54,90,235,266],"benefit":[55,231],"individual":[58],"structures.":[60,76],"DBMS":[61],"provides":[62],"generalized":[63],"control":[65],"(CC)":[66],"good":[70],"fit":[71],"for":[72,81,99,107,126,157],"implementing":[73],"However,":[77],"DBMSs":[78],"over-generalized":[80],"this":[82],"use":[83],"case,":[84],"which":[85],"fails":[86],"match":[88],"specialized":[92],"implementations.":[93],"This":[94],"paper":[95],"makes":[96],"case":[98],"Declarative":[101],"Concurrent":[102],"Data":[103],"Structures":[104],"(DCDS)":[105],"framework":[106,186],"automatically":[108,139],"generating":[109,144],"from":[113],"serial":[115,175],"specification.":[116],"In":[117],"DCDS,":[118],"users":[119],"declare":[120],"attributes":[122],"methods":[124],"needed":[125],"their":[127,207],"desired":[128],"structure":[130,160],"through":[131,164],"an":[132,227,241,251],"embedded":[133],"DSL":[134],"at":[135,142],"time.":[137],"DCDS":[138,185,249],"injects":[140],"CC":[141,213],"build-time,":[143],"intermediate":[147],"representation":[148],"(IR)":[149],"compiled":[150],"into":[151],"machine":[152],"code.":[153],"A":[154],"declarative":[155],"interface":[156],"designing":[158],"enables":[161],"efficient":[162],"composability":[163],"co-optimizing":[165,206],"component":[166],"structures;":[167],"optimizations":[168],"both":[172],"composed":[174,204],"specification":[176],"generated":[179,212],"IR.":[181],"We":[182,244],"realize":[183],"our":[188],"prototype":[189],"system":[190],"Rosti":[191,200,238],"experimentally":[193],"show":[194],"that":[195,218],"declared":[198],"can":[201,230],"be":[202],"efficiently":[203],"by":[205,254],"logical":[208],"functionality":[209],"protocol.":[214],"Our":[215],"evaluation":[216],"shows":[217],"map":[221],"list":[224],"create":[226],"LRU":[228],"container":[229],"2X":[234,265],"scalability":[236],"compared":[239],"open-source":[242],"library.":[243],"demonstrate":[245],"applicability":[247],"as":[250],"in-process":[252],"OLTP":[253],"comparing":[255],"it":[256],"with":[257],"in-memory":[258],"DBMS,":[259],"Proteus,":[260],"showing":[262],"gains.":[267]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4395065047","counts_by_year":[],"updated_date":"2025-04-18T17:40:51.170756","created_date":"2024-04-24"}