{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:02:10Z","timestamp":1754161330937,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728584","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1074-1078","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LitmusKt: Concurrency Stress Testing for Kotlin"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-2632-7081","authenticated-orcid":false,"given":"Denis","family":"Lochmelis","sequence":"first","affiliation":[{"name":"Constructor University Bremen, Bremen, Germany"},{"name":"JetBrains Research, Bremen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2715-1143","authenticated-orcid":false,"given":"Evgenii","family":"Moiseenko","sequence":"additional","affiliation":[{"name":"JetBrains Research, Belgrade, Serbia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7009-635X","authenticated-orcid":false,"given":"Yaroslav","family":"Golubev","sequence":"additional","affiliation":[{"name":"JetBrains Research, Belgrade, Serbia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9448-6587","authenticated-orcid":false,"given":"Anton","family":"Podkopaev","sequence":"additional","affiliation":[{"name":"Constructor University Bremen, Bremen, Germany"},{"name":"JetBrains Research, Amsterdam, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926394"},{"key":"e_1_3_2_1_3_1","unstructured":"JetBrains. 2024. The Kotlin Programming Language. https:\/\/kotlinlang.org\/ (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_4_1","unstructured":"JetBrains Research. 2024. LitmusKt README. https:\/\/github.com\/JetBrains-Research\/litmuskt\/blob\/main\/README.md (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_6_1","volume-title":"Compiling Volatile Correctly in Java. In 36th European Conference on Object-Oriented Programming (ECOOP 2022","author":"Liu Shuyang","year":"2022","unstructured":"Shuyang Liu, John Bender, and Jens Palsberg. 2022. Compiling Volatile Correctly in Java. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). 10.4230\/LIPIcs.ECOOP.2022.6"},{"key":"e_1_3_2_1_7_1","unstructured":"Denis Lochmelis. 2023. UPUB Fix Merged into Kotlin. https:\/\/github.com\/JetBrains\/kotlin\/commit\/d2e0361b4e6de7e804c6c079e7195354cd77ced9 (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_8_1","unstructured":"Denis Lochmelis. 2024. LitmusKT Merged into Kotlin CI. https:\/\/github.com\/JetBrains\/kotlin\/commit\/c409279a3833105caf9a4c18c479358c14293ad7 (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_10_1","unstructured":"Evgenii Moiseenko. 2024. YouTrack Issue about @Contended Annotation. https:\/\/youtrack.jetbrains.com\/issue\/KT-68369\/Consider-providing-Contended-annotation (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768821060050"},{"key":"e_1_3_2_1_12_1","volume-title":"Verifying and Optimizing the HMCS Lock for Arm Servers. In Networked Systems: 9th International Conference, NETYS 2021, Virtual Event, May 19\u201321, 2021, Proceedings. Springer, 240\u2013260","author":"Oberhauser Jonas","year":"2021","unstructured":"Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, and Viktor Vafeiadis. 2021. Verifying and Optimizing the HMCS Lock for Arm Servers. In Networked Systems: 9th International Conference, NETYS 2021, Virtual Event, May 19\u201321, 2021, Proceedings. Springer, 240\u2013260. 10.1007\/978-3-030-91014-3_17"},{"key":"e_1_3_2_1_13_1","unstructured":"OpenJDK. 2024. Java Concurrency Stress Tests. https:\/\/openjdk.org\/projects\/code-tools\/jcstress\/ (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1812.06011"},{"key":"e_1_3_2_1_15_1","volume-title":"JCStress Workshop. https:\/\/shipilev.net\/talks\/hydraconf-June2021-jcstress-workshop.pdf (Accessed on 2025-04-10)","author":"Shipilev Aleksey","year":"2024","unstructured":"Aleksey Shipilev. 2024. JCStress Workshop. https:\/\/shipilev.net\/talks\/hydraconf-June2021-jcstress-workshop.pdf (Accessed on 2025-04-10)."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 209\u2013220","author":"Vafeiadis Viktor","year":"2015","unstructured":"Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, and Francesco Zappa Nardelli. 2015. Common Compiler Optimisations Are Invalid in the C11 Memory Model and What We Can Do About It. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 209\u2013220. 10.1145\/2676726.2676995"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:19:16Z","timestamp":1753730356000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":16,"alternative-id":["10.1145\/3696630.3728584","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728584","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}