{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:36Z","timestamp":1742914116113,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147192"},{"type":"electronic","value":"9783319147208"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14720-8_12","type":"book-chapter","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T09:26:01Z","timestamp":1419845161000},"page":"245-267","source":"Crossref","is-referenced-by-count":0,"title":["Safe Exception Handling with Transactional Memory"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Felber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Gramoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derin","family":"Harmanci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Nowack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-22655-7_29","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"D. Harmanci","year":"2011","unstructured":"Harmanci, D., Gramoli, V., Felber, P.: Atomic boxes: Coordinated exception handling with transactional memory. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 634\u2013657. Springer, Heidelberg (2011)"},{"key":"12_CR2","first-page":"81","volume-title":"Software Fault Tolerance","author":"F. Cristian","year":"1995","unstructured":"Cristian, F.: Exception handling and tolerance of software faults. In: Lyu, M.R. (ed.) Software Fault Tolerance, pp. 81\u2013107. John Wiley & Sons, Inc., New York (1995)"},{"key":"12_CR3","volume-title":"Robust Communications Software: Extreme Availability, Reliability and Scalability for Carrier-Grade Systems","author":"G. Utas","year":"2005","unstructured":"Utas, G.: Robust Communications Software: Extreme Availability, Reliability and Scalability for Carrier-Grade Systems. Wiley, Chichester (2005)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-73589-2_8","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"B. Cabral","year":"2007","unstructured":"Cabral, B., Marques, P.: Exception handling: A field study in java and.NET. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 151\u2013175. Springer, Heidelberg (2007)"},{"key":"12_CR5","unstructured":"Broadwell, P., Sastry, N., Traupman, J.: Fig: A prototype tool for online verification of recovery. In: Workshop on Self-Healing, Adaptive and Self-Managed Systems (2002)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-642-03013-0_22","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"B. Jacobs","year":"2009","unstructured":"Jacobs, B., Piessens, F.: Failboxes: Provably safe exception handling. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 470\u2013494. Springer, Heidelberg (2009)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Volos, H., Tack, A.J., Goyal, N., Swift, M.M., Welc, A.: xCalls: safe I\/O in memory transactions. In: EuroSys, pp. 247\u2013260 (2009)","DOI":"10.1145\/1519065.1519093"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Porter, D.E., Hofmann, O.S., Rossbach, C.J., Benn, A., Witchel, E.: Operating system transactions. In: SOSP, pp. 161\u2013176 (2009)","DOI":"10.1145\/1629575.1629591"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Smiljkovic, V., Nowack, M., Miletic, N., Harris, T., Unsal, O., Cristal, A., Valero, M.: Tm-dietlibc: A tm-aware real-world system library. In: 2013 IEEE 27th International Symposium on Parallel Distributed Processing (IPDPS), pp. 1266\u20131274 (May 2013)","DOI":"10.1109\/IPDPS.2013.45"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11864219_20","volume-title":"Distributed Computing","author":"T. Riegel","year":"2006","unstructured":"Riegel, T., Felber, P., Fetzer, C.: A lazy snapshot algorithm with eager validation. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 284\u2013298. Springer, Heidelberg (2006)"},{"key":"12_CR11","unstructured":"Korland, G., Shavit, N., Felber, P.: Deuce: Noninvasive software transactional memory in Java. Transactions on HiPEAC 5(2) (2010)"},{"key":"12_CR12","first-page":"48","volume-title":"Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2005","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2005, pp. 48\u201360. ACM, New York (2005)"},{"issue":"8","key":"12_CR13","first-page":"1047","volume":"13","author":"C. Fetzer","year":"2007","unstructured":"Fetzer, C., Felber, P.: Improving program correctness with atomic exception handling. J. of Universal Computer Science\u00a013(8), 1047\u20131072 (2007)","journal-title":"J. of Universal Computer Science"},{"key":"12_CR14","volume-title":"Robust Java: Exception Handling, Testing and Debugging","author":"S. Stelting","year":"2005","unstructured":"Stelting, S.: Robust Java: Exception Handling, Testing and Debugging. Prentice Hall, New Jersey (2005)"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2541883.2541900","volume":"57","author":"V. Gramoli","year":"2014","unstructured":"Gramoli, V., Guerraoui, R.: Democratizing transactional programming. Commun. ACM\u00a057(1), 86\u201393 (2014)","journal-title":"Commun. ACM"},{"key":"12_CR16","unstructured":"Shinnar, A., Tarditi, D., Plesko, M., Steensgaard, B.: Integrating support for undo with exception handling. Technical Report MSR-TR-2004-140, Microsoft Research (2004)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Cabral, B., Marques, P.: Implementing retry - featuring AOP. In: Fourth Latin-American Symposium on Dependable Computing, pp. 73\u201380 (2009)","DOI":"10.1109\/LADC.2009.15"},{"issue":"3","key":"12_CR18","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.scico.2005.03.005","volume":"58","author":"T. Harris","year":"2005","unstructured":"Harris, T.: Exceptions and side-effects in atomic blocks. Sci. Comput. Program.\u00a058(3), 325\u2013343 (2005)","journal-title":"Sci. Comput. Program."},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/978-3-662-44202-9_8","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"V. Gramoli","year":"2014","unstructured":"Gramoli, V., Guerraoui, R.: Reusable concurrent data types. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol.\u00a08586, pp. 182\u2013206. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Transactional Memory. Foundations, Algorithms, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14720-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T22:21:49Z","timestamp":1559082109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14720-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147192","9783319147208"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14720-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}