{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:15Z","timestamp":1725487095666},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_9","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:13:58Z","timestamp":1182770038000},"page":"151-170","source":"Crossref","is-referenced-by-count":0,"title":["A Theory of Nested Speculative Execution"],"prefix":"10.1007","author":[{"given":"Cristian","family":"\u0162\u0103pu\u015f","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Hickey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Transaction Processing: Concepts and Techniques.","author":"J. Gray","year":"1994","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1994)"},{"key":"9_CR2","volume-title":"CCGRID 2003","author":"C. \u0162\u0103pu\u015f","year":"2003","unstructured":"\u0162\u0103pu\u015f, C., Smith, J.D., Hickey, J.: Kernel level speculative DSM. Workshop on Distributed Shared Memory (DSM). In: CCGRID 2003. IEEE International Symposium on Cluster Computing and the Grid, Tokyo, Japan, IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/38713.38742","volume-title":"SIGMOD \u201987","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD \u201987. Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pp. 249\u2013259. ACM Press, New York (1987)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"\u0162\u0103pu\u015f, C.: Distributed Speculations: Providing Fault-tolerance and Improving Performance. PhD thesis, California Institute of Technology, Pasadena, CA (June 2006)","DOI":"10.1145\/1229428.1229462"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Smith, J.D., \u0162\u0103pu\u015f, C., Hickey, J.: The mojave compiler: Providing language primitives for whole-process migration and speculation for distributed applications. To be presented at the HIPS\/TOPMoDelS workshop (at IPDPS 2007) (2007)","DOI":"10.1109\/IPDPS.2007.370411"},{"key":"9_CR6","unstructured":"McVoy, L., Staelin, C.: lmbench: Portable tools for performance analysis. Usenix (1996)"},{"key":"9_CR7","unstructured":"Prinz, A., Thalheim, B.: Operational semantics of transactions. In: CRPITS\u201917. Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, Australian Computer Society, Inc., pp. 169\u2013179 (2003)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Black, A.P., Cremet, V., Guerraoui, R., Odersky, M.: An equational theory for transactions. In: FST TCS 2003. Foundations of Software Technology and Theoretical Computer Science. Australian Computer Society, Inc., pp. 38\u201349 (2003)","DOI":"10.1007\/978-3-540-24597-1_4"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Haines, N., Kindred, D., Morrisett, J.G., Nettles, S.M., Wing, J.M.: Composing first-class transactions. ACM Transactions on Programming Languages and Systems. Short Communication (1994)","DOI":"10.1145\/197320.197346"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: Object-Oriented Programming, Systems, Languages, and Applications, pp. 388\u2013402 (October 2003)","DOI":"10.1145\/949338.949340"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1086365.1086378","volume-title":"ICFP \u201905","author":"M.F. Ringenburg","year":"2005","unstructured":"Ringenburg, M.F., Grossman, D.: Atomcaml: first-class atomicity via rollback. In: ICFP \u201905. Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pp. 92\u2013104. ACM Press, New York (2005)"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/3959.3962","volume":"3","author":"R. Strom","year":"1985","unstructured":"Strom, R., Yemini, S.: Optimistic recovery in distributed systems. ACM Trans. Comput. Syst.\u00a03(3), 204\u2013226 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D.R. Jefferson","year":"1985","unstructured":"Jefferson, D.R.: Virtual time. ACM Trans. Program. Lang. Syst.\u00a07(3), 404\u2013425 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/1095810.1095833","volume-title":"SOSP \u201905","author":"F. Qin","year":"2005","unstructured":"Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: treating bugs as allergies\u2014a safe method to survive software failures. In: SOSP \u201905. Proceedings of the twentieth ACM symposium on Operating systems principles, pp. 235\u2013248. ACM Press, New York (2005)"},{"key":"9_CR15","unstructured":"Chang, F., Gibson, G.A.: Automatic i\/o hint generation through speculative execution. In: OSDI \u201999. Proceedings of the third symposium on Operating systems design and implementation (1999)"},{"key":"9_CR16","volume-title":"HPDC \u201903","author":"D. Thain","year":"2003","unstructured":"Thain, D., Livny, M.: The ethernet approach to grid computing. In: HPDC \u201903. Proceedings of the 12th IEEE International Symposium on High Performance Distributed Computing, IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"9_CR17","first-page":"172","volume-title":"Proceedings of the 26th annual international symposium on Computer architecture","author":"A.C. Lai","year":"1999","unstructured":"Lai, A.C., Falsafi, B.: Memory sharing predictor: the key to a speculative coherent dsm. In: Proceedings of the 26th annual international symposium on Computer architecture, pp. 172\u2013183. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"9_CR18","unstructured":"Oplinger, J., et al.: Software and hardware for exploiting speculative parallelism with a multiprocessor. Technical report, Stanford, CA (1997)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/1095810.1095829","volume-title":"SOSP \u201905","author":"E.B. Nightingale","year":"2005","unstructured":"Nightingale, E.B., Chen, P.M., Flinn, J.: Speculative execution in a distributed file system. In: SOSP \u201905. Proceedings of the twentieth ACM symposium on Operating systems principles, pp. 191\u2013205. ACM Press, New York (2005)"},{"key":"9_CR20","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"9_CR21","unstructured":"Hickey, J.J.: The MetaPRL Logical Programming Environment. PhD thesis, Cornell University, Ithaca, NY (January 2001)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"\u0162\u0103pu\u015f, C., Noblet, D.: Fixd: Fault detection, bug reporting, and recoverability for distributed applications. To be presented at the HIPS\/TOPMoDelS workshop (at IPDPS 2007) (2007)","DOI":"10.1109\/IPDPS.2007.370413"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:05:34Z","timestamp":1605762334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_9","relation":{},"subject":[]}}