{"id":"https://openalex.org/W3080831735","doi":"https://doi.org/10.48550/arxiv.2008.12118","title":"M3: Semantic API Migrations","display_name":"M3: Semantic API Migrations","publication_year":2020,"publication_date":"2020-08-27","ids":{"openalex":"https://openalex.org/W3080831735","doi":"https://doi.org/10.48550/arxiv.2008.12118","mag":"3080831735"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2008.12118","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.12118","pdf_url":"https://arxiv.org/pdf/2008.12118","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2008.12118","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034682862","display_name":"Bruce Collie","orcid":"https://orcid.org/0000-0003-0589-9652","observed_orcids":["https://orcid.org/0000-0003-0589-9652"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Collie, Bruce","raw_affiliation_strings":["University of Edinburgh,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004932726","display_name":"Philip Ginsbach","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ginsbach, Philip","raw_affiliation_strings":["GitHub Software UK, Oxford, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GitHub Software UK, Oxford, United Kingdom","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072181658","display_name":"Jackson Woodruff","orcid":"https://orcid.org/0000-0003-2650-9596","observed_orcids":["https://orcid.org/0000-0003-2650-9596"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Woodruff, Jackson","raw_affiliation_strings":["University of Edinburgh,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079075574","display_name":"Ajitha Rajan","orcid":"https://orcid.org/0000-0003-3765-3075","observed_orcids":["https://orcid.org/0000-0003-3765-3075"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rajan, Ajitha","raw_affiliation_strings":["University of Edinburgh,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027001025","display_name":"Michael F. P. O\u2019boyle","orcid":"https://orcid.org/0000-0003-1619-5052","observed_orcids":["https://orcid.org/0000-0003-1619-5052"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"O'Boyle, Michael","raw_affiliation_strings":["University of Edinburgh,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9940999746322632,"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.9940999746322632,"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/T10126","display_name":"Logic, programming, and type systems","score":0.002400000113993883,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.002400000113993883,"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/api-migration","display_name":"API migration","score":0.9710000157356262},{"id":"https://openalex.org/keywords/library-migration","display_name":"library migration","score":0.7829999923706055},{"id":"https://openalex.org/keywords/code-similarity","display_name":"code similarity","score":0.3529999852180481}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8350018858909607},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7555294036865234},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.661959171295166},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6352452039718628},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.49945521354675293},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.486599326133728},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.44736337661743164},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3568922281265259},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25420182943344116},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.08106240630149841},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2008.12118","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.12118","pdf_url":"https://arxiv.org/pdf/2008.12118","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2008.12118","doi":"https://doi.org/10.48550/arxiv.2008.12118","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2008.12118","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2008.12118","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.12118","pdf_url":"https://arxiv.org/pdf/2008.12118","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.7099999785423279}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1481397690","https://openalex.org/W1565935466","https://openalex.org/W1982227016","https://openalex.org/W1983489452","https://openalex.org/W1988281920","https://openalex.org/W1994728258","https://openalex.org/W2000809992","https://openalex.org/W2013596093","https://openalex.org/W2086406325","https://openalex.org/W2093535699","https://openalex.org/W2098202130","https://openalex.org/W2099056153","https://openalex.org/W2100310705","https://openalex.org/W2103188316","https://openalex.org/W2108632968","https://openalex.org/W2132525863","https://openalex.org/W2133437259","https://openalex.org/W2134734244","https://openalex.org/W2157102470","https://openalex.org/W2162960800","https://openalex.org/W2169974813","https://openalex.org/W2548627465","https://openalex.org/W2550100435","https://openalex.org/W2600915151","https://openalex.org/W2619465136","https://openalex.org/W2621297919","https://openalex.org/W2626584434","https://openalex.org/W2626931523","https://openalex.org/W2626990892","https://openalex.org/W2750952386","https://openalex.org/W2786248241","https://openalex.org/W2788011716","https://openalex.org/W2789599444","https://openalex.org/W2805457749","https://openalex.org/W2810054634","https://openalex.org/W2883187296","https://openalex.org/W2911831256","https://openalex.org/W2913613828","https://openalex.org/W2918808060","https://openalex.org/W2953787146","https://openalex.org/W2953859739","https://openalex.org/W2954401434","https://openalex.org/W2963102152","https://openalex.org/W2963267685","https://openalex.org/W2968117147","https://openalex.org/W2968700020","https://openalex.org/W2972782270","https://openalex.org/W2987290330","https://openalex.org/W3015184307","https://openalex.org/W3037242241"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W4232954277","https://openalex.org/W2128223750","https://openalex.org/W4238532390"],"abstract_inverted_index":{"Library":[0],"migration":[1,35,141,165],"is":[2,39,74,128],"a":[3,32,66],"challenging":[4],"problem,":[5,62],"where":[6,37,70],"most":[7],"existing":[8,145],"approaches":[9],"rely":[10],"on":[11],"prior":[12,41],"knowledge.":[13],"This":[14,29],"can":[15],"be,":[16],"for":[17,105,123],"example,":[18],"information":[19],"derived":[20],"from":[21,116],"changelogs":[22,51],"or":[23],"statistical":[24],"models":[25],"of":[26,43,81,156,159],"API":[27,34,106],"usage.":[28],"paper":[30,64],"addresses":[31],"different":[33],"scenario":[36],"there":[38],"no":[40,49,53],"knowledge":[42],"the":[44,79],"target":[45],"library.":[46],"We":[47,108,151],"have":[48],"historical":[50],"and":[52,134],"access":[54],"to":[55,76,92,139],"its":[56],"internal":[57],"representation.":[58],"To":[59],"tackle":[60],"this":[61,63,137],"proposes":[65],"novel":[67],"approach":[68,111,127],"(M$^3$),":[69],"probabilistic":[71],"program":[72],"synthesis":[73],"used":[75],"semantically":[77],"model":[78],"behavior":[80],"library":[82],"functions.":[83,125],"Then,":[84],"we":[85,135],"use":[86,136],"an":[87],"SMT-based":[88],"code":[89,95],"search":[90],"engine":[91],"discover":[93,152],"similar":[94],"in":[96,143],"user":[97],"applications.":[98],"These":[99],"discovered":[100],"instances":[101,155],"provide":[102],"potential":[103],"locations":[104],"migrations.":[107],"evaluate":[109,140],"our":[110],"against":[112],"7":[113],"well-known":[114],"libraries":[115],"varied":[117],"application":[118],"domains,":[119],"learning":[120],"correct":[121],"implementations":[122],"94":[124],"Our":[126],"integrated":[129],"with":[130,148],"standard":[131],"compiler":[132],"tooling,":[133],"integration":[138],"opportunities":[142],"9":[144],"C/C++":[146],"applications":[147],"over":[149,153],"1MLoC.":[150],"7,000":[154],"these":[157],"functions,":[158],"which":[160],"more":[161],"than":[162],"2,000":[163],"represent":[164],"opportunities.":[166]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-10-17T09:40:24.721904","created_date":"2025-10-10T00:00:00"}