{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:59Z","timestamp":1750220159440,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"DOI":"10.1145\/3546189.3549924","type":"proceedings-article","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T20:24:01Z","timestamp":1662495841000},"page":"54-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Open transactional actions: interacting with non-transactional resources in STM Haskell"],"prefix":"10.1145","author":[{"given":"Jonathas Augusto de Oliveira","family":"Concei\u00e7\u00e3o","sequence":"first","affiliation":[{"name":"Federal University of Pelotas, Brazil"}]},{"given":"Andr\u00e9 Rauber","family":"Du Bois","sequence":"additional","affiliation":[{"name":"Federal University of Pelotas, Brazil"}]},{"given":"Samuel da Silva","family":"Feitosa","sequence":"additional","affiliation":[{"name":"Federal University of Fronteira Sul, Brazil"}]},{"given":"Gerson Geraldo Homrich","family":"Cavalheiro","sequence":"additional","affiliation":[{"name":"Federal University of Pelotas, Brazil"}]},{"given":"Rodrigo Geraldo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Federal University of Ouro Preto, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2022,9,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. atomic-primops: A safe approach to CAS and other atomic ops in Haskell. WWW page https:\/\/hackage.haskell.org\/package\/atomic-primops-0.6. \t\t\t\t\t  2022. atomic-primops: A safe approach to CAS and other atomic ops in Haskell. WWW page https:\/\/hackage.haskell.org\/package\/atomic-primops-0.6."},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Fair Read\/Write Locks. WWW page https:\/\/hackage.haskell.org\/package\/SafeSemaphore-0.10.1\/docs\/Control-Concurrent-FairRWLock.html. \t\t\t\t\t  2022. Fair Read\/Write Locks. WWW page https:\/\/hackage.haskell.org\/package\/SafeSemaphore-0.10.1\/docs\/Control-Concurrent-FairRWLock.html."},{"key":"e_1_3_2_1_3_1","unstructured":"2022. flock Man Page. WWW page https:\/\/man7.org\/linux\/man-pages\/man2\/flock.2.html. \t\t\t\t\t  2022. flock Man Page. WWW page https:\/\/man7.org\/linux\/man-pages\/man2\/flock.2.html."},{"key":"e_1_3_2_1_4_1","unstructured":"2022. Open Transactional Actions. WWW page https:\/\/github.com\/researchanon\/ota. \t\t\t\t\t  2022. Open Transactional Actions. WWW page https:\/\/github.com\/researchanon\/ota."},{"key":"e_1_3_2_1_5_1","unstructured":"2022. The Glasgow Hasekll Compiler. WWW page https:\/\/www.haskell.org\/ghc\/. \t\t\t\t\t  2022. The Glasgow Hasekll Compiler. WWW page https:\/\/www.haskell.org\/ghc\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504200"},{"key":"e_1_3_2_1_7_1","unstructured":"Takano Akio. 2022. System.FileLock library. WWW page https:\/\/hackage.haskell.org\/package\/filelock-0.1.1.5\/docs\/System-FileLock.html. \t\t\t\t\t  Takano Akio. 2022. System.FileLock library. WWW page https:\/\/hackage.haskell.org\/package\/filelock-0.1.1.5\/docs\/System-FileLock.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2008.4510738"},{"key":"e_1_3_2_1_9_1","volume-title":"Draft proc. of IFL.","author":"Bieniusa Annette","year":"2010","unstructured":"Annette Bieniusa . 2010 . Twilight in Haskell: Software Transactional Memory with Safe I\/O and Typed Conflict Management . Draft proc. of IFL. Annette Bieniusa. 2010. Twilight in Haskell: Software Transactional Memory with Safe I\/O and Typed Conflict Management. Draft proc. of IFL."},{"key":"e_1_3_2_1_10_1","unstructured":"Annette Bieniusa. 2011. Consistency Isolation and Irrevocability in Software Transactional Memory. Ph. D. Dissertation. Albert-Ludwigs-Universit\u00e4t Freiburg im Breisgau. \t\t\t\t\t  Annette Bieniusa. 2011. Consistency Isolation and Irrevocability in Software Transactional Memory. Ph. D. Dissertation. Albert-Ludwigs-Universit\u00e4t Freiburg im Breisgau."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11863-5_11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-39940-9_717"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.06.004"},{"volume-title":"Computer Laboratory","author":"Fraser Keir","key":"e_1_3_2_1_15_1","unstructured":"Keir Fraser . 2004. Practical Lock-Freedom . Ph. D. Dissertation . Computer Laboratory , University of Cambridge . Keir Fraser. 2004. Practical Lock-Freedom. Ph. D. Dissertation. Computer Laboratory, University of Cambridge."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.03.005"},{"key":"e_1_3_2_1_17_1","volume-title":"Transactional Memory","author":"Harris Tim","unstructured":"Tim Harris , James Larus , and Ravi Rajwar . 2010. Transactional Memory , 2 nd edition. Morgan and Claypool Publishers . Tim Harris, James Larus, and Ravi Rajwar. 2010. Transactional Memory, 2nd edition. Morgan and Claypool Publishers.","edition":"2"},{"key":"e_1_3_2_1_18_1","volume-title":"Simon Peyton Jones, and Maurice Herlihy","author":"Harris Tim","year":"2005","unstructured":"Tim Harris , Simon Marlow , Simon Peyton Jones, and Maurice Herlihy . 2005 . Composable Memory Transactions. In PPoPP\u201905. ACM Press . Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. 2005. Composable Memory Transactions. In PPoPP\u201905. ACM Press."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555283"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345237"},{"key":"e_1_3_2_1_21_1","volume-title":"Scherer","author":"Herlihy Maurice","year":"2003","unstructured":"Maurice Herlihy , Victor Luchangco , Mark Moir , and William N . Scherer . 2003 . Software Transactional Memory for Dynamic-Sized Data Structures. PODC \u201903. ACM , 92\u2013101. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer. 2003. Software Transactional Memory for Dynamic-Sized Data Structures. PODC \u201903. ACM, 92\u2013101."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Marino Miculan Marco Peressotti and Andrea Toneguzzo. 2015. Open Transactions on Shared Memory. In DISCOTEC. \t\t\t\t\t  Marino Miculan Marco Peressotti and Andrea Toneguzzo. 2015. Open Transactions on Shared Memory. In DISCOTEC.","DOI":"10.1007\/978-3-319-19282-6_14"},{"volume-title":"Open Nesting in Software Transactional Memory. PPoPP \u201907","author":"Ni Yang","key":"e_1_3_2_1_23_1","unstructured":"Yang Ni , Vijay S. Menon , Ali-Reza Adl-Tabatabai , Antony L. Hosking , Richard L. Hudson , J. Eliot B. Moss , Bratin Saha , and Tatiana Shpeisman . 2007. Open Nesting in Software Transactional Memory. PPoPP \u201907 . Association for Computing Machinery , New York, NY, USA . 68\u201378. isbn:9781595936028 Yang Ni, Vijay S. Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, and Tatiana Shpeisman. 2007. Open Nesting in Software Transactional Memory. PPoPP \u201907. Association for Computing Machinery, New York, NY, USA. 68\u201378. isbn:9781595936028"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007","author":"S\u00f6nmez Nehir","year":"2007","unstructured":"Nehir S\u00f6nmez , Cristian Perfumo , Srdjan Stipic , Adri\u00e1n Cristal , Osman S. Unsal , and Mateo Valero . 2007 . unreadTVar: Extending Haskell Software Transactional Memory for Performance . In Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007 , New York City, New York, USA , April 2-4. 2007, Marco T. Moraz\u00e1n (Ed.) (Trends in Functional Programming, Vol. 8). Intellect, 89\u2013104. Nehir S\u00f6nmez, Cristian Perfumo, Srdjan Stipic, Adri\u00e1n Cristal, Osman S. Unsal, and Mateo Valero. 2007. unreadTVar: Extending Haskell Software Transactional Memory for Performance. In Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007, Marco T. Moraz\u00e1n (Ed.) (Trends in Functional Programming, Vol. 8). Intellect, 89\u2013104."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481839.1481845"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519093"},{"volume-title":"Transactional Execution of System-Library Functions. Ph. D. Dissertation. Diploma Thesis","author":"Zimmermann Thomas","key":"e_1_3_2_1_27_1","unstructured":"Thomas Zimmermann . 2009. Transactional Execution of System-Library Functions. Ph. D. Dissertation. Diploma Thesis , Dresden University of Technology . Thomas Zimmermann. 2009. Transactional Execution of System-Library Functions. Ph. D. Dissertation. Diploma Thesis, Dresden University of Technology."}],"event":{"name":"Haskell '22: 15th ACM SIGPLAN International Haskell Symposium","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Ljubljana Slovenia","acronym":"Haskell '22"},"container-title":["Proceedings of the 15th ACM SIGPLAN International Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546189.3549924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546189.3549924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:23Z","timestamp":1750186823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546189.3549924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":26,"alternative-id":["10.1145\/3546189.3549924","10.1145\/3546189"],"URL":"https:\/\/doi.org\/10.1145\/3546189.3549924","relation":{},"subject":[],"published":{"date-parts":[[2022,9,6]]},"assertion":[{"value":"2022-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}