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: Eastern Time (US & Canada) change

16:00 - 18:00
Session 4FormaliSE at Sainte-Catherine
Chair(s): Stéphanie ChallitaInria, France
16:00
25m
Full-paper
Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
FormaliSE
Milad K. GhaleThe Australian National University, Dirk PattinsonAustralian National University, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
16:25
15m
Short-paper
A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns
FormaliSE
Erick RaelijohnUniversity of Montreal, Michalis FamelisUniversité de Montréal, Houari SahraouiUniversité de Montréal
16:40
25m
Full-paper
A Proof-Producing Translator for Verilog Development in HOL
FormaliSE
Andreas LööwChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden
17:05
25m
Full-paper
On the Formalization of Importance Measures using HOL Theorem Proving
FormaliSE
Waqar AhmadCarnegie Mellon University, Shahid Ali MurtzaNational University of Sciences and Technology, Osman HasanConcordia University, Canada, Sofiene TaharConcordia University
17:30
30m
Day closing
Discussion/closing
FormaliSE
C: Nico PlatThanos