Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 08:00 - 08:20 at Koala - Maintenance and Evolution (2) Chair(s): Cuiyun Gao

Library migration is a challenging problem, where most existing approaches rely on prior knowledge. This can be, for example, information derived from change logs or statistical models of API usage.

This paper addresses a different API migration scenario where there is no prior knowledge of the target library. We have no historical changelogs and no access to its internal representation. To tackle this problem, this paper proposes a novel approach (M$^3$), where probabilistic program synthesis is used to semantically model the behavior of library functions. Then, we use an SMT-based code search engine to discover similar code in user applications. These discovered instances provide potential locations for API migrations.

We evaluate our approach against 7 well-known libraries from varied application domains, learning correct implementations for 94 functions. Our approach is integrated with standard compiler tooling, and we used this integration to evaluate migration opportunities in 9 existing C/C++ applications with over 1MLoC. We discover over 7,000 instances of these functions, of which more than 2,000 represent migration opportunities.

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

08:00 - 09:00
Maintenance and Evolution (2)Research Papers / Journal-first Papers at Koala
Chair(s): Cuiyun GaoHarbin Institute of Technology
M3: Semantic API Migrations
Research Papers
Bruce CollieUniversity of Edinburgh, Philip GinsbachGitHub Software UK, Jackson WoodruffUniversity of Edinburgh, Ajitha RajanUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Pre-print Media Attached
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
Research Papers
Nic VolanschiInria Bordeaux, Julia LawallInria
Game-theoretic Analysis of Development Practices: Challenges and Opportunities
Journal-first Papers
Carlos Gavidia-CalderonUniversity College London, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK, Earl T. BarrUniversity College London, UK
Link to publication DOI Pre-print Media Attached