{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:16Z","timestamp":1750307836608,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,18]],"date-time":"2007-10-18T00:00:00Z","timestamp":1192665600000},"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":[[2007,10,18]]},"DOI":"10.1145\/1376789.1376792","type":"proceedings-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T18:03:27Z","timestamp":1212516207000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards easing the diagnosis of bugs in OS code"],"prefix":"10.1145","author":[{"given":"Henrik","family":"Stuart","sequence":"first","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia L.","family":"Lawall","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesper","family":"Andersen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoann","family":"Padioleau","sequence":"additional","affiliation":[{"name":"\u00c9cole des Mines de Nantes-INRIA, LINA, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[{"name":"\u00c9cole des Mines de Nantes-INRIA, LINA, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"73","volume-title":"Eurosys'06 {5}","author":"Ball T.","unstructured":"T. Ball , E. Bounimova , B. Cook , V. Levin , J. Lichtenberg , C. McGarvey , B. Ondrusek , S. K. Rajamani , and A. Ustuner . Thorough static analysis of device drivers . In Eurosys'06 {5} , pages 73 -- 85 .]] 10.1145\/1217935.1217943 T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In Eurosys'06 {5}, pages 73--85.]] 10.1145\/1217935.1217943"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643609"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052901"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"volume-title":"ACM SIGOPS EuroSys conference (EuroSys 2006","year":"2006","key":"e_1_3_2_1_5_1","unstructured":"The first ACM SIGOPS EuroSys conference (EuroSys 2006 ), Leuven, Belgium , Apr. 2006 .]] The first ACM SIGOPS EuroSys conference (EuroSys 2006), Leuven, Belgium, Apr. 2006.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_7_1","volume-title":"Workshop on Domain-Specific Languages for Numerical Optimization, Argonne National Laboratory","author":"Grimm R.","year":"2004","unstructured":"R. Grimm . XTC : Making C safely extensible . In Workshop on Domain-Specific Languages for Numerical Optimization, Argonne National Laboratory , Aug. 2004 .]] R. Grimm. XTC: Making C safely extensible. In Workshop on Domain-Specific Languages for Numerical Optimization, Argonne National Laboratory, Aug. 2004.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645678.663950"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760284"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_11_1","first-page":"161","volume-title":"7th Symposium on Operating Systems Design and Implementation (OSDI '06)","author":"Kremenek T.","year":"2006","unstructured":"T. Kremenek , P. Twohey , G. Back , A. Y. Ng , and D. R. Engler . From uncertainty to belief: Inferring the specification within . In 7th Symposium on Operating Systems Design and Implementation (OSDI '06) , pages 161 -- 176 , Seattle, WA, USA , Nov. 2006 .]] T. Kremenek, P. Twohey, G. Back, A. Y. Ng, and D. R. Engler. From uncertainty to belief: Inferring the specification within. In 7th Symposium on Operating Systems Design and Implementation (OSDI '06), pages 161--176, Seattle, WA, USA, Nov. 2006.]]"},{"key":"e_1_3_2_1_12_1","first-page":"289","volume-title":"Proceedings of the Sixth USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Li Z.","year":"2004","unstructured":"Z. Li , S. Lu , S. Myagmar , and Y. Zhou . CP-Miner: A tool for finding copy-paste and related bugs in operating system code . In Proceedings of the Sixth USENIX Symposium on Operating Systems Design and Implementation (OSDI) , pages 289 -- 302 , San Fransisco, CA , Dec. 2004 .]] Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In Proceedings of the Sixth USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 289--302, San Fransisco, CA, Dec. 2004.]]"},{"key":"e_1_3_2_1_13_1","first-page":"191","volume-title":"Eurosys'06 {5}","author":"Lohmann D.","unstructured":"D. Lohmann , F. Scheler , R. Tartler , O. Spinczyk , and W. Schr\u00f6der-Preikschat . A quantitative analysis of aspects in the eCos kernel . In Eurosys'06 {5} , pages 191 -- 204 .]] 10.1145\/1217935.1217954 D. Lohmann, F. Scheler, R. Tartler, O. Spinczyk, and W. Schr\u00f6der-Preikschat. A quantitative analysis of aspects in the eCos kernel. In Eurosys'06 {5}, pages 191--204.]] 10.1145\/1217935.1217954"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2005.56"},{"key":"e_1_3_2_1_15_1","unstructured":"Meta-level compilation. http:\/\/metacomp.stanford.edu\/.]]  Meta-level compilation. http:\/\/metacomp.stanford.edu\/.]]"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Compiler Construction, 11th International Conference, CC","author":"Necula G. C.","year":"2002","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 Compiler Construction, 11th International Conference, CC 2002 , number 2304 in Lecture Notes in Computer Science , pages 213 -- 228 , Grenoble , France, Apr . 2002.]] G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Compiler Construction, 11th International Conference, CC 2002, number 2304 in Lecture Notes in Computer Science, pages 213--228, Grenoble, France, Apr. 2002.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1215995.1216005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.07.022"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217942"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SADFE.2007.23"},{"key":"e_1_3_2_1_21_1","unstructured":"Secure Software Inc. Web page: http:\/\/www.securesw.com\/download_rats.htm.]]  Secure Software Inc. Web page: http:\/\/www.securesw.com\/download_rats.htm.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_3"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134311"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-25935-0_13","volume-title":"C. Lengauer et al.","author":"Visser E.","year":"2004","unstructured":"E. Visser . Program transformation with Stratego\/XT: Rules, strategies, tools, and systems in StrategoXT-0.9 . In C. Lengauer et al. , editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science , pages 216 -- 238 . Spinger-Verlag , 2004 .]] E. Visser. Program transformation with Stratego\/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 216--238. Spinger-Verlag, 2004.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"},{"key":"e_1_3_2_1_26_1","volume-title":"Oct.","author":"Wheeler D.","year":"2006","unstructured":"D. Wheeler . Flawfinder home page. Web page: http:\/\/www.dwheeler.com\/flawfinder\/ , Oct. 2006 .]] D. Wheeler. Flawfinder home page. Web page: http:\/\/www.dwheeler.com\/flawfinder\/, Oct. 2006.]]"}],"event":{"name":"PLOS07: Workshop on Programming Languages and Operating Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Stevenson Washington","acronym":"PLOS07"},"container-title":["Proceedings of the 4th workshop on Programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376789.1376792","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1376789.1376792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:01Z","timestamp":1750255081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376789.1376792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,18]]},"references-count":26,"alternative-id":["10.1145\/1376789.1376792","10.1145\/1376789"],"URL":"https:\/\/doi.org\/10.1145\/1376789.1376792","relation":{},"subject":[],"published":{"date-parts":[[2007,10,18]]},"assertion":[{"value":"2007-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}