{"id":"https://openalex.org/W4414726857","doi":"https://doi.org/10.1145/3764860.3768330","title":"Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns","display_name":"Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns","publication_year":2025,"publication_date":"2025-10-01","ids":{"openalex":"https://openalex.org/W4414726857","doi":"https://doi.org/10.1145/3764860.3768330"},"language":"en","primary_location":{"id":"doi:10.1145/3764860.3768330","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3764860.3768330","pdf_url":null,"source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3764860.3768330","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119805128","display_name":"Thomas Alexander H\u00f6velmann","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Alexander H\u00f6velmann","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"raw_orcid":"https://orcid.org/0009-0002-0776-812X","affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064795460","display_name":"Olaf Spinczyk","orcid":"https://orcid.org/0000-0001-9469-2367"},"institutions":[{"id":"https://openalex.org/I170658231","display_name":"Osnabr\u00fcck University","ror":"https://ror.org/04qmmjx98","country_code":"DE","type":"education","lineage":["https://openalex.org/I170658231"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Olaf Spinczyk","raw_affiliation_strings":["Osnabr\u00fcck University, Osnabr\u00fcck, Germany"],"raw_orcid":"https://orcid.org/0000-0001-9469-2367","affiliations":[{"raw_affiliation_string":"Osnabr\u00fcck University, Osnabr\u00fcck, Germany","institution_ids":["https://openalex.org/I170658231"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030884345","display_name":"Alexander Lochmann","orcid":"https://orcid.org/0000-0003-0016-5166"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Krause","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0016-5166","affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015386022","display_name":"Horst Schirmeier","orcid":"https://orcid.org/0000-0002-1427-9343"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Horst Schirmeier","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1427-9343","affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087099408","display_name":"Peter Ulbrich","orcid":"https://orcid.org/0000-0002-4224-9205"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Ulbrich","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4224-9205","affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12661579,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"76","last_page":"83"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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.9973000288009644,"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/synchronization","display_name":"Synchronization (alternating current)","score":0.815500020980835},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.7260000109672546},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7008000016212463},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5722000002861023},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.5386000275611877},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4291999936103821},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.36489999294281006},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.34459999203681946},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.3151000142097473}],"concepts":[{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.815500020980835},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7689999938011169},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.7260000109672546},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.7161999940872192},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7008000016212463},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5722000002861023},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.5386000275611877},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4291999936103821},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3813000023365021},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.36489999294281006},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3465000092983246},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.3151000142097473},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2870999872684479},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.2847999930381775},{"id":"https://openalex.org/C96522737","wikidata":"https://www.wikidata.org/wiki/Q17148345","display_name":"Path integration","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.28380000591278076},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C2776085556","wikidata":"https://www.wikidata.org/wiki/Q183361","display_name":"Chen","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C115874739","wikidata":"https://www.wikidata.org/wiki/Q825377","display_name":"Critical path method","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.25209999084472656},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.25189998745918274},{"id":"https://openalex.org/C108734733","wikidata":"https://www.wikidata.org/wiki/Q1172333","display_name":"Data synchronization","level":3,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3764860.3768330","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3764860.3768330","pdf_url":null,"source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3764860.3768330","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3764860.3768330","pdf_url":null,"source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1536832144","https://openalex.org/W1546981056","https://openalex.org/W1971181882","https://openalex.org/W1978972515","https://openalex.org/W2006244393","https://openalex.org/W2044951665","https://openalex.org/W2094159214","https://openalex.org/W2116659133","https://openalex.org/W2123914565","https://openalex.org/W2131791649","https://openalex.org/W2767157269","https://openalex.org/W4233110253","https://openalex.org/W4235474331","https://openalex.org/W4245766863"],"related_works":[],"abstract_inverted_index":{"Path":[0],"expressions":[1],"(PEs)":[2],"offer":[3],"a":[4,53,75,82,128],"declarative":[5],"way":[6],"to":[7,22,103],"specify":[8],"synchronization":[9,49,65,94],"constraints":[10],"in":[11,81,106],"concurrent":[12,135],"programs,":[13],"but":[14],"have":[15],"largely":[16],"fallen":[17],"out":[18],"of":[19,66],"favor":[20],"due":[21],"concerns":[23],"over":[24],"limited":[25],"expressiveness,":[26],"runtime":[27,114],"overhead,":[28],"and":[29,41,78,99,116],"poor":[30],"integration":[31,73],"with":[32],"contemporary":[33],"languages.":[34],"In":[35],"this":[36],"work,":[37],"we":[38],"revisit":[39],"PEs":[40,58,124],"argue":[42],"for":[43,131],"their":[44],"renewed":[45],"relevance":[46],"as":[47,127],"reusable":[48],"patterns.":[50],"We":[51],"present":[52],"compiler-assisted":[54],"approach":[55],"that":[56,92,123],"integrates":[57],"into":[59],"C++":[60],"using":[61,86],"AspectC++,":[62],"enabling":[63],"non-invasive":[64],"existing":[67],"code.":[68],"Our":[69],"prototype":[70],"demonstrates":[71],"practical":[72,129],"on":[74],"ring":[76],"buffer":[77],"evaluates":[79],"performance":[80],"real-world":[83],"concurrency":[84],"scenario":[85],"MySQL's":[87],"myisamchk":[88],"utility.":[89],"Results":[90],"show":[91],"PE-based":[93],"can":[95],"be":[96],"both":[97],"expressive":[98],"efficient,":[100],"performing":[101],"comparably":[102],"traditional":[104],"mechanisms":[105],"many":[107],"cases.":[108],"While":[109],"challenges":[110],"remain":[111],"particularly":[112],"around":[113],"adaptability":[115],"scaling":[117],"under":[118],"contention,":[119],"our":[120],"findings":[121],"suggest":[122],"deserve":[125],"reconsideration":[126],"tool":[130],"building":[132],"reliable,":[133],"maintainable":[134],"software.":[136]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}