Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Mon 27 May 2019 16:25 - 16:40 at Sainte-Catherine - Session 4 Chair(s): Stéphanie Challita

To achieve any meaningful task of a certain complexity, developers need to use APIs. Learning to use them is both time consuming and cognitively demanding. We propose to leverage a formal description of API usage as temporal patterns to help developers make sense of the complexities of working with APIs. To achieve this, we propose to deploy recommender systems at various points of the development process that make these patterns useful when most needed. In this paper, we illustrate the approach on a non trivial, real world running example from Android development. The example allows us to articulate a research agenda for leveraging API usage patterns during: (a) testing and compilation times by recommending potential violations of the patterns; (b) coding time by recommending API method calls; and (c) API delivery by recommending improvements to documentation.

Mon 27 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 18:00: FormaliSE 2019 - Session 4 at Sainte-Catherine
Chair(s): Stéphanie ChallitaInria, France
Formalise-2019-papers16:00 - 16:25
Milad K. GhaleThe Australian National University, Dirk PattinsonAustralian National University, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
Formalise-2019-papers16:25 - 16:40
Erick RaelijohnUniversity of Montreal, Michalis FamelisUniversité de Montréal, Houari SahraouiUniversité de Montréal
Formalise-2019-papers16:40 - 17:05
Andreas LööwChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden
Formalise-2019-papers17:05 - 17:30
Waqar AhmadCarnegie Mellon University, Shahid Ali MurtzaNational University of Sciences and Technology, Osman HasanConcordia University, Canada, Sofiene TaharConcordia University
Formalise-2019-papers17:30 - 18:00
Day closing
Nico PlatThanos