{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T17:23:25Z","timestamp":1763054605249,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,13]]},"DOI":"10.1145\/3764860.3768330","type":"proceedings-article","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T13:54:43Z","timestamp":1759326883000},"page":"76-83","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-0776-812X","authenticated-orcid":false,"given":"Thomas Alexander","family":"H\u00f6velmann","sequence":"first","affiliation":[{"name":"TU Dortmund University, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9469-2367","authenticated-orcid":false,"given":"Olaf","family":"Spinczyk","sequence":"additional","affiliation":[{"name":"Osnabr\u00fcck University, Osnabr\u00fcck, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0016-5166","authenticated-orcid":false,"given":"Alexander","family":"Krause","sequence":"additional","affiliation":[{"name":"TU Dortmund University, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1427-9343","authenticated-orcid":false,"given":"Horst","family":"Schirmeier","sequence":"additional","affiliation":[{"name":"TU Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4224-9205","authenticated-orcid":false,"given":"Peter","family":"Ulbrich","sequence":"additional","affiliation":[{"name":"TU Dortmund University, Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,13]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/567752.567774"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/800228.806932"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-0-387-09766-4_283"},{"unstructured":"Roy H. Campbell. 1976. Path expressions: a technique for specifying process synchronization. Ph.D. Dissertation. Newcastle University (Aug. 1976).","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/BFb0029355"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 4th International Conference on Software engineering. IEEE","author":"Roy","year":"1979","unstructured":"Roy H. Campbell and Robert B. Kolstad. 1979. Path expressions in Pascal. In Proceedings of the 4th International Conference on Software engineering. IEEE, Munich, Germany, (Sept. 1979), 212--219."},{"key":"e_1_3_2_1_7_1","volume-title":"Miller","author":"Campbell Roy H.","year":"1978","unstructured":"Roy H. Campbell and Thomas J. Miller. 1978. A Path Pascal Language. Tech. rep. UIUCDCS-R-78-919. University of Illinois at Urbana-Champaign, Department of Computer Science, (Apr. 1978)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/1102034"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/BF00289519"},{"volume-title":"Over de sequentialiteit van proces-beschrijvingen. Tech. rep. EWD35","author":"Dijkstra Edsger Wybe","unstructured":"Edsger Wybe Dijkstra. 1962. Over de sequentialiteit van proces-beschrijvingen. Tech. rep. EWD35. University of Texas at Austin.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","volume-title":"Solution of a problem in concurrent programming control. Commun. ACM, 8, 9, (Sept","author":"Dijkstra Edsger Wybe","year":"1965","unstructured":"Edsger Wybe Dijkstra. 1965. Solution of a problem in concurrent programming control. Commun. ACM, 8, 9, (Sept. 1965), 569."},{"key":"e_1_3_2_1_12_1","volume-title":"The Little Book of Semaphores","author":"Downey Allen B.","unstructured":"Allen B. Downey. 2016. The Little Book of Semaphores. (2nd ed.). Green Tea Press.","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/TC.1978.1675100"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/3144555.3144561"},{"unstructured":"Ernesto Soto G\u00f3mez. 2021. PathEx. https:\/\/github.com\/EStog\/PathEx.","key":"e_1_3_2_1_15_1"},{"volume-title":"Implementation of Regular Path Expressions. Tech. rep","author":"Habermann A. N.","unstructured":"A. N. Habermann. 1979. Implementation of Regular Path Expressions. Tech. rep. Defense Advanced Research Projects Agency.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.21236\/ADA015842"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.5555\/540365"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/355620.361161"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/BF00264564"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/BF00266047"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific '02)","author":"Spinczyk Olaf","year":"2002","unstructured":"Olaf Spinczyk, Andreas Gal, and Wolfgang Schr\u00f6der-Preikschat. 2002. AspectC++: an aspect-oriented extension to C++. In Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific '02). Sydney, Australia, (Feb. 2002), 53--60."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1016\/j.knosys.2007.05.004"},{"key":"e_1_3_2_1_24_1","volume-title":"Lewis","author":"Wu Youfeng","year":"1989","unstructured":"Youfeng Wu and Ted G. Lewis. 1989. Parallelism encapsulation in C++. Tech. rep. Oregon State University, Department of Computer Science. https:\/\/ir.library.oregonstate.edu\/concern\/technical_reports\/8336h923c."}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"SOSP '25","name":"SOSP '25: ACM SIGOPS 31st Symposium on Operating Systems Principles","location":"Seoul Republic of Korea"},"container-title":["Proceedings of the 13th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3764860.3768330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T17:19:49Z","timestamp":1763054389000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3764860.3768330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,13]]},"references-count":24,"alternative-id":["10.1145\/3764860.3768330","10.1145\/3764860"],"URL":"https:\/\/doi.org\/10.1145\/3764860.3768330","relation":{},"subject":[],"published":{"date-parts":[[2025,10,13]]},"assertion":[{"value":"2025-10-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}