{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T18:21:02Z","timestamp":1783362062852,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T00:00:00Z","timestamp":1782172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,24]]},"DOI":"10.1145\/3806789.3810259","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T09:31:40Z","timestamp":1782207100000},"page":"55-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Grid Checkpointing in Speculative Simulation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-2222-984X","authenticated-orcid":false,"given":"Andrea","family":"Mazzucchi","sequence":"first","affiliation":[{"name":"University of Rome Tor Vergata, Roma, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5616-7980","authenticated-orcid":false,"given":"Francesco","family":"Quaglia","sequence":"additional","affiliation":[{"name":"University of Rome Tor Vergata, Roma, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,23]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3573900.3591115"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","unstructured":"Christopher\u00a0D. Carothers David\u00a0W. Bauer and Shawn Pearce. 2002. ROSS: A high-performance low-memory modular Time Warp system. J. Parallel Distributed Comput. 62 11 (2002) 1648\u20131669. 10.1016\/S0743-7315(02)00004-7","DOI":"10.1016\/S0743-7315(02)00004-7"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Christopher\u00a0D. Carothers Kalyan\u00a0S. Perumalla and Richard Fujimoto. 1999. Efficient optimistic parallel simulations using reverse computation. ACM Trans. Model. Comput. Simul. 9 3 (1999) 224\u2013253. 10.1145\/347823.347828","DOI":"10.1145\/347823.347828"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Davide Cingolani Alessandro Pellegrini and Francesco Quaglia. 2017. Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES. ACM Trans. Model. Comput. Simul. 27 2 (2017) 11. 10.1145\/3077583","DOI":"10.1145\/3077583"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Vittorio Cortellessa and Francesco Quaglia. 2001. A checkpointing-recovery scheme for Time Warp parallel simulation. Parallel Comput. 27 9 (2001) 1227\u20131252. 10.1016\/S0167-8191(01)00081-3","DOI":"10.1016\/S0167-8191(01)00081-3"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.1995.404317"},{"key":"e_1_3_3_2_8_2","unstructured":"Free Software Foundation Inc.2025. The GNU C Library: GNU Allocator (\u2018malloc\u2018) Implementation. https:\/\/www.gnu.org\/software\/libc\/manual\/html_node\/The-GNU-Allocator.html. Describes the \u2018malloc\u2018 implementation in glibc derived from ptmalloc (pthreads malloc) based on Doug Lea\u2019s dlmalloc; part of the GNU C Library Manual."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Richard Fujimoto Jya-Jang Tsai and Ganesh Gopalakrishnan. 1992. Design and Evaluation of the Rollback Chip: Special Purpose Hardware for Time Warp. IEEE Trans. Computers 41 1 (1992) 68\u201382. 10.1109\/12.123382","DOI":"10.1109\/12.123382"},{"key":"e_1_3_3_2_10_2","first-page":"23","volume-title":"Proceedings of the Multiconference on Distributed Simulation","author":"Fujimoto Richard\u00a0M","year":"1990","unstructured":"Richard\u00a0M Fujimoto. 1990. Performance of Time Warp Under Synthetic Workloads. In Proceedings of the Multiconference on Distributed Simulation. Society for Computer Simulation, 23\u201328."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Elsa Gonsiorowski Justin\u00a0M. LaPre and Christopher\u00a0D. Carothers. 2017. Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation. ACM Trans. Model. Comput. Simul. 27 2 (2017) 12. 10.1145\/3046685","DOI":"10.1145\/3046685"},{"key":"e_1_3_3_2_12_2","volume-title":"System V Application Binary Interface: AMD64 Architecture Processor Supplement","author":"Company Hewlett-Packard","year":"2018","unstructured":"Hewlett-Packard Company, Intel Corporation, and Advanced Micro Devices, Inc.2018. System V Application Binary Interface: AMD64 Architecture Processor Supplement. The SCO Group. https:\/\/refspecs.linuxfoundation.org\/elf\/x86_64-abi-0.99.pdf Accessed: 2026-02-13."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","unstructured":"David\u00a0R. Jefferson. 1985. Virtual Time. ACM Trans. Program. Lang. Syst. 7 3 (1985) 404\u2013425. 10.1145\/3916.3988","DOI":"10.1145\/3916.3988"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/2486092.2486134"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3064911.3064912"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS63350.2024.00101"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Federica Montesano Romolo Marotta and Francesco Quaglia. 2025. Spatial\/Temporal Locality-Based Load-sharing in Speculative Discrete Event Simulation on Multi-core Machines. ACM Trans. Model. Comput. Simul. 35 1 (2025) 2:1\u20132:31. 10.1145\/3639703","DOI":"10.1145\/3639703"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/158459.158475"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Alessandro Pellegrini and Francesco Quaglia. 2017. A Fine-Grain Time-Sharing Time Warp System. ACM Trans. Model. Comput. Simul. 27 2 (2017) 10. 10.1145\/3013528","DOI":"10.1145\/3013528"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2009.24"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Alessandro Pellegrini Roberto Vitali and Francesco Quaglia. 2015. Autonomic State Management for Optimistic Simulation Platforms. IEEE Trans. Parallel Distributed Syst. 26 6 (2015) 1560\u20131569. 10.1109\/TPDS.2014.2323967","DOI":"10.1109\/TPDS.2014.2323967"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"Kalyan\u00a0S. Perumalla and Vladimir\u00a0A. Protopopescu. 2013. Reversible simulations of elastic collisions. ACM Trans. Model. Comput. Simul. 23 2 (2013) 12:1\u201312:25. 10.1145\/2457459.2457461","DOI":"10.1145\/2457459.2457461"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Bruno\u00a0R. Preiss Wayne\u00a0M. Loucks and Ian\u00a0D. MacIntyre. 1994. Effects of the Checkpoint Interval on Time and Space in Time Warp. ACM Trans. Model. Comput. Simul. 4 3 (1994) 223\u2013253. 10.1145\/189443.189444","DOI":"10.1145\/189443.189444"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.1998.685272"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.1999.766167"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Francesco Quaglia. 2001. A Cost Model for Selecting Checkpoint Positions in Time Warp Parallel Simulation. IEEE Trans. Parallel Distributed Syst. 12 4 (2001) 346\u2013362. 10.1109\/71.920586","DOI":"10.1109\/71.920586"},{"key":"e_1_3_3_2_27_2","unstructured":"Francesco Quaglia. 2024. MVM (Memory Virtual Machine). https:\/\/github.com\/FrancescoQuaglia\/MVM.git"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT62209.2024.00022"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782834"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","unstructured":"Francesco Quaglia and Andrea Santoro. 2003. Nonblocking Checkpointing for Optimistic Parallel Simulation: Description and an Implementation. IEEE Trans. Parallel Distributed Syst. 14 6 (2003) 593\u2013610. 10.1109\/TPDS.2003.1206506","DOI":"10.1109\/TPDS.2003.1206506"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","unstructured":"Shafiur Rahman Nael\u00a0B. Abu-Ghazaleh and Walid\u00a0A. Najjar. 2019. PDES-A: Accelerators for Parallel Discrete Event Simulation Implemented on FPGAs. ACM Trans. Model. Comput. Simul. 29 2 (2019) 12:1\u201312:25. 10.1145\/3302259","DOI":"10.1145\/3302259"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Dhananjai\u00a0Madhava Rao and Julius Higiro. 2019. Managing Pending Events in Sequential and Parallel Simulations Using Three-tier Heap and Two-tier Ladder Queue. ACM Trans. Model. Comput. Simul. 29 2 (2019) 9:1\u20139:28. 10.1145\/3265750","DOI":"10.1145\/3265750"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/182478.182577"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/SIMSYM.1996.492147"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.1996.761564"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","unstructured":"Andrea Santoro and Francesco Quaglia. 2007. Multiprogrammed non-blocking checkpoints in support of optimistic simulation on myrinet clusters. J. Syst. Archit. 53 9 (2007) 659\u2013676. 10.1016\/J.SYSARC.2007.01.003","DOI":"10.1016\/J.SYSARC.2007.01.003"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","unstructured":"Andrea Santoro and Francesco Quaglia. 2012. Transparent optimistic synchronization in the high-level architecture via time-management conversion. ACM Trans. Model. Comput. Simul. 22 4 (2012) 21:1\u201321:26. 10.1145\/2379810.2379814","DOI":"10.1145\/2379810.2379814"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","unstructured":"Markus Schordan Tomas Oppelstrup David\u00a0R. Jefferson and Peter D.\u00a0Barnes Jr.2018. Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation. New Gener. Comput. 36 3 (2018) 257\u2013280. 10.1007\/S00354-018-0038-2","DOI":"10.1007\/S00354-018-0038-2"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/256562.256779"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","unstructured":"Hussam\u00a0M. Soliman and Adel\u00a0Said Elmaghraby. 1998. An Analytical Model for Hybrid Checkpointing in Time Warp Distributed Simulation. IEEE Trans. Parallel Distributed Syst. 9 10 (1998) 947\u2013951. 10.1109\/71.730524","DOI":"10.1109\/71.730524"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/158459.158473"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/256563.256816"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.2000.876560"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2008.23"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.1996.761565"}],"event":{"name":"SIGSIM-PADS '26: 40th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","location":"Vienna , Austria","acronym":"SIGSIM-PADS '26","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"]},"container-title":["Proceedings of the 40th ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3806789.3810259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T18:03:12Z","timestamp":1783360992000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3806789.3810259"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,23]]},"references-count":44,"alternative-id":["10.1145\/3806789.3810259","10.1145\/3806789"],"URL":"https:\/\/doi.org\/10.1145\/3806789.3810259","relation":{},"subject":[],"published":{"date-parts":[[2026,6,23]]},"assertion":[{"value":"2026-06-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}