{"id":"https://openalex.org/W3088361443","doi":"https://doi.org/10.1145/3387940.3392173","title":"Checkers","display_name":"Checkers","publication_year":2020,"publication_date":"2020-06-27","ids":{"openalex":"https://openalex.org/W3088361443","doi":"https://doi.org/10.1145/3387940.3392173","mag":"3088361443"},"language":"en","primary_location":{"id":"doi:10.1145/3387940.3392173","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3387940.3392173","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004997665","display_name":"Santanu Kumar Dash","orcid":"https://orcid.org/0000-0002-5674-8531"},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Santanu Kumar Dash","raw_affiliation_strings":["University of Surrey, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Surrey, United Kingdom","institution_ids":["https://openalex.org/I28290843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059190563","display_name":"Fan Wu","orcid":"https://orcid.org/0000-0003-0965-9058"},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fan Wu","raw_affiliation_strings":["Turing Intelligence Technology, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Turing Intelligence Technology, United Kingdom","institution_ids":["https://openalex.org/I125680101"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085080130","display_name":"Michail Basios","orcid":null},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michail Basios","raw_affiliation_strings":["Turing Intelligence Technology, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Turing Intelligence Technology, United Kingdom","institution_ids":["https://openalex.org/I125680101"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101693628","display_name":"Lingbo Li","orcid":"https://orcid.org/0000-0002-7757-282X"},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lingbo Li","raw_affiliation_strings":["Turing Intelligence Technology, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Turing Intelligence Technology, United Kingdom","institution_ids":["https://openalex.org/I125680101"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087209682","display_name":"Leslie Kanthan","orcid":null},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Leslie Kanthan","raw_affiliation_strings":["Turing Intelligence Technology, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Turing Intelligence Technology, United Kingdom","institution_ids":["https://openalex.org/I125680101"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5004997665"],"corresponding_institution_ids":["https://openalex.org/I28290843"],"apc_list":null,"apc_paid":null,"fwci":0.1542,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52484138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"291","last_page":"292"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8084906339645386},{"id":"https://openalex.org/keywords/application-programming-interface","display_name":"Application programming interface","score":0.6076749563217163},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6026691794395447},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5589235424995422},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5360152721405029},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45418253540992737},{"id":"https://openalex.org/keywords/microservices","display_name":"Microservices","score":0.4263703525066376},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4208931624889374},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17839092016220093},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1461867392063141},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.09758076071739197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8084906339645386},{"id":"https://openalex.org/C99613125","wikidata":"https://www.wikidata.org/wiki/Q165194","display_name":"Application programming interface","level":2,"score":0.6076749563217163},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6026691794395447},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5589235424995422},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5360152721405029},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45418253540992737},{"id":"https://openalex.org/C2778505942","wikidata":"https://www.wikidata.org/wiki/Q18344624","display_name":"Microservices","level":3,"score":0.4263703525066376},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4208931624889374},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17839092016220093},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1461867392063141},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.09758076071739197}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3387940.3392173","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3387940.3392173","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4699999988079071,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1858945639","https://openalex.org/W2748075515","https://openalex.org/W2894365172","https://openalex.org/W2899469232","https://openalex.org/W2960484385","https://openalex.org/W2963026732","https://openalex.org/W3025298766","https://openalex.org/W3089599084","https://openalex.org/W3100025638","https://openalex.org/W3103763241"],"related_works":["https://openalex.org/W4210334847","https://openalex.org/W3181741639","https://openalex.org/W4367181468","https://openalex.org/W2767473057","https://openalex.org/W4225586032","https://openalex.org/W3003367851","https://openalex.org/W1492892507","https://openalex.org/W4244946961","https://openalex.org/W2915114672","https://openalex.org/W2073875337"],"abstract_inverted_index":{"Advent":[0],"of":[1,7,49,102,122,133],"microservices":[2],"has":[3],"increased":[4],"the":[5,8,18,25,32,113,117,124,134],"popularity":[6],"API-first":[9,28],"design":[10],"principles.":[11],"Developers":[12],"have":[13],"been":[14],"focusing":[15],"on":[16],"concretising":[17],"API":[19,33,63,77,93,135],"to":[20,68,76,86],"a":[21,66,91,99,119],"system":[22],"before":[23],"building":[24],"system.":[26],"An":[27],"approach":[29,60,85],"assumes":[30],"that":[31],"will":[34],"be":[35,96],"correctly":[36],"used.":[37],"Inevitably,":[38],"most":[39],"developers,":[40],"even":[41],"experienced":[42],"ones,":[43],"end-up":[44],"writing":[45],"sub-optimal":[46],"software":[47,87],"because":[48],"using":[50],"APIs":[51,103],"incorrectly.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56,79],"discuss":[57],"an":[58,81,129],"automated":[59],"for":[61,116],"exploring":[62],"equivalence":[64],"and":[65,128,139],"framework":[67],"synthesise":[69],"semantically":[70],"equivalent":[71],"programs.":[72],"Unlike":[73],"existing":[74],"approaches":[75],"transplantation,":[78],"propose":[80],"amorphous":[82],"or":[83],"formless":[84],"translation":[88],"in":[89],"which":[90,104],"single":[92],"could":[94],"potentially":[95],"replaced":[97],"by":[98,112],"synthesised":[100],"sequence":[101],"ensures":[105],"type":[106],"progress.":[107],"Our":[108],"search":[109],"is":[110],"guided":[111],"non-functional":[114],"goals":[115],"software,":[118],"type-theoretic":[120],"notion":[121],"progress,":[123],"application's":[125],"test":[126],"suite":[127],"automatic":[130],"multi-modal":[131],"embedding":[132],"from":[136],"its":[137],"documentation":[138],"code":[140],"analysis.":[141]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-10-01T00:00:00"}