- author = "Santanu Kumar Dash and Fan Wu and Michail Basios and Lingbo Li and Leslie Kanthan",
- title = "Checkers: Multi-modal {Darwinian API} Optimisation",
- booktitle = "GI @ ICSE 2020",
- year = "2020",
- month = "3 " # jul,
- editor = "Shin Yoo and Justyna Petke and Westley Weimer and Bobby R. Bruce",
- publisher = "ACM",
- address = "internet",
- pages = "291--292",
- keywords = "genetic algorithms, genetic programming, genetic improvement, SBSE, Java",
- isbn13 = "978-1-4503-7963-2",
-
URL = "
http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/gi2020/Dash_2020_GI.pdf",
-
video_url = "
https://youtu.be/GsNKCifm44A",
-
DOI = "
doi:10.1145/3387940.3392173",
- size = "2 pages",
- abstract = "Advent of microservices has increased the popularity of the API-first design principles. Developers have been focusing on concretising the API to a system before building the system. An API-first approach assumes that the API will be correctly used. Inevitably, most developers, even experienced ones, end-up writing sub-optimal software because of using APIs incorrectly. we discuss an automated approach for exploring API equivalence and a framework to synthesise semantically equivalent programs. Unlike existing approaches to API transplantation, we propose an amorphous or formless approach to software translation in which a single API could potentially be replaced by a synthesised sequence of APIs which ensures type progress. Our search is guided by the non-functional goals for the software, a type-theoretic notion of progress and an automatic multi-modal embedding of the API from its documentation and code analysis.",
-
notes = "Type based semantically equvalent Android mobile
telephone APIs. program's test suite. Dual chanel NLP
documentation. Static analysis to improve original
program. Auto-tune API parameters.
University of Surrey.
Turing Intelligence Technology, United Kingdom. turintech.ai
Video: https://youtu.be/GsNKCifm44A (1:13:57 from start, end 1:29:38)
Slides: http://geneticimprovementofsoftware.com/slides/gi2020icse/checkers_slides.pdf
http://geneticimprovementofsoftware.com/gi2020icse.html",
