{"id":"https://openalex.org/W4409970715","doi":"https://doi.org/10.1007/978-3-031-91118-7_3","title":"Sufficient Conditions for Robustness of RDMA Programs","display_name":"Sufficient Conditions for Robustness of RDMA Programs","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4409970715","doi":"https://doi.org/10.1007/978-3-031-91118-7_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-91118-7_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91118-7_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020771011","display_name":"Guillaume Ambal","orcid":"https://orcid.org/0000-0002-4667-7266"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Guillaume Ambal","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-4667-7266","affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102734862","display_name":"Ori Lahav","orcid":"https://orcid.org/0000-0003-4305-6998"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]},{"id":"https://openalex.org/I4210141777","display_name":"Academic College of Tel Aviv-Yafo","ror":"https://ror.org/04cg6c004","country_code":"IL","type":"education","lineage":["https://openalex.org/I4210141777"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ori Lahav","raw_affiliation_strings":["Tel Aviv University, Tel Aviv-Yafo, Israel"],"raw_orcid":"https://orcid.org/0000-0003-4305-6998","affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv-Yafo, Israel","institution_ids":["https://openalex.org/I4210141777","https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083721882","display_name":"Azalea Raad","orcid":"https://orcid.org/0000-0002-2319-3242"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Azalea Raad","raw_affiliation_strings":["Imperial College London, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-2319-3242","affiliations":[{"raw_affiliation_string":"Imperial College London, London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020771011"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":5.0806,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.92006767,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"56","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.989799976348877,"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":[{"id":"https://openalex.org/keywords/remote-direct-memory-access","display_name":"Remote direct memory access","score":0.8782378435134888},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8592801690101624},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6837702989578247},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.402707040309906},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3430122137069702},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32580578327178955}],"concepts":[{"id":"https://openalex.org/C130795937","wikidata":"https://www.wikidata.org/wiki/Q2561570","display_name":"Remote direct memory access","level":2,"score":0.8782378435134888},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8592801690101624},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6837702989578247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.402707040309906},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3430122137069702},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32580578327178955},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-91118-7_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91118-7_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-91118-7_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91118-7_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2440827479","display_name":"Verification-Aware Programming Language Concurrency Semantics","funder_award_id":"851811","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2733032670","display_name":"SACRED-MA: Safe And seCure REmote Direct Memory Access","funder_award_id":"EP/X037029/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5002861355","display_name":null,"funder_award_id":"MR/V024299/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409970715.pdf","grobid_xml":"https://content.openalex.org/works/W4409970715.grobid-xml"},"referenced_works_count":71,"referenced_works":["https://openalex.org/W146875869","https://openalex.org/W149053240","https://openalex.org/W1483960654","https://openalex.org/W1525350307","https://openalex.org/W1588615233","https://openalex.org/W1594825470","https://openalex.org/W1598893746","https://openalex.org/W1913137593","https://openalex.org/W1977329921","https://openalex.org/W1996952974","https://openalex.org/W2036003010","https://openalex.org/W2045867114","https://openalex.org/W2054739713","https://openalex.org/W2085773946","https://openalex.org/W2091085450","https://openalex.org/W2096004601","https://openalex.org/W2105980774","https://openalex.org/W2114587856","https://openalex.org/W2123601779","https://openalex.org/W2160781056","https://openalex.org/W2163490397","https://openalex.org/W2248727051","https://openalex.org/W2280574045","https://openalex.org/W2293159724","https://openalex.org/W2533070090","https://openalex.org/W2540479136","https://openalex.org/W2583970767","https://openalex.org/W2626631502","https://openalex.org/W2729732978","https://openalex.org/W2738891045","https://openalex.org/W2744506216","https://openalex.org/W2769194423","https://openalex.org/W2798232138","https://openalex.org/W2798647014","https://openalex.org/W2884767181","https://openalex.org/W2885875591","https://openalex.org/W2892738641","https://openalex.org/W2898443334","https://openalex.org/W2900112703","https://openalex.org/W2955964099","https://openalex.org/W2963580988","https://openalex.org/W2964250752","https://openalex.org/W2964290598","https://openalex.org/W2965201944","https://openalex.org/W2971298211","https://openalex.org/W2979682152","https://openalex.org/W2979749908","https://openalex.org/W2996634758","https://openalex.org/W3005008959","https://openalex.org/W3024303244","https://openalex.org/W3033965825","https://openalex.org/W3088242020","https://openalex.org/W3107163257","https://openalex.org/W3108522311","https://openalex.org/W3114431693","https://openalex.org/W3117835832","https://openalex.org/W3117953372","https://openalex.org/W3122287721","https://openalex.org/W3123143515","https://openalex.org/W3173474899","https://openalex.org/W3186023305","https://openalex.org/W4200188844","https://openalex.org/W4206635466","https://openalex.org/W4226043713","https://openalex.org/W4231963396","https://openalex.org/W4234066571","https://openalex.org/W4240322740","https://openalex.org/W4246094892","https://openalex.org/W4281975372","https://openalex.org/W4387674148","https://openalex.org/W4403223577"],"related_works":["https://openalex.org/W3090586438","https://openalex.org/W2782433361","https://openalex.org/W2416075414","https://openalex.org/W2475302168","https://openalex.org/W4392747727","https://openalex.org/W4366999533","https://openalex.org/W2134569538","https://openalex.org/W3135214639","https://openalex.org/W2594055038","https://openalex.org/W2754465584"],"abstract_inverted_index":{"Abstract":[0],"Remote":[1],"Direct":[2],"Memory":[3],"Access":[4],"(RDMA)":[5],"is":[6],"a":[7,28,47,74],"modern":[8],"technology":[9],"enabling":[10],"high-performance":[11],"inter-node":[12],"communication.":[13],"Despite":[14],"its":[15],"widespread":[16],"adoption,":[17],"theoretical":[18],"understanding":[19],"of":[20,38,49,103],"permissible":[21],"behaviours":[22,66],"remains":[23],"limited,":[24],"as":[25],"RDMA":[26,43,68],"follows":[27],"very":[29],"weak":[30,64],"memory":[31,65],"model.":[32],"This":[33,90],"paper":[34],"addresses":[35],"the":[36,85,99],"challenge":[37],"establishing":[39],"sufficient":[40],"conditions":[41,78],"for":[42,87],"robustness.":[44],"We":[45],"introduce":[46],"set":[48],"straightforward":[50],"criteria":[51],"that,":[52],"when":[53,71],"met,":[54],"guarantee":[55],"sequential":[56],"consistency":[57],"and":[58,101],"mitigate":[59],"potential":[60],"issues":[61],"arising":[62],"from":[63],"in":[67],"applications.":[69],"Notably,":[70],"restricted":[72],"to":[73,97],"tree":[75],"topology,":[76],"these":[77],"become":[79],"even":[80],"more":[81],"relaxed,":[82],"significantly":[83],"reducing":[84],"need":[86],"synchronisation":[88],"primitives.":[89],"work":[91],"provides":[92],"developers":[93],"with":[94],"practical":[95],"guidelines":[96],"ensure":[98],"reliability":[100],"correctness":[102],"their":[104],"RDMA-based":[105],"systems.":[106]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-23T08:51:43.019350","created_date":"2025-10-10T00:00:00"}