{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:33:55Z","timestamp":1761978835092,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642450648"},{"type":"electronic","value":"9783642450655"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45065-5_21","type":"book-chapter","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T03:55:42Z","timestamp":1386129342000},"page":"405-424","source":"Crossref","is-referenced-by-count":3,"title":["Ditto \u2013 Deterministic Execution Replayability-as-a-Service for Java VM on Multiprocessors"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o M.","family":"Silva","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Sim\u00e3o","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Veiga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1353535.1346323","volume":"42","author":"S. Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. SIGOPS Oper. Syst. Rev.\u00a042, 329\u2013339 (2008)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Srinivasan, H.: Deterministic replay of java multithreaded applications. In: Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, SPDT 1998, pp. 48\u201359. ACM (1998)","DOI":"10.1145\/281035.281041"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"Ronsse, M., De Bosschere, K.: Recplay: a fully integrated practical record\/replay system. ACM Trans. Comput. Syst.\u00a017, 133\u2013152 (1999)","journal-title":"ACM Trans. Comput. Syst."},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1002\/spe.579","volume":"34","author":"A. Georges","year":"2004","unstructured":"Georges, A., Christiaens, M., Ronsse, M., De Bosschere, K.: Jarec: a portable record\/replay environment for multi-threaded java applications. Softw. Pract. Exper.\u00a034, 523\u2013547 (2004)","journal-title":"Softw. Pract. Exper."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Dunlap, G.W., Lucchetti, D.G., Fetterman, M.A., Chen, P.M.: Execution replay of multiprocessor virtual machines. In: Proceedings of the Fourth ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, VEE 2008, pp. 121\u2013130. ACM (2008)","DOI":"10.1145\/1346256.1346273"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Russinovich, M., Cogswell, B.: Replay for concurrent non-deterministic shared-memory applications. In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, PLDI 1996, pp. 258\u2013266. ACM (1996)","DOI":"10.1145\/249069.231432"},{"key":"21_CR7","unstructured":"Geels, D., Altekar, G., Shenker, S., Stoica, I.: Replay debugging for distributed applications. In: Proceedings of the Annual Conference on USENIX 2006 Annual Technical Conference, p. 27. USENIX Association (2006)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.D.: A \u201dflight data recorder\u201d for enabling full-system multiprocessor deterministic replay. In: Proceedings of the 30th Annual International Symposium on Computer Architecture, ISCA 2003, pp. 122\u2013135. ACM (2003)","DOI":"10.1145\/859630.859633"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Montesinos, P., Ceze, L., Torrellas, J.: Delorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently. In: Proceedings of the 35th Annual International Symposium on Computer Architecture, ISCA 2008, pp. 289\u2013300. IEEE Computer Society (2008)","DOI":"10.1109\/ISCA.2008.36"},{"key":"21_CR11","unstructured":"Park, S., Zhou, Y., Xiong, W., Yin, Z., Kaushik, R., Lee, K.H., Lu, S.: Pres: probabilistic replay with execution sketching on multiprocessors. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles. SOSP 2009, pp. 177\u2013192. ACM (2009)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Altekar, G., Stoica, I.: Odr: output-deterministic replay for multicore debugging. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP 2009, pp. 193\u2013206. ACM (2009)","DOI":"10.1145\/1629575.1629594"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Huang, J., Liu, P., Zhang, C.: Leap: lightweight deterministic multi-processor replay of concurrent java programs. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering,l FSE 2010, pp. 207\u2013216. ACM (2010)","DOI":"10.1145\/1882291.1882361"},{"key":"21_CR14","unstructured":"Yang, Z., Yang, M., Xu, L., Chen, H., Zang, B.: Order: object centric deterministic replay for java. In: Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference, USENIXATC 2011, Berkeley, CA, USA. USENIX Association (2011)"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/225535.225538","volume":"14","author":"T.C. Bressoud","year":"1996","unstructured":"Bressoud, T.C., Schneider, F.B.: Hypervisor-based fault tolerance. ACM Trans. Comput. Syst.\u00a014, 80\u2013107 (1996)","journal-title":"ACM Trans. Comput. Syst."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Napper, J., Alvisi, L., Vin, H.M.: A fault-tolerant java virtual machine. In: DSN, pp. 425\u2013434. IEEE Computer Society (2003)","DOI":"10.1109\/DSN.2003.1209953"},{"issue":"13","key":"21_CR17","doi-asserted-by":"publisher","first-page":"1421","DOI":"10.1002\/cpe.1879","volume":"24","author":"J. Sim\u00e3o","year":"2012","unstructured":"Sim\u00e3o, J., Garrochinho, T., Veiga, L.: A checkpointing-enabled and resource-aware java virtual machine for efficient and robust e-science applications in grid environments. Concurrency and Computation: Practice and Experience\u00a024(13), 1421\u20131442 (2012)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Netzer, R.H.B.: Optimal tracing and replay for debugging shared-memory parallel programs. In: Proceedings of the 1993 ACM\/ONR Workshop on Parallel and Distributed Debugging, PADD 1993, pp. 1\u201311. ACM (1993)","DOI":"10.1145\/174267.174268"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Xu, M., Hill, M.D., Bodik, R.: A regulated transitive reduction (rtr) for longer memory race recording. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-XII, pp. 49\u201360. ACM (2006)","DOI":"10.1145\/1168857.1168865"},{"issue":"1","key":"21_CR20","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1147\/sj.391.0211","volume":"39","author":"B. Alpern","year":"2000","unstructured":"Alpern, B., Attanasio, C.R., Barton, J.J., Burke, M.G., Cheng, P., Choi, J.D., Cocchi, A., Fink, S.J., Grove, D., Hind, M., Hummel, S.F., Lieber, D., Litvinov, V., Mergen, M.F., Ngo, T., Russell, J.R., Sarkar, V., Serrano, M.J., Shepherd, J.C., Smith, S.E., Sreedhar, V.C., Srinivasan, H., Whaley, J.: The jalape\u00f1o virtual machine. IBM Syst. J.\u00a039(1), 211\u2013238 (2000)","journal-title":"IBM Syst. J."}],"container-title":["Lecture Notes in Computer Science","Middleware 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45065-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T01:36:39Z","timestamp":1746063399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45065-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642450648","9783642450655"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45065-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}