{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T12:51:31Z","timestamp":1726059091872},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030341749"},{"type":"electronic","value":"9783030341756"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-34175-6_17","type":"book-chapter","created":{"date-parts":[[2019,11,17]],"date-time":"2019-11-17T19:01:29Z","timestamp":1574017289000},"page":"332-354","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TxForest: A DSL for Concurrent Filestores"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"DiLorenzo","sequence":"first","affiliation":[]},{"given":"Katie","family":"Mancini","sequence":"additional","affiliation":[]},{"given":"Kathleen","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"Nate","family":"Foster","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,18]]},"reference":[{"unstructured":"Buraga, S.C.: An XML-based semantic description of distributed file systems. In: RoEduNet (2003)","key":"17_CR1"},{"unstructured":"DiLorenzo, J., Mancini, K., Fisher, K., Foster, N.: TxForest: A DSL for Concurrent Filestores. Technical report (2019). \nhttps:\/\/arxiv.org\/abs\/1908.10273","key":"17_CR2"},{"issue":"10","key":"17_CR3","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1145\/3022671.2984034","volume":"51","author":"Jonathan DiLorenzo","year":"2016","unstructured":"DiLorenzo, J., Zhang, R., Menzies, E., Fisher, K., Foster, N.: Incremental forest: a DSL for efficiently managing filestores. In: ACM SIGPLAN Notices, OOPSLA 2016, vol. 51, pp. 252\u2013271 (2016)","journal-title":"ACM SIGPLAN Notices"},{"unstructured":"Escriva, R., Sirer, E.G.: The design and implementation of the warp transactional filesystem. In: Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation, NSDI 2016, pp. 469\u2013483. USENIX Association, Berkeley (2016)","key":"17_CR4"},{"doi-asserted-by":"publisher","unstructured":"Fisher, K., Foster, N., Walker, D., Zhu, K.Q.: Forest: a language and toolkit for programming with filestores. In: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP 2011, pp. 292\u2013306. ACM, New York (2011). \nhttps:\/\/doi.org\/10.1145\/2034773.2034814","key":"17_CR5","DOI":"10.1145\/2034773.2034814"},{"doi-asserted-by":"publisher","unstructured":"Fisher, K., Gruber, R.: PADS: a domain-specific language for processing ad hoc data. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005, pp. 295\u2013304. ACM, New York (2005). \nhttps:\/\/doi.org\/10.1145\/1065010.1065046","key":"17_CR6","DOI":"10.1145\/1065010.1065046"},{"doi-asserted-by":"publisher","unstructured":"Fisher, K., Walker, D.: The PADS project: an overview. In: Proceedings of the 14th International Conference on Database Theory, ICDT 2011, ACM, New York (2011). \nhttps:\/\/doi.org\/10.1145\/1938551.1938556","key":"17_CR7","DOI":"10.1145\/1938551.1938556"},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J. Nathan Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view update problem. ACM Trans. Program. Lang. Syst. (TOPLAS) 29(3) (2007). Short version in POPL 2005","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"publisher","unstructured":"Garcia, J., Ferreira, P., Guedes, P.: The PerDiS FS: a transactional file system for a distributed persistent store. In: Proceedings of the 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications, EW 8, pp. 189\u2013194. ACM, New York (1998). \nhttps:\/\/doi.org\/10.1145\/319195.319224","key":"17_CR9","DOI":"10.1145\/319195.319224"},{"issue":"5","key":"17_CR10","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G Huet","year":"1997","unstructured":"Huet, G.: The Zipper. J. Funct. Program. 7(5), 549\u2013554 (1997). \nhttps:\/\/doi.org\/10.1017\/S0956796897002864","journal-title":"J. Funct. Program."},{"unstructured":"Kiselyov, O.: Tool demonstration: a zipper based file\/operating system. In: Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, Haskell 2005 (2005). \nhttp:\/\/okmij.org\/ftp\/continuations\/ZFS\/zfs-talk.pdf","key":"17_CR11"},{"unstructured":"LINQ: NET language-integrated query, February 2007. \nhttp:\/\/msdn.microsoft.com\/library\/bb308959.aspx","key":"17_CR12"},{"doi-asserted-by":"publisher","unstructured":"Liskov, B., Rodrigues, R.: Transactional file systems can be fast. In: Proceedings of the 11th Workshop on ACM SIGOPS European Workshop, EW 2004, ACM, New York (2004). \nhttps:\/\/doi.org\/10.1145\/1133572.1133592","key":"17_CR13","DOI":"10.1145\/1133572.1133592"},{"doi-asserted-by":"publisher","unstructured":"Moore, K.F., Grossman, D.: High-level small-step operational semantics for transactions. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 51\u201362. ACM, New York (2008). \nhttps:\/\/doi.org\/10.1145\/1328438.1328448","key":"17_CR14","DOI":"10.1145\/1328438.1328448"},{"doi-asserted-by":"publisher","unstructured":"Schmuck, F., Wylie, J.: Experience with transactions in QuickSilver. In: Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, SOSP 1991, pp. 239\u2013253. ACM, New York (1991). \nhttps:\/\/doi.org\/10.1145\/121132.121171","key":"17_CR15","DOI":"10.1145\/121132.121171"},{"unstructured":"Syme, D.: Looking ahead with F#: taming the data deluge. Presentation at the Workshop on F# in Education, November 2010","key":"17_CR16"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34175-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,17]],"date-time":"2019-11-17T19:06:29Z","timestamp":1574017589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34175-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030341749","9783030341756"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34175-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"APLAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Programming Languages and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nusa Dua, Bali","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indonesia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aplas2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/aplas-2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}