{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:25Z","timestamp":1772163985901,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,5]],"date-time":"2011-03-05T00:00:00Z","timestamp":1299283200000},"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":[[2011,3,5]]},"DOI":"10.1145\/1950365.1950369","type":"proceedings-article","created":{"date-parts":[[2011,3,8]],"date-time":"2011-03-08T10:03:11Z","timestamp":1299578591000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":114,"title":["Improving software diagnosability via log enhancement"],"prefix":"10.1145","author":[{"given":"Ding","family":"Yuan","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soyeon","family":"Park","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuanyuan","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Savage","sequence":"additional","affiliation":[{"name":"University of California San Diego, San Diego, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,3,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Cisco system log management.  Cisco system log management."},{"key":"e_1_3_2_1_2_1","unstructured":"EMC seen collecting and managing log as key driver for 94 percent of customers.  EMC seen collecting and managing log as key driver for 94 percent of customers."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945454"},{"key":"e_1_3_2_1_4_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","unstructured":"A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques, and Tools ( 2 nd Edition), Page 528. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition), Page 528.","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251543"},{"key":"e_1_3_2_1_6_1","volume-title":"Technical Report TN2123","author":"Apple Inc.","year":"2004","unstructured":"Apple Inc. , CrashReport. Technical Report TN2123 , 2004 . Apple Inc., CrashReport. Technical Report TN2123, 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065035"},{"key":"e_1_3_2_1_8_1","volume-title":"OSDI'04","author":"Barham P.","unstructured":"P. Barham , A. Donnelly , R. Isaacs , and R. Mortier . Using magpie for request extraction and workload modelling . In OSDI'04 . P. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using magpie for request extraction and workload modelling. In OSDI'04."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134000"},{"key":"e_1_3_2_1_10_1","volume-title":"OSDI'08","author":"Bhatia S.","unstructured":"S. Bhatia , A. Kumar , M. Fiuczynski , and L. Peterson . Lightweight, high-resolution monitoring for troubleshooting production systems . In OSDI'08 . S. Bhatia, A. Kumar, M. Fiuczynski, and L. Peterson. Lightweight, high-resolution monitoring for troubleshooting production systems. In OSDI'08."},{"key":"e_1_3_2_1_11_1","volume-title":"OSDI'08","author":"Cadar C.","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI'08 . C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI'08."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346322"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.20"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755945"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095821"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294274"},{"key":"e_1_3_2_1_18_1","volume-title":"Dell Power Solutions","year":"2008","unstructured":"Dell. Streamlined Troubleshooting with the Dell system E-Support tool . Dell Power Solutions , 2008 . Dell. Streamlined Troubleshooting with the Dell system E-Support tool. Dell Power Solutions, 2008."},{"key":"e_1_3_2_1_19_1","volume-title":"TR SRC-159","author":"Detlefs D. L.","year":"1998","unstructured":"D. L. Detlefs , K. R. M. Leino , K. Rustan , M. Leino , G. Nelson , and J. B. Saxe . Extended static checking . In TR SRC-159 , COMPAQ SRC , 1998 . D. L. Detlefs, K. R. M. Leino, K. Rustan, M. Leino, G. Nelson, and J. B. Saxe. Extended static checking. In TR SRC-159, COMPAQ SRC, 1998."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"e_1_3_2_1_22_1","unstructured":"The DWARF Debugging Format. http:\/\/dwarfstd.org.  The DWARF Debugging Format. http:\/\/dwarfstd.org."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_25_1","unstructured":"Man page for gcore (Linux section 1).  Man page for gcore (Linux section 1)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_1_27_1","unstructured":"Google Inc. Breakpad.  Google Inc. Breakpad."},{"key":"e_1_3_2_1_28_1","volume-title":"OSDI'08","author":"Guo Z.","unstructured":"Z. Guo , X. Wang , J. Tang , X. Liu , Z. Xu , M. Wu , M. F. Kaashoek , and Z. Zhang . R2: An application-level kernel for record and replay . In OSDI'08 . Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An application-level kernel for record and replay. In OSDI'08."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250747"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181785"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629582"},{"key":"e_1_3_2_1_32_1","volume-title":"The Practice of Programming","author":"Kernighan B. W.","year":"1999","unstructured":"B. W. Kernighan and R. Pike . The Practice of Programming . Addison-Wesley , 1999 . B. W. Kernighan and R. Pike. The Practice of Programming. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_33_1","volume-title":"USENIX ATC'05","author":"King S. T.","unstructured":"S. T. King , G. W. Dunlap , and P. M. Chen . Debugging operating systems with time-traveling virtual machines . In USENIX ATC'05 . S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX ATC'05."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781148"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815988"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041685.1029907"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.36"},{"key":"e_1_3_2_1_41_1","unstructured":"Mozilla Quality Feedback Agent. http:\/\/support.mozilla.com\/en-US\/kb\/quality feedback agent.  Mozilla Quality Feedback Agent. http:\/\/support.mozilla.com\/en-US\/kb\/quality feedback agent."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190265"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_1_45_1","volume-title":"CC'02","author":"Necula G. C.","unstructured":"G. C. Necula , S. McPeak , S. P. Rahul , and W. Weimer . Cil: Intermediate language and tools for analysis and transformation of c programs . In CC'02 . G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. Cil: Intermediate language and tools for analysis and transformation of c programs. In CC'02."},{"key":"e_1_3_2_1_46_1","unstructured":"NetApp Inc. Savecore. ONTAP 7.3 Manual Page Reference Volume 1 Pages 471--472.  NetApp Inc. Savecore. ONTAP 7.3 Manual Page Reference Volume 1 Pages 471--472."},{"key":"e_1_3_2_1_47_1","volume-title":"NetApp White Paper","year":"2007","unstructured":"NetApp. Proactive health management with auto-support . NetApp White Paper , 2007 . NetApp. Proactive health management with auto-support. NetApp White Paper, 2007."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250736"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_51_1","unstructured":"S. Schmidt. 7 more good tips on logging. http:\/\/codemonkeyism.com\/7-more-good-tips-on-logging\/.  S. Schmidt. 7 more good tips on logging. http:\/\/codemonkeyism.com\/7-more-good-tips-on-logging\/."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736051"},{"key":"e_1_3_2_1_53_1","unstructured":"VMware. Using the integrated virtual debugger for visual studio. http:\/\/www.vmware.com\/pdf\/ws65_manual.pdf.  VMware. Using the integrated virtual debugger for visual studio. http:\/\/www.vmware.com\/pdf\/ws65_manual.pdf."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736039"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_1_56_1","volume-title":"SOSP'09","author":"Xu W.","unstructured":"W. Xu , L. Huang , M. Jordan , D. Patterson , and A. Fox . Mining console logs for large-scale system problem detection . In SOSP'09 . W. Xu, L. Huang, M. Jordan, D. Patterson, and A. Fox. Mining console logs for large-scale system problem detection. In SOSP'09."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939437"},{"key":"e_1_3_2_1_60_1","volume-title":"CC'08","author":"Zhao Q.","unstructured":"Q. Zhao , R. Rabbah , S. Amarasinghe , L. Rudolph , and W.-F. Wong . How to do a million watchpoints: efficient debugging using dynamic instrumentation . In CC'08 . Q. Zhao, R. Rabbah, S. Amarasinghe, L. Rudolph, and W.-F. Wong. How to do a million watchpoints: efficient debugging using dynamic instrumentation. In CC'08."}],"event":{"name":"ASPLOS'11: Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Newport Beach California USA","acronym":"ASPLOS'11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1950365.1950369","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1950365.1950369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:59:32Z","timestamp":1750229972000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1950365.1950369"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,5]]},"references-count":60,"alternative-id":["10.1145\/1950365.1950369","10.1145\/1950365"],"URL":"https:\/\/doi.org\/10.1145\/1950365.1950369","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1961295.1950369","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1961296.1950369","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,3,5]]},"assertion":[{"value":"2011-03-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}