{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:25Z","timestamp":1750308745822,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,22]],"date-time":"2006-10-22T00:00:00Z","timestamp":1161475200000},"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":[[2006,10,22]]},"DOI":"10.1145\/1215995.1216005","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Semantic patches for documenting and automating collateral evolutions in Linux device drivers"],"prefix":"10.1145","author":[{"given":"Yoann","family":"Padioleau","sequence":"first","affiliation":[{"name":"OBASCO Group, Ecole des Mines de Nantes-INRIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen \u00d8, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia L.","family":"Lawall","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen \u00d8, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[{"name":"OBASCO Group, Ecole des Mines de Nantes-INRIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,10,22]]},"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","volume-title":"Technical Report 98\/6, Department of Theoretical Computer Science","author":"B\u00e1rtak R.","year":"1998","unstructured":"R. B\u00e1rtak . Constructive Negation CLP(H). Technical Report 98\/6, Department of Theoretical Computer Science , Charles University , Prague, Czech Republic, July 1998 .]] R. B\u00e1rtak. Constructive Negation CLP(H). Technical Report 98\/6, Department of Theoretical Computer Science, Charles University, Prague, Czech Republic, July 1998.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643609"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603023_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_8_1","volume-title":"10th Workshop on Hot Topics in Operating Systems (HotOS X)","author":"Fiuczynski M.","year":"2005","unstructured":"M. Fiuczynski , R. Grimm , Y. Coady , and D. Walker . Patch (1) considered harmful . In 10th Workshop on Hot Topics in Operating Systems (HotOS X) , Santa Fe, NM , June 2005 .]] M. Fiuczynski, R. Grimm, Y. Coady, and D. Walker. Patch (1) considered harmful. In 10th Workshop on Hot Topics in Operating Systems (HotOS X), Santa Fe, NM, June 2005.]]"},{"key":"e_1_3_2_1_9_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_10_1","unstructured":"A. Garrido. Program refactoring in the presence of preprocessor directives. PhD thesis University of Illinois at Urbana-Champaign 2005.]]   A. Garrido. Program refactoring in the presence of preprocessor directives. PhD thesis University of Illinois at Urbana-Champaign 2005.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/850948.853411"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062512"},{"key":"e_1_3_2_1_13_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_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/3-540-45306-7_5","volume-title":"Compiler Construction, 10th International Conference, CC","author":"Lacey D.","year":"2001","unstructured":"D. Lacey and O. de Moor . Imperative program transformation by rewriting . In R. Wilhelm, editor, Compiler Construction, 10th International Conference, CC 2001 , number 2027 in Lecture Notes in Computer Science , pages 52 -- 68 , Genova , Italy, Apr . 2001.]] D. Lacey and O. de Moor. Imperative program transformation by rewriting. In R. Wilhelm, editor, Compiler Construction, 10th International Conference, CC 2001, number 2027 in Lecture Notes in Computer Science, pages 52--68, Genova, Italy, Apr. 2001.]]"},{"key":"e_1_3_2_1_15_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_16_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_17_1","unstructured":"A. Morton. Patch management scripts Oct. 2002. Available at http:\/\/www.zip.com.au\/~akpm\/linux\/patches\/.]]  A. Morton. Patch management scripts Oct. 2002. Available at http:\/\/www.zip.com.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.com\/is1\/articles\/04\/10\/ssr\/.]] M. Mossienko. Structural search and replace: What, why, and how-to. OnBoard Magazine, 2004. http:\/\/www.onboard.jetbrains.com\/is1\/articles\/04\/10\/ssr\/.]]"},{"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","unstructured":"D. Searls. Sparse Linus & the Lunatics Nov. 2004. Available at http:\/\/www.linuxjournal.com\/article\/7272.]]  D. Searls. Sparse Linus & the Lunatics Nov. 2004. Available at http:\/\/www.linuxjournal.com\/article\/7272.]]"},{"key":"e_1_3_2_1_21_1","volume-title":"June","author":"Janitors The Kernel","year":"2002","unstructured":"The Kernel Janitors . Smatch , the source matcher , June 2002 . Available at http:\/\/smatch.sourceforge.net.]] The Kernel Janitors. Smatch, the source matcher, June 2002. Available at http:\/\/smatch.sourceforge.net.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134311"}],"event":{"name":"ASPLOS06: Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"San Jose California","acronym":"ASPLOS06"},"container-title":["Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1215995.1216005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1215995.1216005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:16Z","timestamp":1750278136000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1215995.1216005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,22]]},"references-count":22,"alternative-id":["10.1145\/1215995.1216005","10.1145\/1215995"],"URL":"https:\/\/doi.org\/10.1145\/1215995.1216005","relation":{},"subject":[],"published":{"date-parts":[[2006,10,22]]},"assertion":[{"value":"2006-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}