{"id":"https://openalex.org/W2078030161","doi":"https://doi.org/10.1145/2351676.2351753","title":"Semantic patch inference","display_name":"Semantic patch inference","publication_year":2012,"publication_date":"2012-09-03","ids":{"openalex":"https://openalex.org/W2078030161","doi":"https://doi.org/10.1145/2351676.2351753","mag":"2078030161"},"language":"en","primary_location":{"id":"doi:10.1145/2351676.2351753","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2351676.2351753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ink.library.smu.edu.sg/sis_research/1595","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091024667","display_name":"Jesper L. Andersen","orcid":"https://orcid.org/0000-0001-8302-0071"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jesper Andersen","raw_affiliation_strings":["University of Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041767832","display_name":"Anh Cuong Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Anh Cuong Nguyen","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"David Lo","raw_affiliation_strings":["Singapore Management University, Singapore","Singapore Management University, SINGAPORE"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"Singapore Management University, SINGAPORE","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103879150","display_name":"Julia L. Lawall","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julia L. Lawall","raw_affiliation_strings":["INRIA, France"],"affiliations":[{"raw_affiliation_string":"INRIA, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073352371","display_name":"Siau\u2010Cheng Khoo","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Siau-Cheng Khoo","raw_affiliation_strings":["National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5091024667"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":null,"apc_paid":null,"fwci":5.8542,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.95960173,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"382","last_page":"385"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8249901533126831},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.7336117625236511},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5751793384552002},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5427037477493286},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5327534675598145},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5063923597335815},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5011501312255859},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.4798966646194458},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4342312216758728},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.430887371301651},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37248873710632324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31844544410705566},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10328131914138794}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8249901533126831},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7336117625236511},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5751793384552002},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5427037477493286},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5327534675598145},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5063923597335815},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5011501312255859},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.4798966646194458},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4342312216758728},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.430887371301651},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37248873710632324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31844544410705566},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10328131914138794},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2351676.2351753","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2351676.2351753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-2594","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/1595","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://dx.doi.org/10.1145/2351676.2351753","raw_type":"Conference Proceeding Article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/41459","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/41459","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.702.1014","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.702.1014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mysmu.edu/faculty/davidlo/papers/ase12-spdiff.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/127311c0-510d-11df-928f-000ea68e967b","is_oa":false,"landing_page_url":"https://curis.ku.dk/portal/da/publications/semantic-patch-inference(127311c0-510d-11df-928f-000ea68e967b).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-2594","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/1595","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://dx.doi.org/10.1145/2351676.2351753","raw_type":"Conference Proceeding Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W58323294","https://openalex.org/W1565935466","https://openalex.org/W1567790484","https://openalex.org/W1593203335","https://openalex.org/W1647671624","https://openalex.org/W1964795700","https://openalex.org/W2006656002","https://openalex.org/W2020874073","https://openalex.org/W2024797550","https://openalex.org/W2043811931","https://openalex.org/W2045638068","https://openalex.org/W2049461910","https://openalex.org/W2055818134","https://openalex.org/W2066688923","https://openalex.org/W2090634283","https://openalex.org/W2092858671","https://openalex.org/W2096491586","https://openalex.org/W2099291492","https://openalex.org/W2099353275","https://openalex.org/W2101723202","https://openalex.org/W2107613703","https://openalex.org/W2107697055","https://openalex.org/W2108395261","https://openalex.org/W2109943392","https://openalex.org/W2112847033","https://openalex.org/W2113371678","https://openalex.org/W2118480031","https://openalex.org/W2118581948","https://openalex.org/W2121252285","https://openalex.org/W2124666592","https://openalex.org/W2125260159","https://openalex.org/W2126859103","https://openalex.org/W2127811329","https://openalex.org/W2128782367","https://openalex.org/W2128888088","https://openalex.org/W2130200371","https://openalex.org/W2131724884","https://openalex.org/W2136230992","https://openalex.org/W2138756793","https://openalex.org/W2144344516","https://openalex.org/W2146659255","https://openalex.org/W2146957318","https://openalex.org/W2153150125","https://openalex.org/W2157532207","https://openalex.org/W2157836986","https://openalex.org/W2158389966","https://openalex.org/W2158454296","https://openalex.org/W2162006472","https://openalex.org/W2162422574","https://openalex.org/W2171168235","https://openalex.org/W2293624369","https://openalex.org/W4230190751","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2373300491","https://openalex.org/W2378744544","https://openalex.org/W2594301978","https://openalex.org/W2379704676","https://openalex.org/W1998810860","https://openalex.org/W4206442282","https://openalex.org/W2384505857","https://openalex.org/W2355171581","https://openalex.org/W2145253956","https://openalex.org/W1212596013"],"abstract_inverted_index":{"We":[0,76],"propose":[1],"a":[2,9,27,63],"tool":[3],"for":[4,36],"inferring":[5],"transformation":[6,18,38],"specifications":[7,19],"from":[8,25,84],"few":[10],"examples":[11],"of":[12,31,65],"original":[13],"and":[14],"updated":[15],"code.":[16],"These":[17],"may":[20],"contain":[21,68],"multiple":[22],"code":[23],"fragments":[24],"within":[26],"single":[28],"function,":[29],"all":[30],"which":[32],"must":[33],"be":[34],"present":[35],"the":[37,43,78,88],"to":[39,62,87],"apply.":[40],"This":[41],"makes":[42],"inferred":[44],"transformations":[45],"context":[46],"sensitive.":[47],"Our":[48],"algorithm":[49],"is":[50,59,72],"based":[51],"on":[52,80],"depth-first":[53],"search,":[54],"with":[55],"pruning.":[56],"Because":[57],"it":[58,71],"applied":[60],"locally":[61],"collection":[64],"functions":[66],"that":[67],"related":[69],"changes,":[70],"efficient":[73],"in":[74],"practice.":[75],"illustrate":[77],"approach":[79],"an":[81],"example":[82],"drawn":[83],"recent":[85],"changes":[86],"Linux":[89],"kernel.":[90]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}