{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T13:52:13Z","timestamp":1758808333706,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":89,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R006865\/1"],"award-info":[{"award-number":["EP\/R006865\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314635","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"576-593","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Sparse record and replay with controlled scheduling"],"prefix":"10.1145","author":[{"given":"Christopher","family":"Lidbury","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS- 01)","author":"Alpern Bowen","year":"2001","unstructured":"Bowen Alpern , Jong-Deok Choi , Ton Ngo , Manu Sridharan , and John M. Vlissides . 2001. A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications . In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS- 01) , San Francisco, CA, USA , April 23-27, 2001 . IEEE Computer Society, 23. Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, and John M. Vlissides. 2001. A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS- 01), San Francisco, CA, USA, April 23-27, 2001. IEEE Computer Society, 23."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_2_3_1","unstructured":"Apache Software Foundation. 2018. Apache httpd. https:\/\/httpd.apache.org\/dev\/devnotes.html.  Apache Software Foundation. 2018. Apache httpd. https:\/\/httpd.apache.org\/dev\/devnotes.html."},{"key":"e_1_3_2_2_4_1","volume-title":"Arpaci-Dusseau and Brad Chen (Eds.)","author":"Remzi","year":"2010","unstructured":"Remzi H. Arpaci-Dusseau and Brad Chen (Eds.) . 2010 . 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings. USENIX Association . http:\/\/www.usenix.org\/event\/osdi10\/tech\/full_papers\/osdi10_proceedings.pdf. Remzi H. Arpaci-Dusseau and Brad Chen (Eds.). 2010. 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings. USENIX Association. http:\/\/www.usenix.org\/event\/osdi10\/tech\/full_papers\/osdi10_proceedings.pdf."},{"key":"e_1_3_2_2_5_1","first-page":"193","volume-title":"See [4]","author":"Aviram Amittai","unstructured":"Amittai Aviram , Shu-Chun Weng , Sen Hu , and Bryan Ford . 2010. Efficient System-Enforced Deterministic Parallelism , See [4] , 193 - 206 . http:\/\/www.usenix.org\/events\/osdi10\/tech\/full_papers\/Aviram.pdf. Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. 2010. Efficient System-Enforced Deterministic Parallelism, See [4], 193-206. http:\/\/www.usenix.org\/events\/osdi10\/tech\/full_papers\/Aviram.pdf."},{"key":"e_1_3_2_2_6_1","first-page":"194","volume-title":"Proceedings of the 1991 ACM\/ONR Workshop on Parallel and Distributed Debugging (PADD '91)","author":"David","unstructured":"David F. Bacon and Seth Copen Goldstein. 1991. Hardware-assisted Replay of Multiprocessor Programs . In Proceedings of the 1991 ACM\/ONR Workshop on Parallel and Distributed Debugging (PADD '91) . ACM, New York, NY, USA , 194 - 206 . David F. Bacon and Seth Copen Goldstein. 1991. Hardware-assisted Replay of Multiprocessor Programs. In Proceedings of the 1991 ACM\/ONR Workshop on Parallel and Distributed Debugging (PADD '91). ACM, New York, NY, USA, 194-206."},{"key":"e_1_3_2_2_7_1","first-page":"55","article-title":"Mathematizing C++ concurrency","author":"Batty Mark","year":"2011","unstructured":"Mark Batty , Scott Owens , Susmit Sarkar , Peter Sewell , and Tjark Weber . 2011 . Mathematizing C++ concurrency . In POPL. 55 - 66 . Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, and Tjark Weber. 2011. Mathematizing C++ concurrency. In POPL. 55-66.","journal-title":"POPL."},{"key":"e_1_3_2_2_8_1","first-page":"53","volume-title":"See [38]","author":"Bergan Tom","unstructured":"Tom Bergan , Owen Anderson , Joseph Devietti , Luis Ceze , and Dan Grossman . 2010. CoreDet: a compiler and runtime system for deterministic multithreaded execution , See [38] , 53 - 64 . Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, and Dan Grossman. 2010. CoreDet: a compiler and runtime system for deterministic multithreaded execution, See [38], 53-64."},{"key":"e_1_3_2_2_9_1","volume-title":"Gribble","author":"Bergan Tom","year":"2010","unstructured":"Tom Bergan , Nicholas Hunt , Luis Ceze , and Steven D . Gribble . 2010 . Deterministic Process Groups in dOS, See [4], 177-191. http:\/\/www.usenix.org\/events\/osdi10\/tech\/full_papers\/Bergan.pdf. Tom Bergan, Nicholas Hunt, Luis Ceze, and Steven D. Gribble. 2010. Deterministic Process Groups in dOS, See [4], 177-191. http:\/\/www.usenix.org\/events\/osdi10\/tech\/full_papers\/Bergan.pdf."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"e_1_3_2_2_12_1","first-page":"167","volume-title":"See [38]","author":"Burckhardt Sebastian","unstructured":"Sebastian Burckhardt , Pravesh Kothari , Madanlal Musuvathi , and Santosh Nagarakatte . 2010. A randomized scheduler with probabilistic guarantees of finding bugs , See [38] , 167 - 178 . Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, and Santosh Nagarakatte. 2010. A randomized scheduler with probabilistic guarantees of finding bugs, See [38], 167-178."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502050"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892242.2892257"},{"key":"e_1_3_2_2_15_1","unstructured":"M. E. Chastain. 1999. MEC. (January 1999). https:\/\/lwn.net\/1999\/0121\/a\/mec.html.  M. E. Chastain. 1999. MEC. (January 1999). https:\/\/lwn.net\/1999\/0121\/a\/mec.html."},{"key":"e_1_3_2_2_16_1","volume-title":"ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13","author":"Cui Heming","year":"2013","unstructured":"Heming Cui , Jir\u00ed Simsa , Yi-Hong Lin , Hao Li , Ben Blum , Xinan Xu , Junfeng Yang , Garth A. Gibson , and Randal E. Bryant . 2013. Parrot: a practical runtime for deterministic, stable, and reliable threads . In ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13 , Farmington, PA, USA , November 3-6, 2013 , Michael Kaminsky and Mike Dahlin (Eds.). ACM, 388-405. Heming Cui, Jir\u00ed Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, and Randal E. Bryant. 2013. Parrot: a practical runtime for deterministic, stable, and reliable threads. In ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013, Michael Kaminsky and Mike Dahlin (Eds.). ACM, 388-405."},{"key":"e_1_3_2_2_17_1","first-page":"337","volume-title":"See [85]","author":"Cui Heming","unstructured":"Heming Cui , Jingyue Wu , John Gallagher , Huayang Guo , and Junfeng Yang . 2011. Efficient deterministic multithreading through schedule relaxation , See [85] , 337 - 351 . Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, and Junfeng Yang. 2011. Efficient deterministic multithreading through schedule relaxation, See [85], 337-351."},{"key":"e_1_3_2_2_18_1","unstructured":"P. Deva. 2018. Chronon. (2018). http:\/\/chrononsystems.com\/blog\/design-and-architecture-ofthe-chronon-record-0.  P. Deva. 2018. Chronon. (2018). http:\/\/chrononsystems.com\/blog\/design-and-architecture-ofthe-chronon-record-0."},{"key":"e_1_3_2_2_19_1","volume-title":"Eidetic Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14","author":"Devecsery David","year":"2014","unstructured":"David Devecsery , Michael Chow , Xianzheng Dou , Jason Flinn , and Peter M. Chen . 2014 . Eidetic Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14 , Broomfield, CO, USA , October 6-8, 2014 ., Jason Flinn and Hank Levy (Eds.). USENIX Association, 525-540. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/devecsery. David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen. 2014. Eidetic Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014., Jason Flinn and Hank Levy (Eds.). USENIX Association, 525-540. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/devecsery."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_2_21_1","first-page":"67","volume-title":"See [37]","author":"Devietti Joseph","unstructured":"Joseph Devietti , Jacob Nelson , Tom Bergan , Luis Ceze , and Dan Grossman . 2011. RCDC: a relaxed consistency deterministic computer , See [37] , 67 - 78 . Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, and Dan Grossman. 2011. RCDC: a relaxed consistency deterministic computer, See [37], 67-78."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2843859.2843867"},{"key":"e_1_3_2_2_23_1","unstructured":"Richard Draves and Robbert van Renesse (Eds.). 2008. 8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008 December 8-10 2008 San Diego California USA Proceedings. USENIX Association. https:\/\/www.usenix.org\/publications\/proceedings\/?f[0]=im_group_audience%3A73.  Richard Draves and Robbert van Renesse (Eds.). 2008. 8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008 December 8-10 2008 San Diego California USA Proceedings . USENIX Association. https:\/\/www.usenix.org\/publications\/proceedings\/?f[0]=im_group_audience%3A73."},{"key":"e_1_3_2_2_24_1","volume-title":"ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. In 5th Symposium on Operating System Design and Implementation (OSDI 2002","author":"Dunlap George W.","year":"2002","unstructured":"George W. Dunlap , Samuel T. King , Sukru Cinar , Murtaza A. Basrai , and Peter M. Chen . 2002 . ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. In 5th Symposium on Operating System Design and Implementation (OSDI 2002 ), Boston, Massachusetts, USA , December 9-11, 2002 , David E. Culler and Peter Druschel (Eds.). USENIX Association. http:\/\/www.usenix.org\/events\/osdi02\/tech\/dunlap.html. George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, and Peter M. Chen. 2002. ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay. In 5th Symposium on Operating System Design and Implementation (OSDI 2002), Boston, Massachusetts, USA, December 9-11, 2002, David E. Culler and Peter Druschel (Eds.). USENIX Association. http:\/\/www.usenix.org\/events\/osdi02\/tech\/dunlap.html."},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008","author":"Dunlap George W.","year":"2008","unstructured":"George W. Dunlap , Dominic G. Lucchetti , Michael A. Fetterman , and Peter M. Chen . 2008. Execution replay of multiprocessor virtual machines . In Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008 , Seattle, WA, USA , March 5-7, 2008 , David Gregg, Vikram S. Adve, and Brian N. Bershad (Eds.). ACM, 121-130. George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, and Peter M. Chen. 2008. Execution replay of multiprocessor virtual machines. In Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, David Gregg, Vikram S. Adve, and Brian N. Bershad (Eds.). ACM, 121-130."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"volume-title":"Full-System Simulation from Embedded to High-Performance Systems","author":"Engblom Jakob","key":"e_1_3_2_2_27_1","unstructured":"Jakob Engblom , Daniel Aarno , and Bengt Werner . 2010. Full-System Simulation from Embedded to High-Performance Systems . Springer US , Boston, MA , 25-45. Jakob Engblom, Daniel Aarno, and Bengt Werner. 2010. Full-System Simulation from Embedded to High-Performance Systems. Springer US, Boston, MA, 25-45."},{"key":"e_1_3_2_2_28_1","volume-title":"Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009","author":"Flanagan Cormac","year":"2009","unstructured":"Cormac Flanagan and Stephen N. Freund . 2009. FastTrack: efficient and precise dynamic race detection . In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009 , Dublin, Ireland , June 15-21, 2009 , Michael Hind and Amer Diwan (Eds.). ACM, 121-133. Cormac Flanagan and Stephen N. Freund. 2009. FastTrack: efficient and precise dynamic race detection. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, Michael Hind and Amer Diwan (Eds.). ACM, 121-133."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806674"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_2_32_1","first-page":"289","volume-title":"Proceedings of the 2006 USENIX Annual Technical Conference","author":"Geels Dennis","year":"2006","unstructured":"Dennis Geels , Gautam Altekar , Scott Shenker , and Ion Stoica . 2006 . Replay Debugging for Distributed Applications (Awarded Best Paper!) . In Proceedings of the 2006 USENIX Annual Technical Conference , Boston, MA, USA, May 30 - June 3, 2006, Atul Adya and Erich M. Nahum (Eds.). USENIX, 289 - 300 . http:\/\/www.usenix.org\/events\/usenix06\/tech\/geels.html. Dennis Geels, Gautam Altekar, Scott Shenker, and Ion Stoica. 2006. Replay Debugging for Distributed Applications (Awarded Best Paper!). In Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA, USA, May 30 - June 3, 2006, Atul Adya and Erich M. Nahum (Eds.). USENIX, 289-300. http:\/\/www.usenix.org\/events\/usenix06\/tech\/geels.html."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"key":"e_1_3_2_2_34_1","volume-title":"Reverse debugging with the TotalView debugger. (May","author":"Gottbrath C.","year":"2008","unstructured":"C. Gottbrath . 2008. Reverse debugging with the TotalView debugger. (May 2008 ). C. Gottbrath. 2008. Reverse debugging with the TotalView debugger. (May 2008)."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924"},{"key":"e_1_3_2_2_36_1","first-page":"193","volume-title":"See [23]","author":"Guo Zhenyu","unstructured":"Zhenyu Guo , Xi Wang , Jian Tang , Xuezheng Liu , Zhilei Xu , Ming Wu , M. Frans Kaashoek , and Zheng Zhang . 2008. R2: An Application-Level Kernel for Record and Replay , See [23] , 193 - 208 . http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/guo\/guo.pdf. Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, and Zheng Zhang. 2008. R2: An Application-Level Kernel for Record and Replay, See [23], 193-208. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/guo\/guo.pdf."},{"key":"e_1_3_2_2_37_1","volume-title":"Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011","author":"Gupta Rajiv","year":"2011","unstructured":"Rajiv Gupta and Todd C . Mowry (Eds.). 2011 . Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011 , Newport Beach, CA, USA , March 5-11, 2011 . ACM. Rajiv Gupta and Todd C. Mowry (Eds.). 2011. Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011. ACM."},{"key":"e_1_3_2_2_38_1","volume-title":"Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010","author":"James","year":"2010","unstructured":"James C. Hoe and Vikram S. Adve (Eds.). 2010 . Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010 , Pittsburgh, Pennsylvania, USA , March 13-17, 2010 . ACM. James C. Hoe and Vikram S. Adve (Eds.). 2010. Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010. ACM."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541979"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665737"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694390"},{"key":"e_1_3_2_2_42_1","volume-title":"Rerun: Exploiting Episodes for Lightweight Memory Race Recording. In 35th International Symposium on Computer Architecture (ISCA 2008)","author":"Hower Derek","year":"2008","unstructured":"Derek Hower and Mark D. Hill . 2008 . Rerun: Exploiting Episodes for Lightweight Memory Race Recording. In 35th International Symposium on Computer Architecture (ISCA 2008) , June 21-25, 2008 , Beijing, China. 265-276. Derek Hower and Mark D. Hill. 2008. Rerun: Exploiting Episodes for Lightweight Memory Race Recording. In 35th International Symposium on Computer Architecture (ISCA 2008), June 21-25, 2008, Beijing, China. 265-276."},{"key":"e_1_3_2_2_43_1","volume-title":"Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010","author":"Huang Jeff","year":"2010","unstructured":"Jeff Huang , Peng Liu , and Charles Zhang . 2010 . LEAP: lightweight deterministic multi-processor replay of concurrent java programs . In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010 , Santa Fe, NM, USA , November 7-11, 2010, Gruia-Catalin Roman and Andr\u00e9 van der Hoek (Eds.). ACM, 207-216. Jeff Huang, Peng Liu, and Charles Zhang. 2010. LEAP: lightweight deterministic multi-processor replay of concurrent java programs. In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010, Gruia-Catalin Roman and Andr\u00e9 van der Hoek (Eds.). ACM, 207-216."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462167"},{"key":"e_1_3_2_2_45_1","volume-title":"Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017","author":"Huang Shiyou","year":"2017","unstructured":"Shiyou Huang , Bowen Cai , and Jeff Huang . 2017 . Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017 , Santa Clara, CA, USA , July 12-14, 2017. 403-415. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/huang. Shiyou Huang, Bowen Cai, and Jeff Huang. 2017. Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017, Santa Clara, CA, USA, July 12-14, 2017. 403-415. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/huang."},{"key":"e_1_3_2_2_46_1","first-page":"431","volume-title":"Secure and Efficient Multi-Variant Execution Using Hardware-Assisted Process Virtualization. In 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2016","author":"Koning Koen","year":"2016","unstructured":"Koen Koning , Herbert Bos , and Cristiano Giuffrida . 2016 . Secure and Efficient Multi-Variant Execution Using Hardware-Assisted Process Virtualization. In 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2016 , Toulouse, France, June 28 - July 1, 2016. IEEE Computer Society, 431 - 442 . Koen Koning, Herbert Bos, and Cristiano Giuffrida. 2016. Secure and Efficient Multi-Variant Execution Using Hardware-Assisted Process Virtualization. In 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, June 28 - July 1, 2016. IEEE Computer Society, 431-442."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254119"},{"key":"e_1_3_2_2_50_1","first-page":"77","volume-title":"See [38]","author":"Lee Dongyoon","unstructured":"Dongyoon Lee , Benjamin Wester , Kaushik Veeraraghavan , Satish Narayanasamy , Peter M. Chen , and Jason Flinn . 2010. Respec: efficient online multiprocessor replayvia speculation and external determinism , See [38] , 77 - 90 . Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, and Jason Flinn. 2010. Respec: efficient online multiprocessor replayvia speculation and external determinism, See [38], 77-90."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_10"},{"key":"e_1_3_2_2_52_1","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Lidbury Christopher","year":"2017","unstructured":"Christopher Lidbury and Alastair F. Donaldson . 2017. Dynamic race detection for C++11 . In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 , Paris, France , January 18-20, 2017 , Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 443-457. Christopher Lidbury and Alastair F. Donaldson. 2017. Dynamic race detection for C++11. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 443-457."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192380"},{"key":"e_1_3_2_2_54_1","first-page":"55","volume-title":"See [35]","author":"Liu Peng","unstructured":"Peng Liu , Xiangyu Zhang , Omer Tripp , and Yunhui Zheng . 2015. Light: replay via tightly bounded recording , See [35] , 55 - 64 . Peng Liu, Xiangyu Zhang, Omer Tripp, and Yunhui Zheng. 2015. Light: replay via tightly bounded recording, See [35], 55-64."},{"key":"e_1_3_2_2_55_1","volume-title":"Berger","author":"Liu Tongping","year":"2011","unstructured":"Tongping Liu , Charlie Curtsinger , and Emery D . Berger . 2011 . Dthreads: efficient deterministic multithreading, See [85], 327-336. Tongping Liu, Charlie Curtsinger, and Emery D. Berger. 2011. Dthreads: efficient deterministic multithreading, See [85], 327-336."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"volume-title":"Understanding IntelliTrace part I: What the @#$% is IntelliTrace?","year":"2018","key":"e_1_3_2_2_58_1","unstructured":"Microsoft. 2018. Understanding IntelliTrace part I: What the @#$% is IntelliTrace? ( 2018 ). https:\/\/blogs.msdn.microsoft.com\/zainnab\/2013\/02\/12\/understanding-intellitrace-part-i-what-the-is-intellitrace. Microsoft. 2018. Understanding IntelliTrace part I: What the @#$% is IntelliTrace? (2018). https:\/\/blogs.msdn.microsoft.com\/zainnab\/2013\/02\/12\/understanding-intellitrace-part-i-what-the-is-intellitrace."},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.36"},{"key":"e_1_3_2_2_60_1","unstructured":"Mozilla. 2018. SpiderMonkey. https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Projects\/SpiderMonkey.  Mozilla. 2018. SpiderMonkey. https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Projects\/SpiderMonkey."},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"e_1_3_2_2_62_1","volume-title":"Piramanayagam Arumuga Nainar, and Iulian Neamtiu","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi , Shaz Qadeer , Thomas Ball , G\u00e9rard Basler , Piramanayagam Arumuga Nainar, and Iulian Neamtiu . 2008 . Finding and Reproducing Heisenbugs in Concurrent Programs, See [23], 267-280. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/musuvathi\/musuvathi.pdf. Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, G\u00e9rard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. 2008. Finding and Reproducing Heisenbugs in Concurrent Programs, See [23], 267-280. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/musuvathi\/musuvathi.pdf."},{"key":"e_1_3_2_2_63_1","first-page":"284","volume-title":"BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging. In 32st International Symposium on Computer Architecture (ISCA 2005)","author":"Narayanasamy Satish","year":"2005","unstructured":"Satish Narayanasamy , Gilles Pokam , and Brad Calder . 2005 . BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging. In 32st International Symposium on Computer Architecture (ISCA 2005) , 4-8 June 2005, Madison, Wisconsin, USA. IEEE Computer Society , 284 - 295 . Satish Narayanasamy, Gilles Pokam, and Brad Calder. 2005. BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging. In 32st International Symposium on Computer Architecture (ISCA 2005), 4-8 June 2005, Madison, Wisconsin, USA. IEEE Computer Society, 284-295."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509514"},{"key":"e_1_3_2_2_65_1","volume-title":"Lightweight User-Space Record And Replay. CoRR abs\/1610.02144","author":"O'Callahan Robert","year":"2016","unstructured":"Robert O'Callahan , Chris Jones , Nathan Froyd , Kyle Huey , Albert Noll , and Nimrod Partush . 2016. Lightweight User-Space Record And Replay. CoRR abs\/1610.02144 ( 2016 ). arXiv:1610.02144 http:\/\/arxiv.org\/abs\/1610.02144. Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, and Nimrod Partush. 2016. Lightweight User-Space Record And Replay. CoRR abs\/1610.02144 (2016). arXiv:1610.02144 http:\/\/arxiv.org\/abs\/1610.02144."},{"key":"e_1_3_2_2_66_1","volume-title":"Engineering Record and Replay for Deployability. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017","author":"O'Callahan Robert","year":"2017","unstructured":"Robert O'Callahan , Chris Jones , Nathan Froyd , Kyle Huey , Albert Noll , and Nimrod Partush . 2017 . Engineering Record and Replay for Deployability. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017 , Santa Clara, CA, USA , July 12-14, 2017. 377-389. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/ocallahan. Robert O'Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, and Nimrod Partush. 2017. Engineering Record and Replay for Deployability. In 2017 USENIX Annual Technical Conference, USENIX ATC 2017, Santa Clara, CA, USA, July 12-14, 2017. 377-389. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/ocallahan."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"key":"e_1_3_2_2_68_1","unstructured":"pbzip2 development team. 2018. pbzip2. https:\/\/launchpad.net\/pbzip2.  pbzip2 development team. 2018. pbzip2. https:\/\/launchpad.net\/pbzip2."},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3203217.3203237"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485922.2485977"},{"key":"e_1_3_2_2_71_1","unstructured":"QuakeSpasm. 2018. QuakeSpasm: An engine for iD software's Quake. http:\/\/quakespasm.sourceforge.net\/.  QuakeSpasm. 2018. QuakeSpasm: An engine for iD software's Quake. http:\/\/quakespasm.sourceforge.net\/."},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085139"},{"key":"e_1_3_2_2_73_1","unstructured":"Torr Samaho. 2018. Zandronum. https:\/\/zandronum.com\/.  Torr Samaho. 2018. Zandronum. https:\/\/zandronum.com\/."},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_2_75_1","unstructured":"Simple DirectMedia Layer. 2018. SDL 2.0 library. https:\/\/www.libsdl.org\/download-2.0.php.  Simple DirectMedia Layer. 2018. SDL 2.0 library. https:\/\/www.libsdl.org\/download-2.0.php."},{"key":"e_1_3_2_2_76_1","unstructured":"SQLite. 2018. SQLite 3.24.0. https:\/\/sqlite.org\/releaselog\/3_24_0.html.  SQLite. 2018. SQLite 3.24.0. https:\/\/sqlite.org\/releaselog\/3_24_0.html."},{"volume-title":"Security and Privacy in Communication Networks","author":"Srinivasan Deepa","key":"e_1_3_2_2_77_1","unstructured":"Deepa Srinivasan and Xuxian Jiang . 2012. Time-Traveling Forensic Analysis of VM-Based High-Interaction Honeypots . In Security and Privacy in Communication Networks , Muttukrishnan Rajarajan, Fred Piper, Haining Wang, and George Kesidis (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 209-226. Deepa Srinivasan and Xuxian Jiang. 2012. Time-Traveling Forensic Analysis of VM-Based High-Interaction Honeypots. In Security and Privacy in Communication Networks, Muttukrishnan Rajarajan, Fred Piper, Haining Wang, and George Kesidis (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 209-226."},{"key":"e_1_3_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555260"},{"key":"e_1_3_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_2_80_1","unstructured":"Undo. 2018. Reversible debugging tools for C\/C++ on Linux & Android. (2018). http:\/\/undo-software.com.  Undo. 2018. Reversible debugging tools for C\/C++ on Linux & Android. (2018). http:\/\/undo-software.com."},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"crossref","unstructured":"Kaushik Veeraraghavan Dongyoon Lee Benjamin Wester Jessica Ouyang Peter M. Chen Jason Flinn and Satish Narayanasamy. 2011. DoublePlay: parallelizing sequential logging and replay See [37] 15- 26.  Kaushik Veeraraghavan Dongyoon Lee Benjamin Wester Jessica Ouyang Peter M. Chen Jason Flinn and Satish Narayanasamy. 2011. DoublePlay: parallelizing sequential logging and replay See [37] 15- 26.","DOI":"10.1145\/1961296.1950370"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064178"},{"key":"e_1_3_2_2_83_1","volume-title":"Secure and Efficient Application Monitoring and Replication. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016","author":"Volckaert Stijn","year":"2016","unstructured":"Stijn Volckaert , Bart Coppens , Alexios Voulimeneas , Andrei Homescu , Per Larsen , Bjorn De Sutter , and Michael Franz . 2016 . Secure and Efficient Application Monitoring and Replication. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016 , Denver, CO, USA , June 22-24, 2016., Ajay Gulati and Hakim Weatherspoon (Eds.). USENIX Association, 167-179. https:\/\/www.usenix.org\/conference\/atc16\/technical-sessions\/presentation\/volckaert. Stijn Volckaert, Bart Coppens, Alexios Voulimeneas, Andrei Homescu, Per Larsen, Bjorn De Sutter, and Michael Franz. 2016. Secure and Efficient Application Monitoring and Replication. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016, Denver, CO, USA, June 22-24, 2016., Ajay Gulati and Hakim Weatherspoon (Eds.). USENIX Association, 167-179. https:\/\/www.usenix.org\/conference\/atc16\/technical-sessions\/presentation\/volckaert."},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544152"},{"key":"e_1_3_2_2_85_1","volume-title":"Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011","author":"Wobber Ted","year":"2011","unstructured":"Ted Wobber and Peter Druschel ( Eds .). 2011 . Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011 , Cascais, Portugal , October 23-26, 2011. ACM. Ted Wobber and Peter Druschel (Eds.). 2011. Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011. ACM."},{"key":"e_1_3_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"e_1_3_2_2_88_1","unstructured":"Zandronum. 2015. Zandronum bug tracker. https:\/\/zandronum.com\/tracker\/view.php?id=2380 Bug 0002380.  Zandronum. 2015. Zandronum bug tracker. https:\/\/zandronum.com\/tracker\/view.php?id=2380 Bug 0002380."},{"key":"e_1_3_2_2_89_1","first-page":"250","volume-title":"See [35]","author":"Zhang Naling","unstructured":"Naling Zhang , Markus Kusano , and Chao Wang . 2015. Dynamic partial order reduction for relaxed memory models , See [35] , 250 - 259 . Naling Zhang, Markus Kusano, and Chao Wang. 2015. Dynamic partial order reduction for relaxed memory models, See [35], 250-259."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314635","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314635"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":89,"alternative-id":["10.1145\/3314221.3314635","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314635","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}