{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:43:21Z","timestamp":1787017401375,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192380","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"344-358","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["iReplayer: in-situ and identical record-and-replay for multithreaded applications"],"prefix":"10.1145","author":[{"given":"Hongyu","family":"Liu","sequence":"first","affiliation":[{"name":"University of Texas at San Antonio, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Silvestro","sequence":"additional","affiliation":[{"name":"University of Texas at San Antonio, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Texas at San Antonio, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chen","family":"Tian","sequence":"additional","affiliation":[{"name":"Huawei Lab, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tongping","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Texas at San Antonio, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2017. Pure python memcached client. https:\/\/pypi.python.org\/pypi\/python-memcached.  2017. Pure python memcached client. https:\/\/pypi.python.org\/pypi\/python-memcached."},{"key":"e_1_3_2_2_2_1","unstructured":"ab Developers. 2017. ab - Apache HTTP server benchmarking tool. https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html.  ab Developers. 2017. ab - Apache HTTP server benchmarking tool. https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html."},{"key":"e_1_3_2_2_3_1","first-page":"51","volume-title":"Proceedings of the 18th conference on USENIX security symposium (SSYM'09)","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy bounds checking: an e_cient and backwards-compatible defense against out-of-bounds errors . In Proceedings of the 18th conference on USENIX security symposium (SSYM'09) . USENIX Association, Berkeley, CA, USA , 51 - 66 . http:\/\/dl.acm.org\/citation.cfm?id=1855768.1855772 Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy bounds checking: an e_cient and backwards-compatible defense against out-of-bounds errors. In Proceedings of the 18th conference on USENIX security symposium (SSYM'09). USENIX Association, Berkeley, CA, USA, 51-66. http:\/\/dl.acm.org\/citation.cfm?id=1855768.1855772"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064186"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541973"},{"key":"e_1_3_2_2_7_1","first-page":"1","volume-title":"Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (OSDI'10)","author":"Aviram Amittai","year":"2010","unstructured":"Amittai Aviram , Shu-Chun Weng , Sen Hu , and Bryan Ford . 2010 . Efficient System-enforced Deterministic Parallelism . In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (OSDI'10) . USENIX Association, Berkeley, CA, USA , 1 - 16 . http:\/\/dl.acm.org\/citation.cfm?id=1924943.1924957 Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford. 2010. Efficient System-enforced Deterministic Parallelism. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (OSDI'10). USENIX Association, Berkeley, CA, USA, 1-16. http:\/\/dl.acm.org\/citation.cfm?id=1924943.1924957"},{"key":"e_1_3_2_2_8_1","first-page":"46","volume-title":"Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 29)","author":"Ball Thomas","unstructured":"Thomas Ball and James R. Larus . 1996. Efficient Path Profiling . In Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 29) . IEEE Computer Society, Washington, DC, USA , 46 - 57 . http:\/\/dl.acm.org\/citation.cfm?id=243846.243857 Thomas Ball and James R. Larus. 1996. Efficient Path Profiling. In Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 29). IEEE Computer Society, Washington, DC, USA, 46-57. http:\/\/dl.acm.org\/citation.cfm?id=243846.243857"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379232"},{"key":"e_1_3_2_2_11_1","first-page":"114","volume-title":"Proceedings of the ACM SIGPLAN 2001 on Programming Language Design and Implementation (PLDI '01)","author":"Berger Emery D.","unstructured":"Emery D. Berger , Benjamin G. Zorn , and Kathryn S . McKinley. 2001. Composing High-performance Memory Allocators . In Proceedings of the ACM SIGPLAN 2001 on Programming Language Design and Implementation (PLDI '01) . ACM, New York, NY, USA , 114 - 124 . Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley. 2001. Composing High-performance Memory Allocators. In Proceedings of the ACM SIGPLAN 2001 on Programming Language Design and Implementation (PLDI '01). ACM, New York, NY, USA, 114-124."},{"key":"e_1_3_2_2_12_1","first-page":"1","volume-title":"Proceedings of the 17th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA '02)","author":"Berger Emery D.","unstructured":"Emery D. Berger , Benjamin G. Zorn , and Kathryn S . McKinley. 2002. Reconsidering Custom Memory Allocation . In Proceedings of the 17th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA '02) . ACM, New York, NY, USA , 1 - 12 . Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley. 2002. Reconsidering Custom Memory Allocation. In Proceedings of the 17th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA '02). ACM, New York, NY, USA, 1-12."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"e_1_3_2_2_14_1","volume-title":"Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation.","author":"Bienia Christian","year":"2009","unstructured":"Christian Bienia and Kai Li . 2009 . PARSEC 2.0: A NewBenchmark Suite for Chip-Multiprocessors . In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation. Christian Bienia and Kai Li. 2009. PARSEC 2.0: A NewBenchmark Suite for Chip-Multiprocessors. In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113459"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807426.2807434"},{"key":"e_1_3_2_2_17_1","unstructured":"Brad Spengler. 2003. PaX: The Guaranteed End of Arbitrary Code Execution. https:\/\/grsecurity.net\/PaX-presentation.ppt.  Brad Spengler. 2003. PaX: The Guaranteed End of Arbitrary Code Execution. https:\/\/grsecurity.net\/PaX-presentation.ppt."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190067"},{"key":"e_1_3_2_2_19_1","unstructured":"Bugzilla. 2013. \"libtiff (gif2tiff): possible heapbased buffer overflow in readgifimage()\". http:\/\/bugzilla.maptools.org\/show_bug.cgi?id=2451.  Bugzilla. 2013. \"libtiff (gif2tiff): possible heapbased buffer overflow in readgifimage()\". http:\/\/bugzilla.maptools.org\/show_bug.cgi?id=2451."},{"key":"e_1_3_2_2_20_1","volume-title":"In Proceedings of the 7th USENIX Security Symposium. 63-78","author":"Cowan Crispin","year":"1998","unstructured":"Crispin Cowan , Calton Pu , Dave Maier , Heather Hinton , Jonathan Walpole , Peat Bakke , Steve Beattie , Aaron Grier , Perry Wagle , and Qian Zhang . 1998 . StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks . In In Proceedings of the 7th USENIX Security Symposium. 63-78 . Crispin Cowan, Calton Pu, Dave Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, and Qian Zhang. 1998. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In In Proceedings of the 7th USENIX Security Symposium. 63-78."},{"key":"e_1_3_2_2_21_1","unstructured":"cppreference. 2017. Atomic operations library. http:\/\/en.cppreference.com\/w\/cpp\/atomic.  cppreference. 2017. Atomic operations library. http:\/\/en.cppreference.com\/w\/cpp\/atomic."},{"key":"e_1_3_2_2_22_1","first-page":"388","volume-title":"Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (SOSP '13)","author":"Cui Heming","unstructured":"Heming Cui , Jiri 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 Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (SOSP '13) . ACM, New York, NY, USA , 388 - 405 . Heming Cui, Jiri 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 Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (SOSP '13). ACM, New York, NY, USA, 388-405."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_2_24_1","first-page":"525","volume-title":"Eidetic Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","author":"Devecsery David","unstructured":"David Devecsery , Michael Chow , Xianzheng Dou , Jason Flinn , and Peter M. Chen . 2014 . Eidetic Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14) . USENIX Association, Berkeley, CA, USA , 525 - 540 . http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685090 David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, and Peter M. Chen. 2014. Eidetic Systems. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14). USENIX Association, Berkeley, CA, USA, 525-540. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685090"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950376"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844148"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384650"},{"key":"e_1_3_2_2_28_1","volume-title":"pointer use checking for C\/C++","author":"Eigler Frank Ch.","unstructured":"Frank Ch. Eigler . 2003. Mud_ap : pointer use checking for C\/C++ . Red Hat Inc . Frank Ch. Eigler. 2003. Mud_ap: pointer use checking for C\/C++. Red Hat Inc."},{"key":"e_1_3_2_2_29_1","volume-title":"2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. 459-468","author":"Gu Weining","year":"2003","unstructured":"Weining Gu , Z. Kalbarczyk , Ravishankar, K. Iyer , and Zhenyu Yang . 2003 . Characterization of linux kernel behavior under errors . In 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. 459-468 . Weining Gu, Z. Kalbarczyk, Ravishankar, K. Iyer, and Zhenyu Yang. 2003. Characterization of linux kernel behavior under errors. In 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. 459-468."},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the 8th USENIX conference on Operating systems design and implementation. USENIX Association, 193-208","author":"Guo Zhenyu","year":"2008","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 . In Proceedings of the 8th USENIX conference on Operating systems design and implementation. USENIX Association, 193-208 . 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. In Proceedings of the 8th USENIX conference on Operating systems design and implementation. USENIX Association, 193-208."},{"key":"e_1_3_2_2_31_1","first-page":"135","volume-title":"Proceedings of the Tenth International Symposium on Code Generation and Optimization (CGO '12)","author":"Hasabnis Niranjan","unstructured":"Niranjan Hasabnis , Ashish Misra , and R. Sekar . 2012. Light-weight bounds checking . In Proceedings of the Tenth International Symposium on Code Generation and Optimization (CGO '12) . ACM, New York, NY, USA , 135 - 144 . Niranjan Hasabnis, Ashish Misra, and R. Sekar. 2012. Light-weight bounds checking. In Proceedings of the Tenth International Symposium on Code Generation and Optimization (CGO '12). ACM, New York, NY, USA, 135-144."},{"key":"e_1_3_2_2_32_1","volume-title":"In Proc. of the","author":"Hastings Reed","year":"1991","unstructured":"Reed Hastings and Bob Joyce . 1991 . Purify: Fast detection of memory leaks and access errors . In In Proc. of the Winter 1992 USENIX Conference. 125-138. Reed Hastings and Bob Joyce. 1991. Purify: Fast detection of memory leaks and access errors. In In Proc. of the Winter 1992 USENIX Conference. 125-138."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451138"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665737"},{"key":"e_1_3_2_2_35_1","first-page":"265","volume-title":"Proceedings of the 35th Annual International Symposium on Computer Architecture (ISCA '08)","author":"Derek","unstructured":"Derek R. Hower and Mark D. Hill. 2008. Rerun: Exploiting Episodes for Lightweight Memory Race Recording . In Proceedings of the 35th Annual International Symposium on Computer Architecture (ISCA '08) . IEEE Computer Society, Washington, DC, USA , 265 - 276 . Derek R. Hower and Mark D. Hill. 2008. Rerun: Exploiting Episodes for Lightweight Memory Race Recording. In Proceedings of the 35th Annual International Symposium on Computer Architecture (ISCA '08). IEEE Computer Society, Washington, DC, USA, 265-276."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882323"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462167"},{"key":"e_1_3_2_2_38_1","volume-title":"Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference. USENIX Association, 403-415","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 Association, 403-415 . Shiyou Huang, Bowen Cai, and Jeff Huang. 2017. Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. In 2017 USENIX Annual Technical Conference. USENIX Association, 403-415."},{"key":"e_1_3_2_2_39_1","volume-title":"Intel Inspector XE","author":"Intel Corporation","year":"2012","unstructured":"Intel Corporation . 2012 . Intel Inspector XE 2013. http:\/\/software.intel.com\/en-us\/intel-inspector-xe. Intel Corporation. 2012. Intel Inspector XE 2013. http:\/\/software.intel.com\/en-us\/intel-inspector-xe."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815412"},{"key":"e_1_3_2_2_41_1","unstructured":"Joseph Kulandai. 2011. Java Hashtable. http:\/\/javapapers.com\/core-java\/java-hashtable\/.  Joseph Kulandai. 2011. Java Hashtable. http:\/\/javapapers.com\/core-java\/java-hashtable\/."},{"key":"e_1_3_2_2_42_1","unstructured":"Lubomir Kundrak. 2007. Buffer overflow in bzip2's bzip2recover. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=226979.  Lubomir Kundrak. 2007. Buffer overflow in bzip2's bzip2recover. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=226979."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254119"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_10"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738001"},{"key":"e_1_3_2_2_47_1","first-page":"3","volume-title":"Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (OOPSLA '11)","author":"Liu Tongping","unstructured":"Tongping Liu and Emery D. Berger . 2011. SHERIFF: precise detection and automatic mitigation of false sharing . In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (OOPSLA '11) . ACM, New York, NY, USA , 3 - 18 . Tongping Liu and Emery D. Berger. 2011. SHERIFF: precise detection and automatic mitigation of false sharing. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (OOPSLA '11). ACM, New York, NY, USA, 3-18."},{"key":"e_1_3_2_2_48_1","first-page":"327","volume-title":"Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP '11)","author":"Liu Tongping","unstructured":"Tongping Liu , Charlie Curtsinger , and Emery D. Berger . 2011. Dthreads: efficient deterministic multithreading . In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP '11) . ACM, New York, NY, USA , 327 - 336 . Tongping Liu, Charlie Curtsinger, and Emery D. Berger. 2011. Dthreads: efficient deterministic multithreading. In Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles (SOSP '11). ACM, New York, NY, USA, 327-336."},{"key":"e_1_3_2_2_49_1","volume-title":"Proceedings of 38th International Conference on Software Engineering (ICSE'16)","author":"Liu Tongping","unstructured":"Tongping Liu , Charlie Curtsinger , and Emery D. Berger . 2016. Double-Take: Fast and Precise Error Detection via Evidence-Based Dynamic Analysis . In Proceedings of 38th International Conference on Software Engineering (ICSE'16) . ACM, New York, NY, USA. Tongping Liu, Charlie Curtsinger, and Emery D. Berger. 2016. Double-Take: Fast and Precise Error Detection via Evidence-Based Dynamic Analysis. In Proceedings of 38th International Conference on Software Engineering (ICSE'16). ACM, New York, NY, USA."},{"key":"e_1_3_2_2_50_1","volume-title":"In Workshop on the Evaluation of Software Defect Detection Tools.","author":"Lu Shan","year":"2005","unstructured":"Shan Lu , Zhenmin Li , Feng Qin , Lin Tan , Pin Zhou , and Yuanyuan Zhou . 2005 . Bugbench: Benchmarks for evaluating bug detection tools . In In Workshop on the Evaluation of Software Defect Detection Tools. Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou, and Yuanyuan Zhou. 2005. Bugbench: Benchmarks for evaluating bug detection tools. In In Workshop on the Evaluation of Software Defect Detection Tools."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737973"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"key":"e_1_3_2_2_53_1","unstructured":"Microsoft. 2007. What is the Staging Environment? https:\/\/msdn.microsoft.com\/en-us\/library\/ms942990(v=cs.70).aspx.  Microsoft. 2007. What is the Staging Environment? https:\/\/msdn.microsoft.com\/en-us\/library\/ms942990(v=cs.70).aspx."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.36"},{"key":"e_1_3_2_2_55_1","unstructured":"Mozilla Corporation. 2017. rr: lightweight recording & deterministic debugging. http:\/\/rr-project.org\/.  Mozilla Corporation. 2017. rr: lightweight recording & deterministic debugging. http:\/\/rr-project.org\/."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_2_57_1","first-page":"128","article-title":"CCured: Type-Safe Retrofitting of Legacy Code","author":"Necula Necula George C.","year":"2002","unstructured":"George C. Necula Necula , McPeak Scott , and Weimer Westley . 2002 . CCured: Type-Safe Retrofitting of Legacy Code . In Proceedings of the Principles of Programming Languages. 128 - 139 . George C. Necula Necula, McPeak Scott, and Weimer Westley. 2002. CCured: Type-Safe Retrofitting of Legacy Code. In Proceedings of the Principles of Programming Languages. 128-139.","journal-title":"Proceedings of the Principles of Programming Languages."},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_2_59_1","unstructured":"Oracle Corporation. 2011. Sun Memory Error Discovery Tool (Discover). http:\/\/docs.oracle.com\/cd\/E18659_01\/html\/821-1784\/gentextid-302.html.  Oracle Corporation. 2011. Sun Memory Error Discovery Tool (Discover). http:\/\/docs.oracle.com\/cd\/E18659_01\/html\/821-1784\/gentextid-302.html."},{"key":"e_1_3_2_2_60_1","volume-title":"Engineering Record And Replay For Deployability. In 2017 USENIX Annual Technical Conference. USENIX Association.","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 Association. 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 Association."},{"key":"e_1_3_2_2_61_1","unstructured":"parasoft Company. 2013. Runtime Analysis and Memory Error Detection for C and C++.  parasoft Company. 2013. Runtime Analysis and Memory Error Detection for C and C++ ."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772958"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_2_65_1","unstructured":"James Reinders. 2013. \"Processor Tracing\". https:\/\/software.intel.com\/en-us\/blogs\/2013\/09\/18\/processor-tracing.  James Reinders. 2013. \"Processor Tracing\". https:\/\/software.intel.com\/en-us\/blogs\/2013\/09\/18\/processor-tracing."},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_2_68_1","first-page":"28","volume-title":"Proceedings of the 2012 USENIX conference on Annual Technical Conference (USENIX ATC'12). USENIX Association","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012 . AddressSanitizer: a fast address sanity checker . In Proceedings of the 2012 USENIX conference on Annual Technical Conference (USENIX ATC'12). USENIX Association , Berkeley, CA, USA , 28 - 28 . http:\/\/dl.acm.org\/citation.cfm?id=2342821.2342849 Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: a fast address sanity checker. In Proceedings of the 2012 USENIX conference on Annual Technical Conference (USENIX ATC'12). USENIX Association, Berkeley, CA, USA, 28-28. http:\/\/dl.acm.org\/citation.cfm?id=2342821.2342849"},{"key":"e_1_3_2_2_69_1","unstructured":"SQL Developers. 2017. How SQLite Is Tested. https:\/\/www.sqlite.org\/testing.html.  SQL Developers. 2017. How SQLite Is Tested. https:\/\/www.sqlite.org\/testing.html."},{"key":"e_1_3_2_2_70_1","unstructured":"Talos. 2016. \"Memcached Server SASL Autentication Remote Code Execution Vulnerability\". https:\/\/www.talosintelligence.com\/reports\/TALOS-2016-0221\/.  Talos. 2016. \"Memcached Server SASL Autentication Remote Code Execution Vulnerability\". https:\/\/www.talosintelligence.com\/reports\/TALOS-2016-0221\/."},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950370"},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544152"},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924955"},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993541"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":75,"alternative-id":["10.1145\/3192366.3192380","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192380","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192380","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}