A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns
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 MayDisplayed time zone: Eastern Time (US & Canada) change
16:00 - 18:00 | |||
16:00 25mFull-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 15mShort-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 25mFull-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 25mFull-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 30mDay closing | Discussion/closing FormaliSE |