{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:50:09Z","timestamp":1781974209482,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,2,24]],"date-time":"2014-02-24T00:00:00Z","timestamp":1393200000000},"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":[[2014,2,24]]},"DOI":"10.1145\/2541940.2541983","type":"proceedings-article","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T08:21:11Z","timestamp":1393316471000},"page":"687-700","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["EnCore"],"prefix":"10.1145","author":[{"given":"Jiaqi","family":"Zhang","sequence":"first","affiliation":[{"name":"University of California San Diego, La Jolla, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lakshminarayanan","family":"Renganarayana","sequence":"additional","affiliation":[{"name":"IBM, Yorktown Heights, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaolan","family":"Zhang","sequence":"additional","affiliation":[{"name":"IBM, Yorktown Heights, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Niyu","family":"Ge","sequence":"additional","affiliation":[{"name":"IBM, Yorktown Heights, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vasanth","family":"Bala","sequence":"additional","affiliation":[{"name":"IBM, Yorktown Heights, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tianyin","family":"Xu","sequence":"additional","affiliation":[{"name":"University of California San Diego, La Jolla, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuanyuan","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of California San Diego, La Jolla, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,2,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Misconfiguration brings down entire .se domain in Sweden. http:\/\/www.circleid.com.  Misconfiguration brings down entire .se domain in Sweden. http:\/\/www.circleid.com."},{"key":"e_1_3_2_1_2_1","unstructured":"Google Code Style Guide. http:\/\/googlestyleguide.googlecode.com.  Google Code Style Guide. http:\/\/googlestyleguide.googlecode.com."},{"key":"e_1_3_2_1_3_1","unstructured":"Internet Assigned Numbers Authority. http:\/\/www.iana.org.  Internet Assigned Numbers Authority. http:\/\/www.iana.org."},{"key":"e_1_3_2_1_4_1","unstructured":"Lint a C program Verifier. http:\/\/www.unix.com\/manpage\/FreeBSD\/1\/lint.  Lint a C program Verifier. http:\/\/www.unix.com\/manpage\/FreeBSD\/1\/lint."},{"key":"e_1_3_2_1_5_1","unstructured":"Mysql log security. http:\/\/www.securityfocus.com\/advisories\/3803.  Mysql log security. http:\/\/www.securityfocus.com\/advisories\/3803."},{"key":"e_1_3_2_1_6_1","unstructured":"PHP configuration error. http:\/\/stackoverflow.com\/questions\/7754133.  PHP configuration error. http:\/\/stackoverflow.com\/questions\/7754133."},{"key":"e_1_3_2_1_7_1","unstructured":"PyLint. http:\/\/www.logilab.org\/project\/pylint\/.  PyLint. http:\/\/www.logilab.org\/project\/pylint\/."},{"key":"e_1_3_2_1_8_1","unstructured":"RapidMiner. http:\/\/www.rapid-i.com.  RapidMiner. http:\/\/www.rapid-i.com."},{"key":"e_1_3_2_1_9_1","unstructured":"At what point does a config file become a programming language? http:\/\/stackoverflow.com\/questions\/648246\/at-whatpoint-does-a-config-file-become-a-programming-language.  At what point does a config file become a programming language? http:\/\/stackoverflow.com\/questions\/648246\/at-whatpoint-does-a-config-file-become-a-programming-language."},{"key":"e_1_3_2_1_10_1","unstructured":"Weka. http:\/\/www.cs.waikato.ac.nz\/ml\/weka.  Weka. http:\/\/www.cs.waikato.ac.nz\/ml\/weka."},{"key":"e_1_3_2_1_11_1","volume-title":"HotCloud","author":"Ammons G.","year":"2011","unstructured":"G. Ammons , V. Bala , T. Mummert , D. Reimer , and X. Zhang . Virtual machine images as structured data: the Mirage image library . In HotCloud , 2011 . G. Ammons, V. Bala, T. Mummert, D. Reimer, and X. Zhang. Virtual machine images as structured data: the Mirage image library. In HotCloud, 2011."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/221270.221321"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1404014.1404037"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924960"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12)","author":"Attariyan M.","year":"2012","unstructured":"M. Attariyan , M. Chow , and J. Flinn . X-ray: Diagnosing Performance Misconfigurations in Production Software . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12) , October 2012 . M. Attariyan, M. Chow, and J. Flinn. X-ray: Diagnosing Performance Misconfigurations in Production Software. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI'12), October 2012."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 5th International Conference on Machine Learning (ICML'98)","author":"Bradley P. S.","year":"1998","unstructured":"P. S. Bradley and O. L. Mangasarian . Feature Selection via Concave Minimiation and Support Vector Machiens . In Proceedings of the 5th International Conference on Machine Learning (ICML'98) , July 1998 . P. S. Bradley and O. L. Mangasarian. Feature Selection via Concave Minimiation and Support Vector Machiens. In Proceedings of the 5th International Conference on Machine Learning (ICML'98), July 1998."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceeedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceeedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI'08) , December 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceeedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI'08), December 2008."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_19_1","volume-title":"Dependability in the Internet Era","author":"Gray J.","year":"2001","unstructured":"J. Gray . Dependability in the Internet Era , 2001 . Keynote presentation at the 2nd HDCC Workshop . J. Gray. Dependability in the Internet Era, 2001. Keynote presentation at the 2nd HDCC Workshop."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335372"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 24th International Conference on Software Engineering (ICSE'02)","author":"Hong M.","year":"2002","unstructured":"M. Hong , Z. Lu , and Y. Fuqing . A Component-based software configuration management model and its supporting system . In Proceedings of the 24th International Conference on Software Engineering (ICSE'02) , May 2002 . M. Hong, Z. Lu, and Y. Fuqing. A Component-based software configuration management model and its supporting system. In Proceedings of the 24th International Conference on Software Engineering (ICSE'02), May 2002."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 12th Network and Distributed System Security Symposium (NDSS'05)","author":"Huang Q.","year":"2005","unstructured":"Q. Huang , H. J. Wang , and N. Borisov . Privacy-Preserving Friends Troubleshooting Network . In Proceedings of the 12th Network and Distributed System Security Symposium (NDSS'05) , February 2005 . Q. Huang, H. J. Wang, and N. Borisov. Privacy-Preserving Friends Troubleshooting Network. In Proceedings of the 12th Network and Distributed System Security Symposium (NDSS'05), February 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/276304.276313"},{"key":"e_1_3_2_1_24_1","unstructured":"R. Johnson. More details on today's outage. http:\/\/www.facebook.com\/notes\/facebook-engineering\/more-details-on-todaysoutage\/431441338919.  R. Johnson. More details on today's outage. http:\/\/www.facebook.com\/notes\/facebook-engineering\/more-details-on-todaysoutage\/431441338919."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630084"},{"key":"e_1_3_2_1_27_1","volume-title":"Configuration API. In 2008 Linux Symposium","author":"Lutterkort D.","year":"2008","unstructured":"D. Lutterkort . Augeas - a Configuration API. In 2008 Linux Symposium , 2008 . D. Lutterkort. Augeas - a Configuration API. In 2008 Linux Symposium, 2008."},{"key":"e_1_3_2_1_28_1","unstructured":"J. Mason. Against The Use Of Programming Languages in Configuration Files. http:\/\/taint.org\/2011\/02\/18\/001527a.html.  J. Mason. Against The Use Of Programming Languages in Configuration Files. http:\/\/taint.org\/2011\/02\/18\/001527a.html."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI'04)","author":"Nagaraja K.","year":"2004","unstructured":"K. Nagaraja , F. Oliveria , R. Bianchini , R. P. Martin , and T. D. Nguyen . Understanding and Dealing with Operator Mistakes in Internet Services . In Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI'04) , December 2004 . K. Nagaraja, F. Oliveria, R. Bianchini, R. P. Martin, and T. D. Nguyen. Understanding and Dealing with Operator Mistakes in Internet Services. In Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI'04), December 2004."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251460.1251461"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985812"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100053"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94)","author":"Rakesh A.","year":"1994","unstructured":"A. Rakesh and S. Ramakrishnan . In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94) , September 1994 . A. Rakesh and S. Ramakrishnan. In Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94), September 1994."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555228.1555269"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/253260.253325"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972825.21"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233311"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294284"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 13th Systems Administration Conference (LISA'99)","author":"Traugott S.","year":"1999","unstructured":"S. Traugott and J. Huddleston . Bootstrapping an Infrastructure . In Proceedings of the 13th Systems Administration Conference (LISA'99) , November 1999 . S. Traugott and J. Huddleston. Bootstrapping an Infrastructure. In Proceedings of the 13th Systems Administration Conference (LISA'99), November 1999."},{"key":"e_1_3_2_1_41_1","volume-title":"Wang. Automatic Misconfiguration Troubleshooting with PeerPressure. In Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI'04)","author":"Wang H. J.","year":"2004","unstructured":"H. J. Wang , J. C. Platt , Y. Chen , R. Zhang , and Y.- M. Wang. Automatic Misconfiguration Troubleshooting with PeerPressure. In Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI'04) , December 2004 . H. J. Wang, J. C. Platt, Y. Chen, R. Zhang, and Y.-M. Wang. Automatic Misconfiguration Troubleshooting with PeerPressure. In Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI'04), December 2004."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 17th Large Installation Systems Admistration Conference (LISA'03)","author":"Wang Y.-M.","year":"2003","unstructured":"Y.-M. Wang , C. Verbowski , J. Dunagan , Y. Chen , H. Wang , C. Yuan , and Z. Zhang . STRIDER: A Black-box, Statebased Approach to Change and Configuration Management and Support . In Proceedings of the 17th Large Installation Systems Admistration Conference (LISA'03) , October 2003 . Y.-M. Wang, C. Verbowski, J. Dunagan, Y. Chen, H. Wang, C. Yuan, and Z. Zhang. STRIDER: A Black-box, Statebased Approach to Change and Configuration Management and Support. In Proceedings of the 17th Large Installation Systems Admistration Conference (LISA'03), October 2003."},{"key":"e_1_3_2_1_43_1","unstructured":"M. Welsh. What I wish systems researchers would work on. http:\/\/http:\/\/matt-welsh.blogspot.com\/2013\/05.  M. Welsh. What I wish systems researchers would work on. http:\/\/http:\/\/matt-welsh.blogspot.com\/2013\/05."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043572"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2002181.2002209"}],"event":{"name":"ASPLOS '14: Architectural Support for Programming Languages and Operating Systems","location":"Salt Lake City Utah USA","acronym":"ASPLOS '14","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","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541940.2541983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541940.2541983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:28Z","timestamp":1750219828000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541940.2541983"}},"subtitle":["exploiting system environment and correlation information for misconfiguration detection"],"short-title":[],"issued":{"date-parts":[[2014,2,24]]},"references-count":46,"alternative-id":["10.1145\/2541940.2541983","10.1145\/2541940"],"URL":"https:\/\/doi.org\/10.1145\/2541940.2541983","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2654822.2541983","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2644865.2541983","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,2,24]]},"assertion":[{"value":"2014-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}