{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:52:06Z","timestamp":1780116726540,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"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":[[2008,4]]},"DOI":"10.1145\/1352592.1352618","type":"proceedings-article","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T12:11:28Z","timestamp":1207051888000},"page":"247-260","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":104,"title":["Documenting and automating collateral evolutions in linux device drivers"],"prefix":"10.1145","author":[{"given":"Yoann","family":"Padioleau","sequence":"first","affiliation":[{"name":"Ecole des Mines de Nantes, Nantes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julia","family":"Lawall","sequence":"additional","affiliation":[{"name":"DIKU, University of Copenhagen, Copenhagen, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[{"name":"Ecole des Mines de Nantes, Nantes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603023_7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_5_1","volume-title":"ACM SIGOPS EuroSys conference (EuroSys 2006","year":"2006","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","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler M.","year":"1999","unstructured":"M. Fowler . Refactoring: Improving the Design of Existing Code . Addison Wesley , 1999 . M. Fowler. Refactoring: Improving the Design of Existing Code. Addison Wesley, 1999."},{"key":"e_1_3_2_1_8_1","volume-title":"Workshop on Domain-Specifi\u0107 Languages for Numerical Optimization, Argonne National Laboratory","author":"Grimm R.","year":"2004","unstructured":"R. Grimm . XTC : Making C safely extensible . In Workshop on Domain-Specifi\u0107 Languages for Numerical Optimization, Argonne National Laboratory , Aug. 2004 . R. Grimm. XTC: Making C safely extensible. In Workshop on Domain-Specifi\u0107 Languages for Numerical Optimization, Argonne National Laboratory, Aug. 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062512"},{"key":"e_1_3_2_1_10_1","volume-title":"Logic in Computer Science: Modelling and reasoning about systems","author":"Huth M.","year":"2000","unstructured":"M. Huth and M. Ryan . Logic in Computer Science: Modelling and reasoning about systems . Cambridge University Press , 2000 . M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000."},{"key":"e_1_3_2_1_11_1","first-page":"52","volume-title":"10th International Conference, LNCS 2027","author":"Lacey D.","year":"2001","unstructured":"D. Lacey and O. de Moor . Imperative program transformation by rewriting. In Compiler Construction , 10th International Conference, LNCS 2027 , pages 52 -- 68 , Genova, Italy , Apr. 2001 . D. Lacey and O. de Moor. Imperative program transformation by rewriting. In Compiler Construction, 10th International Conference, LNCS 2027, pages 52--68, Genova, Italy, Apr. 2001."},{"key":"e_1_3_2_1_12_1","first-page":"289","volume-title":"OSDI'04","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 OSDI'04 , 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 OSDI'04, pages 289--302, San Fransisco, CA, Dec. 2004."},{"key":"e_1_3_2_1_13_1","volume-title":"ChangeLog for Linux 2.5.71","author":"LWN.","year":"2003","unstructured":"LWN. ChangeLog for Linux 2.5.71 , 2003 . http:\/\/lwn.net\/Articles\/36311\/. LWN. ChangeLog for Linux 2.5.71, 2003. http:\/\/lwn.net\/Articles\/36311\/."},{"key":"e_1_3_2_1_14_1","volume-title":"Comparing and Merging Files With Gnu Diff and Patch","author":"MacKenzie D.","year":"2003","unstructured":"D. MacKenzie , P. Eggert , and R. Stallman . Comparing and Merging Files With Gnu Diff and Patch . Network Theory Ltd , Jan. 2003 . Unified Format section, http:\/\/www.gnu.org\/software\/diffutils\/manual\/html_node\/Unified-Format.html. D. MacKenzie, P. Eggert, and R. Stallman. Comparing and Merging Files With Gnu Diff and Patch. Network Theory Ltd, Jan. 2003. Unified Format section, http:\/\/www.gnu.org\/software\/diffutils\/manual\/html_node\/Unified-Format.html."},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX","author":"Manber U.","year":"1994","unstructured":"U. Manber and S. Wu . GLIMPSE: A tool to search through entire file systems . In USENIX Winter, 1994 . U. Manber and S. Wu. GLIMPSE: A tool to search through entire file systems. In USENIX Winter, 1994."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081712"},{"key":"e_1_3_2_1_17_1","volume-title":"Oct.","author":"Morton A.","year":"2002","unstructured":"A. Morton . Patch management scripts , Oct. 2002 . http:\/\/www.zip.\u0107om.au\/akpm\/linux\/patches\/. A. Morton. Patch management scripts, Oct. 2002. http:\/\/www.zip.\u0107om.au\/akpm\/linux\/patches\/."},{"key":"e_1_3_2_1_18_1","volume-title":"OnBoard Magazine","author":"Mossienko M.","year":"2004","unstructured":"M. Mossienko . Structural search and replace: What, why, and how-to . OnBoard Magazine , 2004 . http:\/\/www.onboard.jetbrains.\u0107om\/is1\/arti\u0107les\/04\/10\/ssr\/. M. Mossienko. Structural search and replace: What, why, and how-to. OnBoard Magazine, 2004. http:\/\/www.onboard.jetbrains.\u0107om\/is1\/arti\u0107les\/04\/10\/ssr\/."},{"key":"e_1_3_2_1_19_1","first-page":"213","volume-title":"11th International Conference, LNCS 2304","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, LNCS 2304 , 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, LNCS 2304, pages 213--228, Grenoble, France, Apr. 2002."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217942"},{"key":"e_1_3_2_1_21_1","unstructured":"D. Searls. Sparse Linus & the Lunatics Nov. 2004. http:\/\/www.linuxjournal.com\/article\/7272.  D. Searls. Sparse Linus & the Lunatics Nov. 2004. http:\/\/www.linuxjournal.com\/article\/7272."},{"key":"e_1_3_2_1_22_1","volume-title":"June","year":"2002","unstructured":"The Kernel Janitors. Smatch , the source matcher , June 2002 . http:\/\/smatch.sourceforge.net. The Kernel Janitors. Smatch, the source matcher, June 2002. http:\/\/smatch.sourceforge.net."},{"key":"e_1_3_2_1_23_1","unstructured":"L. Torvalds. Linux kernel coding style. linux\/Documentation\/CodingStyle.  L. Torvalds. Linux kernel coding style. linux\/Documentation\/CodingStyle."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25935-0_13"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"}],"event":{"name":"Eurosys '08: Eurosys 2008 Conference","location":"Glasgow Scotland UK","acronym":"Eurosys '08","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 3rd ACM SIGOPS\/EuroSys European Conference on Computer Systems 2008"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352592.1352618","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1352592.1352618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:19Z","timestamp":1750240579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352592.1352618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":24,"alternative-id":["10.1145\/1352592.1352618","10.1145\/1352592"],"URL":"https:\/\/doi.org\/10.1145\/1352592.1352618","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1357010.1352618","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,4]]},"assertion":[{"value":"2008-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}