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

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 18:00
Session 4FormaliSE at Sainte-Catherine
Chair(s): Stéphanie Challita Inria, France
16:00
25m
Full-paper
Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
FormaliSE
Milad K. Ghale The Australian National University, Dirk Pattinson Australian National University, Michael Norrish Data61 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 Raelijohn University of Montreal, Michalis Famelis Université de Montréal, Houari Sahraoui Université de Montréal
16:40
25m
Full-paper
A Proof-Producing Translator for Verilog Development in HOL
FormaliSE
Andreas Lööw Chalmers University of Technology, Magnus O. Myreen Chalmers University of Technology, Sweden
17:05
25m
Full-paper
On the Formalization of Importance Measures using HOL Theorem Proving
FormaliSE
Waqar Ahmad Carnegie Mellon University, Shahid Ali Murtza National University of Sciences and Technology, Osman Hasan Concordia University, Canada, Sofiene Tahar Concordia University
17:30
30m
Day closing
Discussion/closing
FormaliSE
C: Nico Plat Thanos